Age | Commit message (Expand) | Author |
2009-04-29 | BugReporter/PathDiagnostics: | Ted Kremenek |
2009-04-28 | Extensive diagnostics: Do not add a location context for do...while statements. | Ted Kremenek |
2009-04-28 | BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and | Ted Kremenek |
2009-04-26 | Implement function-try-blocks. However, there's a very subtle bug that I can'... | Sebastian Redl |
2009-04-26 | Minor code cleanup. | Eli Friedman |
2009-04-26 | split ObjC and C++ Statements out into their own headers. | Chris Lattner |
2009-04-23 | BugReporter (extensive diagnostics): Recursively adjust the referred expression | Ted Kremenek |
2009-04-23 | BugReporter (extensive diagnostics): Ignore parentheses when added control-flow | Ted Kremenek |
2009-04-22 | BugReporter (extensive diagnostics): Use correct location for location contexts. | Ted Kremenek |
2009-04-22 | BugReporter (extensive diagnostics): always add an edge if there is no location | Ted Kremenek |
2009-04-22 | BugReporter (extensive diagnostics): | Ted Kremenek |
2009-04-22 | BugReporter (extensive diagnostic algorithm): The initial control-flow edge now | Ted Kremenek |
2009-04-18 | FunctionDecl::getBody() is getting an ASTContext argument for use in | Douglas Gregor |
2009-04-07 | Removed some commented code. | Ted Kremenek |
2009-04-07 | PathDiagnostic generation: experiment with avoiding generation of control-flow | Ted Kremenek |
2009-04-07 | Don't overguard to adding a control-flow piece when "alwaysAdd" is true. | Ted Kremenek |
2009-04-06 | Rewrite control-flow diagnostic generation "extensive" algorithm using "edge | Ted Kremenek |
2009-04-02 | Add another null pointer check. Simplify condition. | Ted Kremenek |
2009-04-02 | Add null pointer check. | Ted Kremenek |
2009-04-01 | BugReporter, extensive path-diagnostics: add an extra control-flow edge to the | Ted Kremenek |
2009-04-01 | Fix comment. | Ted Kremenek |
2009-04-01 | BugReporter: for extensive path diagnostics: | Ted Kremenek |
2009-04-01 | BugReporter: for extensive PathDiagnostic generation, add control-flow from the | Ted Kremenek |
2009-04-01 | BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most | Ted Kremenek |
2009-04-01 | - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation | Ted Kremenek |
2009-03-31 | More code reshuffling. No functionality change. | Ted Kremenek |
2009-03-31 | Allow two codepaths for PathDiagnostic generation. This patch mainly consists of | Ted Kremenek |
2009-03-30 | Simplify more code by using SVal::getAsSymbol(). | Ted Kremenek |
2009-03-30 | Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This | Ted Kremenek |
2009-03-28 | Adjust control-flow endpoints for '&&' and '||'. | Ted Kremenek |
2009-03-28 | Text PathDiagnosticBuilder::getEnclosingStmt() about '?' | Ted Kremenek |
2009-03-28 | Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, | Ted Kremenek |
2009-03-27 | BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to | Ted Kremenek |
2009-03-27 | BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a | Ted Kremenek |
2009-03-27 | BugReporter: | Ted Kremenek |
2009-03-26 | - Add class PathDiagosticLocationPair. | Ted Kremenek |
2009-03-26 | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek |
2009-03-12 | Use the correct data structures! | Ted Kremenek |
2009-03-12 | PathDiagnostics: | Ted Kremenek |
2009-03-10 | BugReporter: | Ted Kremenek |
2009-03-06 | Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and | Ted Kremenek |
2009-03-05 | BasicStore: | Ted Kremenek |
2009-03-03 | Rework use of loc::SymbolVal in the retain/release checker to use the new method | Ted Kremenek |
2009-03-02 | BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFl... | Ted Kremenek |
2009-02-27 | When retrieving the location of a Node, for MemberExprs use the location of the | Ted Kremenek |
2009-02-26 | Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). | Ted Kremenek |
2009-02-26 | Drop uses of isPointerLikeType. | Daniel Dunbar |
2009-02-23 | Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a '... | Ted Kremenek |
2009-02-23 | Tidy up the path diagnostic generation logic in BugReporter and remove a case... | Ted Kremenek |
2009-02-18 | Hooked up the necessary machinery to allow the retain/release checker reference | Ted Kremenek |