aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/MemRegion.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-09-04[analyzer] Canonicalize the Decls of FieldRegions (#156668)Balázs Benics1-11/+18
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov1-1/+1
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov1-1/+1
2025-08-09[clang] Improve nested name specifier AST representation (#147835)Matheus Izvekov1-2/+2
2025-08-01[analyzer] Retain address space information in getElementRegion (#151370)Donát Nagy1-0/+10
2025-07-15[clang][analyzer] Add C standard streams to the internal memory space (#147766)Balázs Kéri1-3/+27
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-2/+0
2025-02-22[analyzer] Allow overriding Unknown memspaces using a ProgramState trait (#12...Michael Flanders1-12/+26
2025-02-06[analyzer] Consolidate array bound checkers (#125534)Donát Nagy1-3/+2
2025-01-10[analyzer][NFC] Factor out SymbolManager::get<*> (#121781)Arseniy Zaostrovnykh1-3/+3
2024-12-19[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)Balazs Benics1-5/+3
2024-12-03[StaticAnalyzer] Migrate away from PointerUnion::{is,get} (NFC) (#118421)Kazu Hirata1-3/+3
2024-11-29[analyzer] Never create Regions wrapping reference TypedValueRegions (NFCI) (...Balazs Benics1-0/+8
2024-10-25[analyzer] Improve FieldRegion descriptive name (#112313)T-Gruber1-6/+21
2024-10-24[clang] Use {} instead of std::nullopt to initialize empty ArrayRef (#109399)Jay Foad1-1/+1
2024-07-04[analyzer] Check the correct first and last elements in cstring.Uninitialized...Kristóf Umann1-0/+11
2024-06-13[analyzer] Refine invalidation caused by `fread` (#93408)Balazs Benics1-3/+3
2024-03-26[NFC] Refactor ConstantArrayType size storage (#85716)Chris B1-1/+1
2024-03-21Adapted MemRegion::getDescriptiveName to handle ElementRegions (#85104)T-Gruber1-6/+14
2023-07-11[analyzer] NonParamVarRegion should prefer definition over canonical declBalazs Benics1-1/+4
2023-07-07[analyzer] Remove deprecated analyzer-config optionsBalazs Benics1-36/+33
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-13/+13
2023-07-05[analyzer] Differentiate lifetime extended temporariesTomasz Kamiński1-6/+55
2023-06-13[StaticAnalyzer] Remove unused function hasGlobalsOrParametersStorageKazu Hirata1-4/+0
2023-05-31[clang][analyzer][NFC] Use the operator new directly with the `BumpPtrAllocator`Dmitri Gribenko1-22/+11
2023-05-30[clang][analyzer][NFC] Replace dyn_cast with cast in MemRegion::getMemorySpaceDmitri Gribenko1-1/+1
2023-05-30[clang][analyzer][NFC] Move dyn_cast's into if statements for readabilityDmitri Gribenko1-9/+5
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata1-1/+0
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-1/+1
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-12-03[StaticAnalyzer] Use std::nullopt instead of None (NFC)Kazu Hirata1-1/+1
2022-11-25[analyzer] Deprecate FAM analyzer-config, recommend -fstrict-flex-arrays insteadBalazs Benics1-11/+19
2022-10-27[clang] Implement -fstrict-flex-arrays=3Bill Wendling1-1/+1
2022-10-06[clang][NFC] Use enum for -fstrict-flex-arraysBill Wendling1-1/+5
2022-09-13[analyzer] Prefer wrapping SymbolicRegions by ElementRegionsBalazs Benics1-1/+1
2022-08-26[analyzer] Fixing a bug raising false positives of stack block objectziqingluo-901-3/+7
2022-08-11[analyzer] [NFC] Fix comments into more regular form.Denys Petrov1-4/+3
2022-07-18[clang] Introduce -fstrict-flex-arrays=<n> for stricter handling of flexible ...serge-sans-paille1-0/+4
2022-06-27Revert "[clang] Introduce -fstrict-flex-arrays=<n> for stricter handling of f...Vitaly Buka1-3/+0
2022-06-24[clang] Introduce -fstrict-flex-arrays=<n> for stricter handling of flexible ...serge-sans-paille1-0/+3
2022-06-15[analyzer] Relax constraints on const qualified regionsBalazs Benics1-3/+1
2022-06-15[analyzer] Treat system globals as mutable if they are not constBalazs Benics1-18/+8
2022-05-27[analyzer][NFCi] Annotate major nonnull returning functionsBalazs Benics1-1/+3
2022-04-20[clang] Add a raw_ostream operator<< overload for QualTypeNathan James1-3/+3
2022-04-20[C2x] Disallow functions without prototypes/functions with identifier listsAaron Ballman1-2/+4
2022-03-01[clang][analyzer] Add modeling of 'errno'.Balázs Kéri1-3/+6
2022-02-25Revert "[clang][analyzer] Add modeling of 'errno'."Aaron Ballman1-6/+3
2022-02-25[clang][analyzer] Add modeling of 'errno'.Balázs Kéri1-3/+6
2021-12-09[NFC][analyzer] Return underlying strings directly instead of OS.str()Logan Smith1-1/+1
2021-10-29[clang][NFC] Inclusive terms: Replace uses of whitelist in clang/lib/StaticAn...Zarko Todorovski1-1/+1