summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.Artem Dergachev2019-09-091-1/+1
* [Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere2019-08-141-2/+2
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-291-1/+3
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-261-0/+4
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+1
* [analyzer] Remove the redundant check about same state transition in `ArrayBo...Henry Wong2018-05-301-3/+1
* [analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.Henry Wong2018-05-021-9/+12
* Add NDEBUG checks around LLVM_DUMP_METHOD functions for Wunused-function warn...Eric Christopher2017-11-161-1/+2
* [analyzer] Calculate extent size for memory regions allocated by new expression.Gabor Horvath2016-09-191-12/+5
* [analyzer] Correctly add assumptions based on array bounds.Gabor Horvath2016-08-221-12/+67
* Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren2016-01-291-1/+1
* [analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin2015-09-161-1/+1
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-21/+21
* Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman2015-06-231-1/+2
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-1/+1
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-1/+1
* [analyzer] Refactor and cleanup IsCompleteTypeAnna Zaks2014-10-031-12/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-2/+2
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-2/+2
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-2/+2
* Expose the name of the checker producing each diagnostic message.Alexander Kornienko2014-02-111-2/+1
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-3/+3
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-15/+14
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-2/+2
* Include pruning and general cleanup.Benjamin Kramer2012-12-011-1/+1
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-1/+1
* Basic: import SmallString<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer2012-02-041-0/+1
* Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer2012-02-041-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-10/+10
* [analyzer] Make VLA checker taint aware. Anna Zaks2012-01-211-5/+14
* [analyzer] Catch the first taint propagation implied buffer overflow.Anna Zaks2011-11-161-5/+13
* [analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks2011-10-261-1/+1
* [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks2011-10-061-1/+3
* Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks2011-08-171-1/+1
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-11/+11
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-2/+2
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-2/+2
* ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index...Ted Kremenek2011-04-121-19/+42
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2.Argyrios Kyrtzidis2011-02-281-18/+15
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis2011-02-081-1/+1
* [analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently...Argyrios Kyrtzidis2011-01-111-2/+2
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+277
OpenPOWER on IntegriCloud