summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer; alternate edges] - merge control edges where we descend to a subex...Ted Kremenek2013-05-041-0/+20
* [analyzer; alternate edges] prune edges whose end/begin locations have the sa...Ted Kremenek2013-05-041-27/+95
* [analyzer;alternate edges] - add in events (loop iterations, etc)Ted Kremenek2013-05-041-7/+15
* [analyzer] Start hacking up alternate control-flow edge generation. WIP. No...Ted Kremenek2013-05-031-0/+216
* Make cleanUpLocation() a self-contained function.Ted Kremenek2013-05-031-44/+47
* Re-apply 180974 with the build error fixed. This was the resultTed Kremenek2013-05-031-16/+27
* Revert "Change LocationContextMap to be a temporary instead of shared variabl...Rafael Espindola2013-05-031-27/+16
* Change LocationContextMap to be a temporary instead of shared variable in Bug...Ted Kremenek2013-05-021-16/+27
* Revert "[analyzer] Change PathPieces to be a wrapper around an ilist of (thro...Ted Kremenek2013-04-291-6/+6
* [analyzer] Change PathPieces to be a wrapper around an ilist of (through indi...Ted Kremenek2013-04-291-6/+6
* [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
OpenPOWER on IntegriCloud