summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks2013-04-231-80/+10
* [analyzer] Don't emit extra context arrow after returning from an inlined call.Jordan Rose2013-04-121-9/+12
* [analyzer] When creating a trimmed graph, preserve whether a node is a sink.Jordan Rose2013-04-061-1/+2
* Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose2013-03-221-2/+1
* [analyzer] Use a forward BFS instead of a reverse BFS to find shortest paths.Jordan Rose2013-03-221-150/+93
* [analyzer] Re-apply "Do part of the work to find shortest bug paths up front".Jordan Rose2013-03-201-43/+126
* [analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose2013-03-201-1/+2
* Revert "[analyzer] Do part of the work to find shortest bug paths up front."Jordan Rose2013-03-191-115/+42
* [analyzer] Do part of the work to find shortest bug paths up front.Jordan Rose2013-03-181-42/+115
* [analyzer] Separate graph trimming from creating the single-path graph.Jordan Rose2013-03-161-58/+68
* [analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose2013-03-161-27/+13
* [analyzer] Don't repeat a bug equivalence class if every report is invalid.Jordan Rose2013-03-161-3/+13
* [analyzer] Make GRBugReporter::generatePathDiagnostic iterative, not recursive.Jordan Rose2013-03-151-112/+103
* [analyzer] Collect stats on the max # of bug reports in an equivalence class.Jordan Rose2013-03-151-0/+15
* Remove stray space.Ted Kremenek2013-03-131-1/+0
* [analyzer] Handle Objc Fast enumeration for "loop is executed 0 times".Ted Kremenek2013-03-131-0/+7
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-3/+3
* [analyzer] Implement "Loop executed 0 times" diagnostic correctly.Ted Kremenek2013-02-221-20/+62
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-15/+15
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-2/+2
* 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
OpenPOWER on IntegriCloud