summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Restore behavior change introduced by r247657.Devin Coughlin2015-09-151-4/+6
* ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]NAKAMURA Takumi2015-09-151-4/+4
* [analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil.Devin Coughlin2015-09-151-26/+68
* [Static Analyzer] Relaxing a caching out related assert.Gabor Horvath2015-09-141-1/+4
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-16/+16
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-2/+2
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-1/+1
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-2/+1
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-4/+6
* [analyzer] Remove unused fields from ExprEngine.Jordan Rose2012-12-061-3/+3
* [analyzer] Allow ObjC ivar lvalues where the base is nil.Jordan Rose2012-10-011-12/+2
* [analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose2012-09-221-2/+12
* Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek2012-09-131-55/+8
* [analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose2012-09-081-4/+4
* [analyzer] Don't crash if we cache out while evaluating an ObjC message.Jordan Rose2012-09-061-2/+3
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-8/+8
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-1/+1
* [analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose2012-08-201-2/+2
* [analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose2012-07-301-17/+22
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Inline ObjC class methods.Anna Zaks2012-07-261-6/+3
* [analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks2012-07-191-57/+22
* [analyzer] Add generic preCall and postCall checks.Jordan Rose2012-07-021-7/+14
* [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose2012-07-021-1/+0
* [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose2012-07-021-20/+16
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-6/+9
* [analyzer] Check for +raise:format: on subclasses of NSException as well.Jordan Rose2012-06-221-36/+47
* [analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.Jordan Rose2012-06-111-4/+8
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-061-1/+1
* Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek2012-02-181-1/+1
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-2/+3
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-8/+8
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-10/+12
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-4/+4
* [analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks2011-10-241-32/+22
* [analyzer] Subclassing StmtBuilder from the NodeBuilderAnna Zaks2011-10-181-1/+1
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-0/+1
* [analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.Jordy Rose2011-08-281-10/+4
* [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine.Jordy Rose2011-08-281-1/+6
* [analyzer] Remove FIXME; Ted reminded me that -init is not guaranteed to retu...Jordy Rose2011-08-211-1/+0
* [analyzer] Migrate return value handling from CFRefCount to ExprEngine. This ...Jordy Rose2011-08-211-0/+41
* [analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...Ted Kremenek2011-08-201-6/+0
* Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek2011-08-201-0/+245
OpenPOWER on IntegriCloud