aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
AgeCommit message (Expand)Author
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-02-07Revert my patches which removed Diagnostic.h includes by moving some operator...Benjamin Kramer
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-21[analyzer] Make VLA checker taint aware. Anna Zaks
2012-01-20[analyzer] Add taint awareness to DivZeroChecker.Anna Zaks
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-11-08[analyzer] Remove redundant check from DivZeroCheckerAnna Zaks
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate DivZeroChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek