aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-02-10[analyzer][NFC] Remove "V2" from ArrayBoundCheckerV2.cpp (#126094)Donát Nagy1-783/+0
2025-02-06[analyzer] Consolidate array bound checkers (#125534)Donát Nagy1-22/+28
2024-12-19[analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (#120436)Balazs Benics1-7/+7
2024-07-22[analyzer] Improve bug report hashing, merge similar reports (#98621)Donát Nagy1-9/+9
2024-03-19[analyzer] Mention possibility of underflow in array overflow errors (#84201)NagyDonat1-13/+30
2024-03-04 [analyzer] Improve some comments in ArrayBoundCheckerV2 (NFC) (#83545)NagyDonat1-5/+11
2024-02-22[analyzer] Improve handling of unsigned values in ArrayBoundCheckerV2 (#81034)NagyDonat1-9/+33
2024-02-05[analyzer] Support interestingness in ArrayBoundV2 (#78315)NagyDonat1-73/+318
2023-12-05[analyzer] Switch to PostStmt callbacks in ArrayBoundV2 (#72107)DonatNagyE1-38/+101
2023-11-07[analyzer] Improve diagnostics from ArrayBoundCheckerV2 (#70056)DonatNagyE1-54/+154
2023-10-24[analyzer][NFC] Simplifications in ArrayBoundV2 (#67572)DonatNagyE1-136/+91
2023-08-28[analyzer][NFC] Remove useless class BuiltinBugDonát Nagy1-2/+2
2023-08-21[analyzer] Improve underflow handling in ArrayBoundV2Donát Nagy1-7/+11
2023-05-04[analyzer][NFC] Use std::optional instead of custom "empty" stateDonát Nagy1-88/+55
2023-05-03[analyzer] ArrayBoundCheckerV2: suppress false positives from ctype macrosDonát Nagy1-1/+31
2023-04-26[analyzer] Fix comparison logic in ArrayBoundCheckerV2Donát Nagy1-83/+67
2023-04-26[analyzer] Show taint origin and propagation correctlyDaniel Krupp1-13/+34
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-06-15[analyzer][NFC] Prefer using isa<> instead getAs<> in conditionsBalazs Benics1-9/+8
2022-04-19[analyzer] Expose Taint.h to pluginsTom Ritter1-1/+1
2021-04-05[analyzer] DynamicSize: Rename 'size' to 'extent'Charusso1-2/+2
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-10/+10
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-05-30[analyzer] Remove the redundant check about same state transition in `ArrayBo...Henry Wong1-3/+1
2018-05-02[analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.Henry Wong1-9/+12
2017-11-16Add NDEBUG checks around LLVM_DUMP_METHOD functions for Wunused-function warn...Eric Christopher1-1/+2
2016-09-19[analyzer] Calculate extent size for memory regions allocated by new expression.Gabor Horvath1-12/+5
2016-08-22[analyzer] Correctly add assumptions based on array bounds.Gabor Horvath1-12/+67
2016-01-29Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren1-1/+1
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-21/+21
2015-06-23Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman1-1/+2
2015-06-22Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko1-1/+1
2015-06-22Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko1-1/+1
2014-10-03[analyzer] Refactor and cleanup IsCompleteTypeAnna Zaks1-12/+1
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-2/+2
2014-03-07Replace OwningPtr with std::unique_ptr.Ahmed Charles1-2/+2
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer1-2/+2
2014-02-11Expose the name of the checker producing each diagnostic message.Alexander Kornienko1-2/+1
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie1-3/+3
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-15/+14
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-2/+2
2012-12-01Include pruning and general cleanup.Benjamin Kramer1-1/+1