aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
AgeCommit message (Expand)Author
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2012-12-06[analyzer] Remove unused fields from ExprEngine.Jordan Rose
2012-10-01[analyzer] Allow ObjC ivar lvalues where the base is nil.Jordan Rose
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-08[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose
2012-09-06[analyzer] Don't crash if we cache out while evaluating an ObjC message.Jordan Rose
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26[analyzer] Inline ObjC class methods.Anna Zaks
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-02[analyzer] Add generic preCall and postCall checks.Jordan Rose
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose
2012-07-02[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-22[analyzer] Check for +raise:format: on subclasses of NSException as well.Jordan Rose
2012-06-11[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.Jordan Rose
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