aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
AgeCommit message (Expand)Author
2012-02-28[analyzer diagnostics] start prototyping stripping PathDiagnostics of unneces...Ted Kremenek
2012-02-24Reapply r151317, but when computing the PathDiagnostic profile and size keep ...Ted Kremenek
2012-02-24Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots.Chad Rosier
2012-02-24Rework PathDiagnostic creation so that call stacks are captured by a nested P...Ted Kremenek
2012-02-16[analyzer] Diagnostics: Ensure that the default end of diagnostic pathAnna Zaks
2012-02-07Print NamedDecls directly to a raw_ostream where possible.Benjamin Kramer
2012-02-07Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in...Ted Kremenek
2012-02-07Quote name of function in path diagnostics.Ted Kremenek
2012-02-07Add basic BugReporter support for CallEnter/CallExit. WIP.Ted Kremenek
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-25Post open source analyzer build checker-259.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2012-01-04Extend ConditionBRVisitor to handle condition variable assignments.Ted Kremenek
2011-12-20Fix inversion of static analyzer path diagnostics for path conditions.Ted Kremenek
2011-10-14Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer
2011-10-01Address PR10616. The crash has already been fixed by Ted in r140725, so just ...Anna Zaks
2011-09-28Check for empty predecessors for walking them.Ted Kremenek
2011-09-20[analyzer] Use more create methods in the PathDiagnostic, cleanup.Anna Zaks
2011-09-16[analyzer] Refactor: make PathDiagnosticLocation responsible for validation o...Anna Zaks
2011-09-15[analyzer] Refactor: make PathDiagnosticLocation responsible for validation o...Anna Zaks
2011-09-15[analyzer] Refactor: make PathDiagnosticLocation responsible for validation o...Anna Zaks
2011-09-12[analyzer] Fix a failure encountered while analyzing bind (radar://10105448).Anna Zaks
2011-08-20Static Analyzer Diagnostics: Move the responsibility for generating the endOf...Anna Zaks
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks
2011-08-18Static Analyzer Diagnostics: Move custom diagnostic visitors from BugReporter...Anna Zaks
2011-08-16[analyzer] Enhance ConditionVisitor to handle arbitrary ValueDecls in binary ...Ted Kremenek
2011-08-16[analyzer] fix operation inversion calculation in ConditionVisitor.Ted Kremenek
2011-08-16[analyzer] Enhance ConditionVisitor to understand eagerly evaluated (simple) ...Ted Kremenek
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-06[analyzer] Start sketching out a new BugReporterVisitor that inspects branche...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis