aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BugReporter.cpp
AgeCommit message (Expand)Author
2009-06-30Remove the ASTContext parameter from the getBody() methods of Decl and subcla...Argyrios Kyrtzidis
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-23API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-05-16Fix another bug in BugReporter where we wouldn't always select the bug report...Ted Kremenek
2009-05-15BugReporter (extensive diagnostics): Do not include the range of target '}'Ted Kremenek
2009-05-15BugReporter (extensive diagnostics): Add control-flow piece to '}' inTed Kremenek
2009-05-11BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiag...Ted Kremenek
2009-05-11EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location con...Ted Kremenek
2009-05-11EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constru...Ted Kremenek
2009-05-11BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for can...Ted Kremenek
2009-05-10analyzer:Ted Kremenek
2009-05-07Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek
2009-05-06Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek
2009-05-05BugReporter (extensive diagnostics): improve location context generation for theTed Kremenek
2009-05-05BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reasonTed Kremenek
2009-05-04BugReporter (extensive diagnostics): don't mark location contexts that areTed Kremenek
2009-05-01BugReporter (extensive diagnostics): introduce the notion of a "dead"Ted Kremenek
2009-05-01Remove #if 0'ed code.Ted Kremenek
2009-04-29Fix null dereference.Ted Kremenek
2009-04-29BugReporter/PathDiagnostics:Ted Kremenek
2009-04-28Extensive diagnostics: Do not add a location context for do...while statements.Ted Kremenek
2009-04-28BugReporter (extensive diagnostics): Clean up do...while control-flow edges, andTed Kremenek
2009-04-26Implement function-try-blocks. However, there's a very subtle bug that I can'...Sebastian Redl
2009-04-26Minor code cleanup.Eli Friedman
2009-04-26split ObjC and C++ Statements out into their own headers.Chris Lattner
2009-04-23BugReporter (extensive diagnostics): Recursively adjust the referred expressionTed Kremenek
2009-04-23BugReporter (extensive diagnostics): Ignore parentheses when added control-flowTed Kremenek
2009-04-22BugReporter (extensive diagnostics): Use correct location for location contexts.Ted Kremenek
2009-04-22BugReporter (extensive diagnostics): always add an edge if there is no locationTed Kremenek
2009-04-22BugReporter (extensive diagnostics):Ted Kremenek
2009-04-22BugReporter (extensive diagnostic algorithm): The initial control-flow edge nowTed Kremenek
2009-04-18FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor
2009-04-07Removed some commented code.Ted Kremenek
2009-04-07PathDiagnostic generation: experiment with avoiding generation of control-flowTed Kremenek
2009-04-07Don't overguard to adding a control-flow piece when "alwaysAdd" is true.Ted Kremenek
2009-04-06Rewrite control-flow diagnostic generation "extensive" algorithm using "edgeTed Kremenek
2009-04-02Add another null pointer check. Simplify condition.Ted Kremenek
2009-04-02Add null pointer check.Ted Kremenek
2009-04-01BugReporter, extensive path-diagnostics: add an extra control-flow edge to theTed Kremenek
2009-04-01Fix comment.Ted Kremenek
2009-04-01BugReporter: for extensive path diagnostics:Ted Kremenek
2009-04-01BugReporter: for extensive PathDiagnostic generation, add control-flow from theTed Kremenek
2009-04-01BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide mostTed Kremenek
2009-04-01- Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocationTed Kremenek
2009-03-31More code reshuffling. No functionality change.Ted Kremenek
2009-03-31Allow two codepaths for PathDiagnostic generation. This patch mainly consists ofTed Kremenek
2009-03-30Simplify more code by using SVal::getAsSymbol().Ted Kremenek
2009-03-30Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). ThisTed Kremenek
2009-03-28Adjust control-flow endpoints for '&&' and '||'.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 15:29:40 +0000