summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* Rename: ProgramPoint::getContext() => ProgramPoint::getLocationContext().Zhongxing Xu2009-08-201-1/+1
* Get the Decl from the current ExplodedNode. Eventually the diagnostic clientZhongxing Xu2009-08-191-2/+4
* Remove unused parameter BugReporter due to previous patch.Zhongxing Xu2009-08-181-5/+3
* Now we can get the CFG from the ProgramPoint. No need to pass in the Zhongxing Xu2009-08-181-4/+6
* Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter'Ted Kremenek2009-08-181-2/+2
* Core analysis engine template cleanup step 2: Zhongxing Xu2009-08-061-14/+11
* As GRState seems general enough, it is time to merge some template classes Zhongxing Xu2009-08-061-52/+52
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 19:15:51 +0000