aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-6/+8
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-8/+6
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-6/+8
2025-01-30[StaticAnalyzer] Fix state update in VisitObjCForCollectionStmt (#124477)Ziqing Luo1-14/+16
2023-07-27[analyzer] Remove rdar links from static analyzer and libAnalysis sources. NFC.Artem Dergachev1-11/+24
2023-07-17Revert "Remove rdar links; NFC"Mehdi Amini1-1/+1
2023-07-07Remove rdar links; NFCAaron Ballman1-1/+1
2023-03-04[analyzer] Remove the loop from the exploded graph caused by missing informat...isuckatcs1-2/+2
2022-09-03[clang] Qualify auto in range-based for loops (NFC)Kazu Hirata1-2/+2
2020-09-11[analyzer][NFC] Don't bind values to ObjCForCollectionStmt, replace it with a...Kristóf Umann1-8/+5
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2018-09-28[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov1-1/+1
2018-08-15[analyzer] Add support for constructors of arguments.Artem Dergachev1-3/+13
2018-03-08[analyzer] Correctly model iteration through "nil" objectsGeorge Karpenkov1-39/+55
2017-01-13[analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks1-2/+2
2015-09-15[analyzer] Restore behavior change introduced by r247657.Devin Coughlin1-4/+6
2015-09-15ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]NAKAMURA Takumi1-4/+4
2015-09-15[analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil.Devin Coughlin1-26/+68
2015-09-14[Static Analyzer] Relaxing a caching out related assert.Gabor Horvath1-1/+4
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-16/+16
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-2/+2
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer1-1/+1
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie1-2/+1
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-4/+6
2012-12-06[analyzer] Remove unused fields from ExprEngine.Jordan Rose1-3/+3
2012-10-01[analyzer] Allow ObjC ivar lvalues where the base is nil.Jordan Rose1-12/+2
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose1-2/+12
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek1-55/+8
2012-09-08[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose1-4/+4
2012-09-06[analyzer] Don't crash if we cache out while evaluating an ObjC message.Jordan Rose1-2/+3
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek1-8/+8
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek1-1/+1
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose1-2/+2
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose1-17/+22
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose1-1/+1
2012-07-26[analyzer] Inline ObjC class methods.Anna Zaks1-6/+3
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks1-57/+22
2012-07-02[analyzer] Add generic preCall and postCall checks.Jordan Rose1-7/+14
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose1-1/+0
2012-07-02[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose1-20/+16
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose1-6/+9
2012-06-22[analyzer] Check for +raise:format: on subclasses of NSException as well.Jordan Rose1-36/+47
2012-06-11[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.Jordan Rose1-4/+8
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek1-1/+1
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek1-1/+1
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek1-2/+3
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer1-0/+1
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-8/+8
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek1-10/+12
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks1-4/+4
generated by cgit v1.1 at 2025-09-30 13:58:29 +0000