| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add another null pointer check. Simplify condition. | Ted Kremenek | 2009-04-02 | 1 | -7/+8 |
| * | Add null pointer check. | Ted Kremenek | 2009-04-02 | 1 | -1/+2 |
| * | BugReporter, extensive path-diagnostics: add an extra control-flow edge to the | Ted Kremenek | 2009-04-01 | 1 | -0/+32 |
| * | Fix comment. | Ted Kremenek | 2009-04-01 | 1 | -1/+1 |
| * | BugReporter: for extensive path diagnostics: | Ted Kremenek | 2009-04-01 | 1 | -11/+9 |
| * | BugReporter: for extensive PathDiagnostic generation, add control-flow from the | Ted Kremenek | 2009-04-01 | 1 | -1/+17 |
| * | BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most | Ted Kremenek | 2009-04-01 | 1 | -13/+21 |
| * | - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation | Ted Kremenek | 2009-04-01 | 1 | -5/+168 |
| * | More code reshuffling. No functionality change. | Ted Kremenek | 2009-03-31 | 1 | -465/+465 |
| * | Allow two codepaths for PathDiagnostic generation. This patch mainly consists of | Ted Kremenek | 2009-03-31 | 1 | -41/+77 |
| * | Simplify more code by using SVal::getAsSymbol(). | Ted Kremenek | 2009-03-30 | 1 | -9/+4 |
| * | Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This | Ted Kremenek | 2009-03-30 | 1 | -11/+4 |
| * | Adjust control-flow endpoints for '&&' and '||'. | Ted Kremenek | 2009-03-28 | 1 | -17/+49 |
| * | Text PathDiagnosticBuilder::getEnclosingStmt() about '?' | Ted Kremenek | 2009-03-28 | 1 | -2/+19 |
| * | Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, | Ted Kremenek | 2009-03-28 | 1 | -2/+30 |
| * | BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to | Ted Kremenek | 2009-03-27 | 1 | -4/+40 |
| * | BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a | Ted Kremenek | 2009-03-27 | 1 | -39/+43 |
| * | BugReporter: | Ted Kremenek | 2009-03-27 | 1 | -31/+78 |
| * | - Add class PathDiagosticLocationPair. | Ted Kremenek | 2009-03-26 | 1 | -22/+22 |
| * | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek | 2009-03-26 | 1 | -3/+3 |
| * | Use the correct data structures! | Ted Kremenek | 2009-03-12 | 1 | -7/+9 |
| * | PathDiagnostics: | Ted Kremenek | 2009-03-12 | 1 | -91/+127 |
| * | BugReporter: | Ted Kremenek | 2009-03-10 | 1 | -0/+96 |
| * | Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and | Ted Kremenek | 2009-03-06 | 1 | -25/+19 |
| * | BasicStore: | Ted Kremenek | 2009-03-05 | 1 | -2/+4 |
| * | Rework use of loc::SymbolVal in the retain/release checker to use the new method | Ted Kremenek | 2009-03-03 | 1 | -1/+1 |
| * | BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFl... | Ted Kremenek | 2009-03-02 | 1 | -11/+21 |
| * | When retrieving the location of a Node, for MemberExprs use the location of the | Ted Kremenek | 2009-02-27 | 1 | -1/+7 |
| * | Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). | Ted Kremenek | 2009-02-26 | 1 | -2/+1 |
| * | Drop uses of isPointerLikeType. | Daniel Dunbar | 2009-02-26 | 1 | -1/+1 |
| * | Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a '... | Ted Kremenek | 2009-02-23 | 1 | -17/+14 |
| * | Tidy up the path diagnostic generation logic in BugReporter and remove a case... | Ted Kremenek | 2009-02-23 | 1 | -50/+53 |
| * | Hooked up the necessary machinery to allow the retain/release checker reference | Ted Kremenek | 2009-02-18 | 1 | -10/+40 |
| * | BugReporter: Use llvm::raw_string_stream instead of std::ostringstream. | Ted Kremenek | 2009-02-10 | 1 | -29/+25 |
| * | Use BugReport::getDescription() for the compiler warning text. | Ted Kremenek | 2009-02-07 | 1 | -2/+2 |
| * | Overhaul BugReporter interface and implementation. The new interface cleans up | Ted Kremenek | 2009-02-04 | 1 | -182/+196 |
| * | PathDiagnostics: | Ted Kremenek | 2009-01-27 | 1 | -0/+1 |
| * | More hacking on static analyzer diagnostics. When emitting summary diagnosti... | Ted Kremenek | 2009-01-24 | 1 | -108/+76 |
| * | Output summary diagnostic for each bug report. | Ted Kremenek | 2009-01-23 | 1 | -7/+12 |
| * | Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is ... | Ted Kremenek | 2009-01-23 | 1 | -0/+42 |
| * | more SourceLocation lexicon change: instead of referring to the | Chris Lattner | 2009-01-16 | 1 | -15/+8 |
| * | Fix <rdar://problem/6454568>: BugReporter should correctly handle switch stat... | Ted Kremenek | 2008-12-20 | 1 | -5/+7 |
| * | Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the... | Ted Kremenek | 2008-12-05 | 1 | -6/+6 |
| * | Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of | Chris Lattner | 2008-11-24 | 1 | -3/+3 |
| * | This reworks some of the Diagnostic interfaces a bit to change how diagnostics | Chris Lattner | 2008-11-18 | 1 | -11/+24 |
| * | eliminate dependence of strange "Diagnostic::Report" method, | Chris Lattner | 2008-11-18 | 1 | -4/+6 |
| * | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu | 2008-10-17 | 1 | -9/+9 |
| * | Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts... | Ted Kremenek | 2008-10-06 | 1 | -2/+6 |
| * | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek | 2008-10-04 | 1 | -78/+102 |
| * | Add "category" to BugTypes, allowing bugs to be grouped. | Ted Kremenek | 2008-09-20 | 1 | -6/+12 |
