summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* Apply clang-tidy's misc-move-constructor-init throughout Clang.Benjamin Kramer2016-05-271-1/+2
* [analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin2015-09-161-1/+1
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-2/+2
* Rewrite users of Stmt::child_begin/end into for-range loops.Benjamin Kramer2015-07-031-6/+4
* Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman2015-06-231-2/+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
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-1/+1
* Replace OwningPtr with std::unique_ptr.Ahmed Charles2014-03-071-1/+1
* Expose the name of the checker producing each diagnostic message.Alexander Kornienko2014-02-111-2/+2
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-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] Improved diagnostic pruning for calls initializing values.Anna Zaks2012-08-291-1/+0
* [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose2012-08-281-1/+1
* [analyzer] When a symbol is null, we should track its constraints.Jordan Rose2012-08-031-1/+1
* Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek2012-05-311-0/+1
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-091-1/+1
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-3/+3
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-4/+8
* [analyzer] Make branch for condition callback use CheckerContextAnna Zaks2011-10-251-14/+5
* [analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks2011-10-181-5/+5
* [analyzer] Modularize builder use in processBranch.Anna Zaks2011-10-181-7/+11
* [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks2011-10-181-2/+2
* [analyzer] In UndefBranchChecker, use a node generator which does not create ...Anna Zaks2011-10-031-1/+1
* [analyzer] Cleanup in UndefBranchChecker:Anna Zaks2011-10-031-7/+4
* 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-1/+1
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-5/+5
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-9/+9
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate UndefBranchChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-21/+17
* 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/+120