Age | Commit message (Expand) | Author |
2011-10-18 | [analyzer] Move predecessor into the NodeBuilder context. | Anna Zaks |
2011-10-18 | [analyzer] Make NodeBuilder and Pred node loosely coupled | Anna Zaks |
2011-10-18 | [analyzer] Remove dead code. | Anna Zaks |
2011-10-18 | [analyzer] Modularize builder use in processBranch. | 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-10-14 | Refactor static analyzer to use simpler interface to constant expression eval... | Richard Smith |
2011-10-11 | Initial implementation of __atomic_* (everything except __atomic_is_lock_free). | Eli Friedman |
2011-10-10 | [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo... | Ted Kremenek |
2011-10-07 | Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by J... | Ted Kremenek |
2011-09-30 | [analyzer] Add -analyzer-purge option which can take on multiple values, remo... | Anna Zaks |
2011-09-23 | Removing a bunch of dead returns/breaks after llvm_unreachables. | David Blaikie |
2011-09-23 | Switch assert(0/false) llvm_unreachable. | David Blaikie |
2011-09-02 | [analyzer] Remove TransferFuncs.h, then deal with the fallout. | Jordy Rose |
2011-09-02 | [analyzer] Fix member initialization order. No functionality change. | 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] 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] Eliminate almost all uses of TransferFuncs from ExprEngine. | Jordy Rose |
2011-08-27 | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose |
2011-08-23 | Constify the result of CFGStmt::getStmt(). | Ted Kremenek |
2011-08-23 | [analyzer] Move symbol death leak analysis from CFRefCount to RetainReleaseCh... | Jordy Rose |
2011-08-20 | [analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N... | Ted Kremenek |
2011-08-20 | Start partitioning ExprEngine.cpp into separate .cpp files that handle differ... | Ted Kremenek |
2011-08-16 | [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ... | Ted Kremenek |
2011-08-16 | [analyzer] add ExprEngine::getEagerlyAssumedTags() to allow externally queryi... | Ted Kremenek |
2011-08-16 | [analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t... | 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-12 | [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa... | Ted Kremenek |
2011-08-11 | Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde... | Anna Zaks |
2011-08-10 | Cleanup: remove GetState() wrapper from ExprEngine, not needed as of r137273. | Anna Zaks |
2011-08-10 | Analyzer Core: In checkDeadSymbols checker callback, provide the state in whi... | Anna Zaks |
2011-08-06 | [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av... | Ted Kremenek |
2011-08-02 | [analyzer] Drastically simplify ExprEngine::VisitInitListExpr() by assuming a... | Ted Kremenek |
2011-07-31 | Remove dead code flagged by GCC's -Wunused-but-set-variable. | Benjamin Kramer |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitDeclStmt because i... | Ted Kremenek |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitCompoundLiteralExp... | Ted Kremenek |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because i... | Ted Kremenek |
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-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitLValObjCIvarRefExp... | Ted Kremenek |
2011-07-29 | [analyzer] tighten up ExprEngine::VisitObjCAtSynchronizationStmt(). | Ted Kremenek |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitObjCPropertyRefExp... | Ted Kremenek |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because i... | Ted Kremenek |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitMemberExpr because... | Ted Kremenek |
2011-07-29 | [analyzer] Remove recursive visitation in ExprEngine::VisitLvalArraySubscript... | Ted Kremenek |
2011-07-28 | [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b... | Ted Kremenek |
2011-07-28 | [analyzer] fix handling of MaterializeTemporaryExpr by binding the result val... | Ted Kremenek |