summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* clang/lib/StaticAnalyzer/Core/BugReporter.cpp: Appease old msvc in std::pair(...NAKAMURA Takumi2013-02-091-1/+2
* Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop bo...Ted Kremenek2013-02-081-3/+51
* Remove stale instance variable.Ted Kremenek2013-02-081-1/+0
* [analyzer] Move report false positive suppression to report visitors.Anna Zaks2013-01-301-34/+11
* [analyzer] Add 'prune-paths' config option to disable path pruning.Jordan Rose2013-01-261-1/+2
* [analyzer] Show notes inside implicit calls at the last explicit call site.Jordan Rose2013-01-211-3/+6
* [analyzer] Suppress warnings coming out of macros defined in sys/queue.hAnna Zaks2013-01-191-0/+25
* [analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks2013-01-081-3/+6
* [analyzer] Fix r168019 to work with unpruned paths as well.Jordan Rose2012-12-071-24/+44
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-8/+8
* [analyzer] Fix a use-after-free introduced in r168019.Jordan Rose2012-11-151-4/+5
* [analyzer] Report leaks at the closing brace of a function body.Jordan Rose2012-11-151-0/+3
* [analyzer] Make sure calls in synthesized functions have valid path locations.Jordan Rose2012-11-151-10/+16
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-2/+2
* Add comments for RemoveRedundantMsgs, rename it to removeRedundantMsgs() per ...Ted Kremenek2012-10-261-4/+13
* TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek2012-10-251-4/+72
* [analyzer] Always allow BugReporterVisitors to see the bug path.Jordan Rose2012-09-221-21/+57
* [analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose2012-09-221-8/+38
* Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek2012-09-211-2/+23
* [analyzer] Fix another use of the address of a temporary, like r163402.Jordan Rose2012-09-121-1/+2
* Fix regression where "looping back to the head of" PathDiagnosticEventsTed Kremenek2012-09-121-12/+7
* Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek2012-09-081-3/+1
* [analyzer] Ensure that PathDiagnostics profile the same regardless of path.Jordan Rose2012-08-311-6/+5
* [analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks2012-08-291-115/+143
* Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek2012-08-161-107/+82
* [analyzer] Solve another source of non-determinism in the diagnosticAnna Zaks2012-08-021-0/+2
* [analyzer] Flush bug reports in deterministic order.Anna Zaks2012-08-021-3/+4
* [analyzer] Show paths for destructor calls.Jordan Rose2012-07-261-37/+36
* [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose2012-07-101-16/+30
* Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek2012-05-311-3/+5
* Refine analyzer diagnostics by adding an expression "cone-of-influence" to re...Ted Kremenek2012-05-021-1/+94
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-5/+5
* Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek2012-04-051-7/+0
* Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek2012-04-041-5/+22
* Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagn...Ted Kremenek2012-04-041-12/+8
* Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer2012-04-011-13/+9
* Fix suspicious comparison reported by PVS-Studio!Ted Kremenek2012-03-281-1/+1
* [analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose2012-03-241-30/+65
* StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi2012-03-171-1/+1
* [analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks2012-03-161-13/+20
* [analyzer] If a metadata symbol is interesting, its region is interesting as ...Jordy Rose2012-03-151-1/+6
* [analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks2012-03-151-1/+38
* [analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks2012-03-141-4/+8
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-091-193/+47
* [analyzer] add a diagnostic event when entering a call via inlining, within t...Ted Kremenek2012-03-061-0/+8
* [analyzer] 'Looping back to the head of the loop' diagnostics are prunable.Ted Kremenek2012-03-061-0/+1
* [analyzer diagnostics] flush locations *before* popping the current path when...Ted Kremenek2012-03-021-10/+11
* [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact di...Ted Kremenek2012-03-021-13/+20
* [analyzer] Diagnostics - do not try to cleanup the path with macros, itAnna Zaks2012-03-011-3/+0
* Change if...else if...else if... to a switch.Ted Kremenek2012-03-011-19/+26
OpenPOWER on IntegriCloud