aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-1/+0
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-4/+4
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-4/+4
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-4/+4
2025-02-24[analyzer] Limit Store by region-store-binding-limit (#127602)Balázs Benics1-13/+25
2024-12-19[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)Balazs Benics1-4/+2
2024-11-29[analyzer] Never create Regions wrapping reference TypedValueRegions (NFCI) (...Balazs Benics1-0/+12
2024-09-24[NFC][analyzer] Make `invalidateRegions` accept `Stmt` instead of `Expr` (#10...Pavel Skripkin1-18/+12
2024-08-12[analyzer][NFC] Trivial refactoring of region invalidation (#102456)Donát Nagy1-24/+9
2024-03-21[analyzer] Wrap SymbolicRegions by ElementRegions before getting a FieldRegio...Balazs Benics1-0/+32
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-14/+9
2023-05-30[clang][analyzer][NFC] Remove unnecessary casts around Allocate function callsDmitri Gribenko1-1/+1
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-4/+4
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-08-24[analyzer] Process non-POD array element destructorsisuckatcs1-2/+0
2022-08-09[clang][clang-tools-extra] LLVM_NODISCARD => [[nodiscard]]. NFCFangrui Song1-1/+1
2022-06-15[analyzer][NFC] Prefer using isa<> instead getAs<> in conditionsBalazs Benics1-1/+1
2022-05-10[analyzer] Replace adjacent assumeInBound calls to assumeInBoundDualGabor Marton1-9/+18
2022-05-10[analyzer] Indicate if a parent state is infeasibleGabor Marton1-1/+7
2022-01-02[clang] Remove redundant member initialization (NFC)Kazu Hirata1-5/+1
2020-08-03[analyzer] Simplify function SVal::getAsSymbolicExpression and similar onesDenys Petrov1-3/+0
2020-05-26[Analyzer][NFC] Remove the SubEngine interfaceAdam Balogh1-5/+5
2020-04-29[analyzer] Track runtime types represented by Obj-C Class objectsValeriy Savchenko1-0/+7
2019-12-10Revert "[analyzer] Keep track of escaped locals"Gabor Horvath1-9/+1
2019-12-10[analyzer] Keep track of escaped localsGabor Horvath1-1/+9
2019-11-21[analyzer] NFC: Don't clean up range constraints twice.Artem Dergachev1-6/+4
2019-08-22[analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis1-1/+1
2019-05-29[analyzer] print() JSONify: Program state implementationCsaba Dabis1-8/+15
2019-05-29[analyzer] print() JSONify: Constructing objects implementationCsaba Dabis1-1/+1
2019-05-29[analyzer] print() JSONify: Type information implementationCsaba Dabis1-1/+1
2019-05-29[analyzer] print() JSONify: Constraints implementationCsaba Dabis1-1/+1
2019-05-29[analyzer] print() JSONify: Environment implementationCsaba Dabis1-2/+2
2019-05-29[analyzer] print() JSONify: Store implementationCsaba Dabis1-10/+10
2019-03-29[analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev1-183/+0
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2018-12-15[analyzer] Assume that we always have a SubEngine availableGabor Horvath1-35/+24
2018-12-03[AST] [analyzer] NFC: Reuse code in stable ID dumping methods.Artem Dergachev1-4/+1
2018-10-23[analyzer] [NFC] Change scanReachableSymbols to use rangesGeorge Karpenkov1-16/+5
2018-09-28[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov1-4/+4
2018-09-15[analyzer] Dump reproducible identifiers for statements in exploded graph in ...George Karpenkov1-3/+6
2018-09-06[analyzer] Dump a reproducible, deterministic ID of program state to exploded...George Karpenkov1-0/+7
2018-07-30[analyzer] [NFC] Simplify some visitors by giving a convenient getter from st...George Karpenkov1-0/+5
2018-06-28[analyzer] Use sufficiently large types for index bounds calculation.Artem Dergachev1-2/+1
2018-05-04[analyzer] pr18953: Split C++ zero-initialization from default initialization.Artem Dergachev1-7/+18
2018-03-01Remove redundant casts. NFCGeorge Burgess IV1-1/+1
2018-02-27[analyzer] Self-debug: Dump dynamic type info and taint with the program state.Artem Dergachev1-1/+8
2018-02-08[analyzer] Self-debug: Dump the core's internal state traits to the egraph.Artem Dergachev1-1/+1
2018-02-08[analyzer] Self-debug: Dump environment frame-by-frame.Artem Dergachev1-5/+5
2018-01-18[analyzer] a few helper methods for getting and comparing symbolic valuesGeorge Karpenkov1-0/+11
2018-01-17[analyzer] Make isSubRegionOf reflexiveGeorge Karpenkov1-2/+1
generated by cgit v1.1 at 2025-10-02 01:16:34 +0000