summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Move taint API from ProgramState to a separate header. NFC.Artem Dergachev2019-03-291-2/+4
* [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] Rename trackNullOrUndefValue to trackExpressionValueGeorge Karpenkov2018-10-231-1/+8
* [analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize.Henry Wong2018-05-021-7/+9
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-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-1/+1
* Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman2015-06-231-2/+2
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-1/+1
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-1/+1
* Expose the name of the checker producing each diagnostic message.Alexander Kornienko2014-02-111-1/+1
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-1/+1
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-1/+1
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-1/+1
* [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose2012-08-281-6/+2
* [analyzer] When a symbol is null, we should track its constraints.Jordan Rose2012-08-031-2/+3
* [analyzer] Remove redundant check (scalar type is a superset of integer)Anna Zaks2012-07-101-2/+1
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-091-2/+1
* Revert my patches which removed Diagnostic.h includes by moving some operator...Benjamin Kramer2012-02-071-1/+0
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+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-3/+3
* [analyzer] Make VLA checker taint aware. Anna Zaks2012-01-211-2/+2
* [analyzer] Add taint awareness to DivZeroChecker.Anna Zaks2012-01-201-11/+26
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-1/+1
* [analyzer] Remove redundant check from DivZeroCheckerAnna Zaks2011-11-081-1/+2
* [analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks2011-10-261-1/+1
* [analyzer] Simplify CheckerContextAnna Zaks2011-10-251-1/+1
* Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks2011-08-191-2/+2
* Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks2011-08-171-2/+2
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-1/+1
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate DivZeroChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-19/+14
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis2011-02-081-1/+1
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+86
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-30 16:41:02 +0000