aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-07-19Reland [Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sug...YexuanXiao1-1/+1
2025-07-17Revert "[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named su...Kazu Hirata1-1/+1
2025-07-17[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sugar type...YexuanXiao1-1/+1
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-2/+0
2024-12-19[analyzer][NFC] Introduce APSIntPtr, a safe wrapper of APSInt (1/4) (#120435)Balazs Benics1-1/+1
2024-09-16[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` (#106081)Pavel Skripkin1-2/+1
2024-02-23[analyzer] Fix core.VLASize checker false positive taint reports (#68140)Daniel Krupp1-8/+8
2024-01-01[analyzer][NFC] Cleanup BugType lazy-init patterns (#76655)Balazs Benics1-14/+6
2023-11-16[clang][Analyzer][NFC] Use condition type for comparison in several checkers ...Ben Shi1-1/+2
2023-04-26[analyzer] Show taint origin and propagation correctlyDaniel Krupp1-20/+39
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-06-15[analyzer][NFC] Prefer using isa<> instead getAs<> in conditionsBalazs Benics1-3/+2
2022-04-19[analyzer] Expose Taint.h to pluginsTom Ritter1-1/+1
2021-04-05[analyzer] DynamicSize: Rename 'size' to 'extent'Charusso1-3/+4
2021-04-05[analyzer] DynamicSize: Store the dynamic sizeCharusso1-14/+3
2020-06-04[analyzer] Ignore calculated indices of <= 0 in VLASizeCheckerVince Bridgers1-1/+6
2020-05-19[Analyzer][VLASizeChecker] Check for VLA size overflow.Balázs Kéri1-67/+105
2020-05-14[Analyzer][VLASizeChecker] Check VLA size in typedef and sizeof.Balázs Kéri1-22/+91
2020-04-14[Analyzer][VLASize] Support multi-dimensional arrays.Balázs Kéri1-71/+107
2020-03-27[analyzer][NFC] Change LangOptions to CheckerManager in the shouldRegister* f...Kirstóf Umann1-1/+1
2020-01-30[analyzer] DynamicSize: Remove 'getExtent()' from regionsCharusso1-5/+7
2019-09-09[analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.Artem Dergachev1-1/+1
2019-08-14[Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere1-2/+2
2019-03-29[analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev1-1/+3
2019-01-26[analyzer] Supply all checkers with a shouldRegister functionKristof Umann1-0/+4
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2018-12-15[analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann1-1/+1
2018-10-23[analyzer] Rename trackNullOrUndefValue to trackExpressionValueGeorge Karpenkov1-1/+1
2018-05-02[analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.Henry Wong1-9/+10
2018-01-17[analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov1-1/+1
2016-02-10Fix some Clang-tidy readability-redundant-control-flow warnings; other minor ...Eugene Zelenko1-1/+0
2015-09-16[analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin1-1/+1
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-4/+4
2015-06-23Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman1-2/+2
2014-08-12[analyzer] Check for negative values used as the size of a C variable-length ...Jordan Rose1-2/+24
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-1/+1
2014-03-07Replace OwningPtr with std::unique_ptr.Ahmed Charles1-1/+1
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer1-1/+1
2014-02-11Expose the name of the checker producing each diagnostic message.Alexander Kornienko1-1/+2
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-6/+6
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-3/+3
2012-12-01Include pruning and general cleanup.Benjamin Kramer1-0/+1
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose1-1/+1
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose1-1/+1
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose1-2/+1
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek1-1/+2
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith1-1/+1
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith1-1/+1
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer1-0/+1