summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* add a fixmeZhongxing Xu2009-07-291-2/+4
* Fix helper function GetNextStmt() to look for the first statement that has aTed Kremenek2009-07-281-0/+5
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-221-23/+26
* Move the source-level CFG from libAST to libAnalysis.Ted Kremenek2009-07-161-1/+1
* Remove the ASTContext parameter from the getBody() methods of Decl and subcla...Argyrios Kyrtzidis2009-06-301-4/+3
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-1/+1
* API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek2009-06-231-1/+1
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-1/+1
* Fix another bug in BugReporter where we wouldn't always select the bug report...Ted Kremenek2009-05-161-14/+20
* BugReporter (extensive diagnostics): Do not include the range of target '}'Ted Kremenek2009-05-151-4/+6
* BugReporter (extensive diagnostics): Add control-flow piece to '}' inTed Kremenek2009-05-151-16/+36
* BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiag...Ted Kremenek2009-05-111-5/+8
* EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location con...Ted Kremenek2009-05-111-1/+26
* EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constru...Ted Kremenek2009-05-111-16/+31
* BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for can...Ted Kremenek2009-05-111-28/+34
* analyzer:Ted Kremenek2009-05-101-1/+1
* Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek2009-05-071-46/+54
* Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek2009-05-061-64/+55
* BugReporter (extensive diagnostics): improve location context generation for theTed Kremenek2009-05-051-3/+29
* BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reasonTed Kremenek2009-05-051-7/+8
* BugReporter (extensive diagnostics): don't mark location contexts that areTed Kremenek2009-05-041-2/+3
* BugReporter (extensive diagnostics): introduce the notion of a "dead"Ted Kremenek2009-05-011-10/+41
* Remove #if 0'ed code.Ted Kremenek2009-05-011-173/+0
* Fix null dereference.Ted Kremenek2009-04-291-1/+1
* BugReporter/PathDiagnostics:Ted Kremenek2009-04-291-4/+7
* Extensive diagnostics: Do not add a location context for do...while statements.Ted Kremenek2009-04-281-1/+1
* BugReporter (extensive diagnostics): Clean up do...while control-flow edges, andTed Kremenek2009-04-281-7/+33
* Implement function-try-blocks. However, there's a very subtle bug that I can'...Sebastian Redl2009-04-261-2/+4
* Minor code cleanup.Eli Friedman2009-04-261-16/+4
* split ObjC and C++ Statements out into their own headers.Chris Lattner2009-04-261-2/+2
* BugReporter (extensive diagnostics): Recursively adjust the referred expressionTed Kremenek2009-04-231-12/+16
* BugReporter (extensive diagnostics): Ignore parentheses when added control-flowTed Kremenek2009-04-231-0/+16
* BugReporter (extensive diagnostics): Use correct location for location contexts.Ted Kremenek2009-04-221-1/+1
* BugReporter (extensive diagnostics): always add an edge if there is no locationTed Kremenek2009-04-221-1/+8
* BugReporter (extensive diagnostics):Ted Kremenek2009-04-221-3/+2
* BugReporter (extensive diagnostic algorithm): The initial control-flow edge nowTed Kremenek2009-04-221-2/+16
* FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor2009-04-181-3/+3
* Removed some commented code.Ted Kremenek2009-04-071-16/+3
* PathDiagnostic generation: experiment with avoiding generation of control-flowTed Kremenek2009-04-071-4/+4
* Don't overguard to adding a control-flow piece when "alwaysAdd" is true.Ted Kremenek2009-04-071-2/+2
* Rewrite control-flow diagnostic generation "extensive" algorithm using "edgeTed Kremenek2009-04-061-22/+277
* Add another null pointer check. Simplify condition.Ted Kremenek2009-04-021-7/+8
* Add null pointer check.Ted Kremenek2009-04-021-1/+2
* BugReporter, extensive path-diagnostics: add an extra control-flow edge to theTed Kremenek2009-04-011-0/+32
* Fix comment.Ted Kremenek2009-04-011-1/+1
* BugReporter: for extensive path diagnostics:Ted Kremenek2009-04-011-11/+9
* BugReporter: for extensive PathDiagnostic generation, add control-flow from theTed Kremenek2009-04-011-1/+17
* BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide mostTed Kremenek2009-04-011-13/+21
* - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocationTed Kremenek2009-04-011-5/+168
* More code reshuffling. No functionality change.Ted Kremenek2009-03-311-465/+465
OpenPOWER on IntegriCloud