| Age | Commit message (Expand) | Author |
|---|
| 2012-04-06 | Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh... | Ted Kremenek |
| 2012-04-03 | [analyzer] Record the basic blocks covered by the analyzes run. | Anna Zaks |
| 2012-03-30 | [analyzer] Do not inline functions which previously reached max block | Anna Zaks |
| 2012-03-28 | [analyser] Stats checker: do not mark a node as exhausted if we will | Anna Zaks |
| 2012-03-27 | [analyzer] Add an option to re-analyze a dead-end path without inlining. | Anna Zaks |
| 2012-03-21 | [analyzer] Malloc: Utter the name of the leaked variable. | Anna Zaks |
| 2012-03-15 | [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ... | Jordy Rose |
| 2012-03-14 | [Analyser] Removes more recursive visitations in ExprEngine that are no | Erik Verbruggen |
| 2012-03-10 | [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do... | Ted Kremenek |
| 2012-03-09 | [analyzer] Add support for NoRedundancy inlining mode. | Anna Zaks |
| 2012-03-04 | Remove a recursive visitation in ExprEngine that is no longer needed because ... | Erik Verbruggen |
| 2012-02-14 | [analyzer] Make Malloc Checker optimistic in presence of inlining. | Anna Zaks |
| 2012-01-28 | StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t... | Benjamin Kramer |
| 2012-01-26 | Change 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 |
| 2012-01-06 | [analyzer] Make the entries in 'Environment' context-sensitive by making entr... | Ted Kremenek |
| 2012-01-04 | [analyzer] Be less pessimistic about invalidation of global variables | Anna Zaks |
| 2011-10-26 | [analyzer] GenericNodeBuilder -> NodeBuilder. | Anna Zaks |
| 2011-10-25 | [analyze] Convert EndOfPath callback to use CheckerContext | Anna Zaks |
| 2011-10-24 | [analyzer] Node builders cleanup + comments | Anna Zaks |
| 2011-10-24 | [analyzer] Completely remove the global Builder object. | Anna Zaks |
| 2011-10-24 | [analyzer] Convert ExprEngine::visit() to use short lived builders. | Anna Zaks |
| 2011-10-24 | [analyzer] Convert VisitUnaryOperator to use short lived Node builders | Anna Zaks |
| 2011-10-24 | [analyzer] Pass external Dst set to NodeBuilder | Anna Zaks |
| 2011-10-24 | Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac... | Ted Kremenek |
| 2011-10-23 | [analyzer] Remove LocationContext creation methods from AnalysisManager, and ... | Ted Kremenek |
| 2011-10-18 | [analyzer] Make NodeBuilder and Pred node loosely coupled | Anna 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-09-12 | Doxygen comments. | Anna Zaks |
| 2011-09-02 | [analyzer] Remove TransferFuncs.h, then deal with the fallout. | Jordy Rose |
| 2011-09-02 | [analyzer] Move the knowledge of whether or not GC is enabled for the current... | Jordy Rose |
| 2011-08-28 | [analyzer] Header cleanup to decrease coupling (and recompilation). No functi... | Jordy Rose |
| 2011-08-28 | [analyzer] Introduce a new callback for checkers, printState, to be used for ... | Jordy Rose |
| 2011-08-28 | [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer... | Jordy Rose |
| 2011-08-28 | [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine. | Jordy Rose |
| 2011-08-27 | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose |
| 2011-08-21 | [analyzer] Migrate return value handling from CFRefCount to ExprEngine. This ... | Jordy Rose |
| 2011-08-20 | [analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N... | Ted Kremenek |
| 2011-08-16 | [analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally queryi... | Ted Kremenek |
| 2011-08-15 | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek |
| 2011-08-12 | Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a... | Ted Kremenek |
| 2011-08-12 | [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. | Ted Kremenek |
| 2011-08-10 | Cleanup: remove GetState() wrapper from ExprEngine, not needed as of r137273. | Anna Zaks |
| 2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitObjCForCollectionS... | Ted Kremenek |
| 2011-07-29 | [analyzer] Remove explicit argument processing from ExprEngine::VisitObjCMess... | Ted Kremenek |
| 2011-07-28 | [analyzer] fix handling of MaterializeTemporaryExpr by binding the result val... | Ted Kremenek |
| 2011-05-25 | static analyzer: when conservatively evaluating functions, don't invalidate t... | Ted Kremenek |
| 2011-05-02 | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek |
