aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
AgeCommit message (Expand)AuthorFilesLines
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
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose1-1/+1
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
2012-02-04Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer1-0/+1
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-10/+10
2012-01-21[analyzer] Make VLA checker taint aware. Anna Zaks1-5/+14
2011-11-16[analyzer] Catch the first taint propagation implied buffer overflow.Anna Zaks1-5/+13
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks1-1/+1
2011-10-06[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks1-1/+3
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks1-1/+1
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek1-11/+11
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek1-2/+2
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner1-2/+2
2011-04-12ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index...Ted Kremenek1-19/+42
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis1-2/+2
2011-02-28[analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2.Argyrios Kyrtzidis1-18/+15
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek1-3/+3
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis1-1/+1
2011-01-11[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently...Argyrios Kyrtzidis1-2/+2
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek1-0/+277