aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/BugReporter.cpp
AgeCommit message (Expand)Author
2013-01-30[analyzer] Move report false positive suppression to report visitors.Anna Zaks
2013-01-26[analyzer] Add 'prune-paths' config option to disable path pruning.Jordan Rose
2013-01-21[analyzer] Show notes inside implicit calls at the last explicit call site.Jordan Rose
2013-01-19[analyzer] Suppress warnings coming out of macros defined in sys/queue.hAnna Zaks
2013-01-08[analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks
2012-12-07[analyzer] Fix r168019 to work with unpruned paths as well.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-15[analyzer] Fix a use-after-free introduced in r168019.Jordan Rose
2012-11-15[analyzer] Report leaks at the closing brace of a function body.Jordan Rose
2012-11-15[analyzer] Make sure calls in synthesized functions have valid path locations.Jordan Rose
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-10-26Add comments for RemoveRedundantMsgs, rename it to removeRedundantMsgs() per ...Ted Kremenek
2012-10-25TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek
2012-09-22[analyzer] Always allow BugReporterVisitors to see the bug path.Jordan Rose
2012-09-22[analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-12[analyzer] Fix another use of the address of a temporary, like r163402.Jordan Rose
2012-09-12Fix regression where "looping back to the head of" PathDiagnosticEventsTed Kremenek
2012-09-08Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek
2012-08-31[analyzer] Ensure that PathDiagnostics profile the same regardless of path.Jordan Rose
2012-08-29[analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek
2012-08-02[analyzer] Solve another source of non-determinism in the diagnosticAnna Zaks
2012-08-02[analyzer] Flush bug reports in deterministic order.Anna Zaks
2012-07-26[analyzer] Show paths for destructor calls.Jordan Rose
2012-07-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-05-31Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek
2012-05-02Refine analyzer diagnostics by adding an expression "cone-of-influence" to re...Ted Kremenek
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-05Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek
2012-04-04Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek
2012-04-04Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagn...Ted Kremenek
2012-04-01Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer
2012-03-28Fix suspicious comparison reported by PVS-Studio!Ted Kremenek
2012-03-24[analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose
2012-03-17StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi
2012-03-16[analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks
2012-03-15[analyzer] If a metadata symbol is interesting, its region is interesting as ...Jordy Rose
2012-03-15[analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks
2012-03-14[analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-03-06[analyzer] add a diagnostic event when entering a call via inlining, within t...Ted Kremenek
2012-03-06[analyzer] 'Looping back to the head of the loop' diagnostics are prunable.Ted Kremenek
2012-03-02[analyzer diagnostics] flush locations *before* popping the current path when...Ted Kremenek
2012-03-02[analyzer diagnostics] Change CompactPathDiagnostic to recursively compact di...Ted Kremenek
2012-03-01[analyzer] Diagnostics - do not try to cleanup the path with macros, itAnna Zaks
2012-03-01Change if...else if...else if... to a switch.Ted Kremenek
2012-02-28[analyzer diagnostics] start prototyping stripping PathDiagnostics of unneces...Ted Kremenek
2012-02-24Make PathDiagnosticBuilder sensitive to varying LocationContexts, thus fixing...Ted Kremenek
2012-02-24Reapply r151317, but when computing the PathDiagnostic profile and size keep ...Ted Kremenek