aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
AgeCommit message (Expand)Author
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-18[analyzer] Subclassing StmtBuilder from the NodeBuilderAnna Zaks
2011-09-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose
2011-08-28[analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.Jordy Rose
2011-08-28[analyzer] Migrate argument invalidation from CFRefCount to ExprEngine.Jordy Rose
2011-08-21[analyzer] Remove FIXME; Ted reminded me that -init is not guaranteed to retu...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-20Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek