granicus.if.org Git - clang/history - include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h

]> granicus.if.org Git - clang/history - include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h

[clang] / include / clang / StaticAnalyzer / Core / PathSensitive / SubEngine.h

2014-08-13	Benjamin Kramer	Header guard canonicalization, clang part.	blob \| commitdiff \| raw
2014-08-07	Manuel Klimek	Re-applying r214962.	blob \| commitdiff \| raw \| diff to current
2014-08-06	Rui Ueyama	Revert "Fix modelling of non-lifetime-extended temporar...	blob \| commitdiff \| raw \| diff to current
2014-08-06	Manuel Klimek	Fix modelling of non-lifetime-extended temporary destru...	blob \| commitdiff \| raw \| diff to current
2014-05-06	Craig Topper	[C++11] Use 'nullptr'	blob \| commitdiff \| raw \| diff to current
2013-09-24	Anton Yartsev	[analyzer] This patch removes passing around of const...	blob \| commitdiff \| raw \| diff to current
2013-03-29	Ted Kremenek	Add static analyzer support for conditionally executing...	blob \| commitdiff \| raw \| diff to current
2013-03-28	Anna Zaks	[analyzer] Add support for escape of const pointers...	blob \| commitdiff \| raw \| diff to current
2012-12-20	Anna Zaks	[analyzer] Add the pointer escaped callback.	blob \| commitdiff \| raw \| diff to current
2012-11-03	Anna Zaks	[analyzer] Refactor: Remove Pred from NodeBuilderContext.	blob \| commitdiff \| raw \| diff to current
2012-07-02	Jordan Rose	[analyzer] Add a new abstraction over all types of...	blob \| commitdiff \| raw \| diff to current
2012-03-28	Anna Zaks	[analyser] Stats checker: do not mark a node as exhaust...	blob \| commitdiff \| raw \| diff to current
2012-02-14	Anna Zaks	[analyzer] Make Malloc Checker optimistic in presence...	blob \| commitdiff \| raw \| diff to current
2012-01-26	Ted Kremenek	Change references to 'const ProgramState *' to typedef...	blob \| commitdiff \| raw \| diff to current
2012-01-07	Ted Kremenek	[analyzer] Remove CallEnterNodeBuilder and simplify...	blob \| commitdiff \| raw \| diff to current
2012-01-07	Ted Kremenek	[analyzer] Remove CallExitNodeBuilder, and have ExprEng...	blob \| commitdiff \| raw \| diff to current
2011-12-20	David Blaikie	Unweaken vtables as per http://llvm.org/docs/CodingStan...	blob \| commitdiff \| raw \| diff to current
2011-10-26	Anna Zaks	[analyzer] Remove forward declarations of GenericNodeBu...	blob \| commitdiff \| raw \| diff to current
2011-10-26	Anna Zaks	[analyzer] GenericNodeBuilder -> NodeBuilder.	blob \| commitdiff \| raw \| diff to current
2011-10-25	Anna Zaks	[analyze] Convert EndOfPath callback to use CheckerContext	blob \| commitdiff \| raw \| diff to current
2011-10-24	Anna Zaks	[analyzer] Remove the old StmtNodeBuilder.	blob \| commitdiff \| raw \| diff to current
2011-10-24	Anna Zaks	[analyzer] Convert ExprEngine::visit() to use short...	blob \| commitdiff \| raw \| diff to current
2011-10-24	Anna Zaks	[analyzer] Pass external Dst set to NodeBuilder	blob \| commitdiff \| raw \| diff to current
2011-10-18	Anna Zaks	[analyzer] Make NodeBuilder and Pred node loosely coupled	blob \| commitdiff \| raw \| diff to current
2011-10-18	Anna Zaks	[analyzer] Pull Pred out of NodeBuilderContext.	blob \| commitdiff \| raw \| diff to current
2011-10-18	Anna Zaks	[analyzer] NodeBuilder Refactoring: Subclass BranchNode...	blob \| commitdiff \| raw \| diff to current
2011-08-28	Jordy Rose	[analyzer] Introduce a new callback for checkers, print...	blob \| commitdiff \| raw \| diff to current
2011-08-27	Jordy Rose	[analyzer] Change the check::RegionChanges callback...	blob \| commitdiff \| raw \| diff to current
2011-08-15	Ted Kremenek	Rename GRState to ProgramState, and cleanup some code...	blob \| commitdiff \| raw \| diff to current
2011-08-12	Ted Kremenek	Cleanup various declarations of 'Stmt*' to be 'Stmt...	blob \| commitdiff \| raw \| diff to current
2011-05-02	Ted Kremenek	Augment retain/release checker to not warn about tracke...	blob \| commitdiff \| raw \| diff to current
2011-02-10	Ted Kremenek	Split 'include/clang/StaticAnalyzer' into 'include...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom