aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-4/+0
2025-05-15[clang][analyzer] Fix a nullptr dereference when -ftime-trace is used (Reland...Fangyi Zhou1-0/+43
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-1/+1
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-1/+1
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-1/+1
2025-01-10[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)Arseniy Zaostrovnykh1-155/+0
2025-01-06Reapply "[clang][analyzer] Stable order for SymbolRef-keyed containers" (#121...Arseniy Zaostrovnykh1-15/+10
2025-01-03Revert "[clang][analyzer] Stable order for SymbolRef-keyed containers" (#121592)Balazs Benics1-10/+15
2025-01-03[clang][analyzer] Stable order for SymbolRef-keyed containers (#121551)Arseniy Zaostrovnykh1-15/+10
2024-12-19[analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (4/4) (#120438)Balazs Benics1-5/+3
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-2/+2
2023-05-31[clang][analyzer][NFC] Use the operator new directly with the `BumpPtrAllocator`Dmitri Gribenko1-20/+10
2023-05-30[clang][analyzer][NFC] Remove unnecessary casts around Allocate function callsDmitri Gribenko1-10/+10
2023-03-14[clang] Use *{Set,Map}::contains (NFC)Kazu Hirata1-1/+1
2022-10-19[analyzer] Fix the liveness of Symbols for values in regions referred by Lazy...Tomasz Kamiński1-4/+16
2022-05-26[analyzer] Add UnarySymExprGabor Marton1-0/+32
2022-04-20[clang] Add a raw_ostream operator<< overload for QualTypeNathan James1-7/+4
2021-10-20[analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzerBalazs Benics1-13/+1
2020-09-15[analyzer][Liveness][NFC] Get rid of statement liveness, because such a thing...Kristóf Umann1-1/+1
2020-09-14[analyzer][z3] Use more elaborate Z3 variable namesBalazs Benics1-8/+14
2020-09-11[analyzer][NFC] Don't bind values to ObjCForCollectionStmt, replace it with a...Kristóf Umann1-1/+3
2020-05-28[analyzer] Merge implementations of SymInt, IntSym, and SymSym exprsValeriy Savchenko1-33/+15
2020-04-28SymbolManager::SymbolDependencies: Use unique_ptr to simplify memory managementDavid Blaikie1-12/+4
2020-02-25[analyzer] Add support for CXXInheritedCtorInitExpr.Artem Dergachev1-0/+5
2020-01-30[analyzer] DynamicSize: Remove 'getExtent()' from regionsCharusso1-1/+1
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2019-01-18[analyzer] Make sure base-region and its sub-regions are either all alive or ...Artem Dergachev1-3/+7
2018-11-30[analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev1-9/+0
2018-10-22[analyzer] Fix dumping for SymbolConjured conjured at no particular statement.Artem Dergachev1-4/+7
2018-09-15[analyzer] Further printing improvements: use declarations,George Karpenkov1-1/+4
2018-07-19[analyzer] Memoize complexity of SymExprMikhail R. Gadelha1-7/+0
2018-06-27[analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov1-1/+1
2018-03-06[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko1-14/+23
2017-10-19[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctlyGabor Horvath1-3/+9
2016-12-05[analyzer] Print type for SymbolRegionValues when dumping to streamDominic Chen1-1/+2
2016-08-17[analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev1-3/+4
2016-01-29Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren1-1/+1
2016-01-13[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev1-18/+18
2015-12-10[analyzer] Fix symbolic element index lifetime.Artem Dergachev1-0/+12
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-6/+6
2015-08-13Wdeprecated: CollectReachableSymbolsCallback are move constructed/returned by...David Blaikie1-2/+0
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-3/+3
2014-02-19Use llvm::DeleteContainerSeconds when possibleReid Kleckner1-5/+1
2013-08-28[analyzer] Add support for testing the presence of weak functions.Jordan Rose1-0/+3
2013-08-23Use pop_back_val() instead of both back() and pop_back().Robert Wilhelm1-2/+1
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose1-2/+2
2013-03-15[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks1-3/+1
2013-03-15[analyzer] Include opcode in dumping a SymSymExpr.Jordan Rose1-34/+15
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks1-1/+11
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek1-5/+6
generated by cgit v1.1 at 2025-09-30 13:58:26 +0000