aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
AgeCommit message (Expand)Author
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-11-03[analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-03-28[analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-07[analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek
2012-01-07[analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit()...Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-10-26[analyzer] Remove forward declarations of GenericNodeBuilderAnna Zaks
2011-10-26[analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-24[analyzer] Remove the old StmtNodeBuilder.Anna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Pass external Dst set to NodeBuilderAnna Zaks
2011-10-18[analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks
2011-10-18[analyzer] Pull Pred out of NodeBuilderContext.Anna Zaks
2011-10-18[analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks
2011-08-28[analyzer] Introduce a new callback for checkers, printState, to be used for ...Jordy Rose
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek