summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
Commit message (Expand)AuthorAgeFilesLines
* [Static Analyzer] Properly clean up the dynamic type information for dead reg...Gabor Horvath2015-09-111-33/+0
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-21/+21
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+1
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-1/+2
* unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreatorDavid Blaikie2014-09-041-2/+2
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-2/+2
* Remove a whole lot of unused variablesAlp Toker2013-11-271-1/+0
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-55/+35
* [analyzer] Fix inefficiency in dead symbol removalPavel Labath2013-08-191-17/+19
* [analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose2013-05-061-8/+0
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-1/+1
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-1/+1
* [analyzer] Properly handle the ternary operator in trackNullOrUndefValueAnna Zaks2013-04-031-1/+5
* Silencing warnings in MSVC due to duplicate identifiers.Aaron Ballman2013-04-021-2/+2
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-021-17/+56
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-5/+14
* [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
OpenPOWER on IntegriCloud