summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose2013-03-201-8/+12
* [analyzer] Simple inline defensive checks suppressionAnna Zaks2013-03-021-0/+10
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-5/+4
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-13/+14
* [analyzer] Scan the correct store when finding symbols in a LazyCompoundVal.Jordan Rose2013-02-151-2/+10
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-211-5/+5
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-5/+15
* [analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose2012-12-061-17/+0
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-1/+1
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-051-3/+3
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-9/+4
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-011-2/+2
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-1/+1
* Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose2012-09-251-3/+6
* Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose2012-09-201-6/+3
* Remove dead method ProgramState::MarshalState().Ted Kremenek2012-09-091-11/+0
* [analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose2012-09-081-3/+6
* Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek2012-09-071-5/+3
* Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek2012-08-221-2/+3
* Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek2012-08-221-14/+2
* Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek2012-08-221-1/+1
* [analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose2012-08-151-2/+5
* [analyzer] Look up DynamicTypeInfo by region instead of symbol.Jordan Rose2012-08-131-18/+14
* [analyzer] Rename the function to better reflect what it actually does.Anna Zaks2012-08-091-3/+1
* [analyzer] Track malloc'd regions stored in structs.Jordan Rose2012-08-081-0/+3
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-14/+12
* [analyzer] Add a checker to manage dynamic type propagation.Anna Zaks2012-08-061-2/+2
* [analyzer] Fixup: remove the extra whitespaceAnna Zaks2012-08-031-26/+0
* [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks2012-08-031-3/+62
* [analyzer] Very simple ObjC instance method inliningAnna Zaks2012-07-301-0/+9
* [analyzer] Introduce a CallEventManager to keep a pool of CallEvents.Jordan Rose2012-07-301-0/+14
* [analyzer] Use CallEvent for building inlined stack frames.Jordan Rose2012-07-101-5/+5
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-2/+2
* static analyzer: add inlining support for directly called blocks.Ted Kremenek2012-06-011-0/+10
* Have ScanReachableSymbols reported reachable regions. Fixes a false positive...Ted Kremenek2012-02-211-0/+4
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-4/+6
* [analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks2012-02-141-1/+1
* Reapply r149311 which I reverted by mistake.Argyrios Kyrtzidis2012-01-311-16/+22
* Revert r149311 which failed to compile.Argyrios Kyrtzidis2012-01-311-22/+16
* Convert ProgramStateRef to a smart pointer for managing the reference counts ...Ted Kremenek2012-01-311-16/+22
* [analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.Anna Zaks2012-01-301-2/+4
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-30/+30
* [analyzer] Skip casts when determining taint dependencies + prettyAnna Zaks2012-01-201-0/+25
* [analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek2012-01-121-2/+4
* [analyzer] Add basic format string vulnerability checking.Anna Zaks2012-01-071-1/+1
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-103/+26
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-6/+6
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+2
* [analyzer] Minor: Simplify & assert.Anna Zaks2011-12-171-2/+2
* [analyzer] Better stdin support.Anna Zaks2011-12-161-0/+6
OpenPOWER on IntegriCloud