aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/BugReporter.cpp
AgeCommit message (Expand)Author
2013-05-06[analyzer; alternate arrows] don't increment the path iterator when we just d...Ted Kremenek
2013-05-04[analyzer;alternate edges] start experimenting with control flow "barriers" t...Ted Kremenek
2013-05-04[analyzer;alternate edges] ignore parentheses when determining edge levels.Ted Kremenek
2013-05-04[analyzer; alternate edges] - eliminate unnecessary edges where between paren...Ted Kremenek
2013-05-04[analyzer; alternate edges] - merge control edges where we descend to a subex...Ted Kremenek
2013-05-04[analyzer; alternate edges] prune edges whose end/begin locations have the sa...Ted Kremenek
2013-05-04[analyzer;alternate edges] - add in events (loop iterations, etc)Ted Kremenek
2013-05-03[analyzer] Start hacking up alternate control-flow edge generation. WIP. No...Ted Kremenek
2013-05-03Make cleanUpLocation() a self-contained function.Ted Kremenek
2013-05-03Re-apply 180974 with the build error fixed. This was the resultTed Kremenek
2013-05-03Revert "Change LocationContextMap to be a temporary instead of shared variabl...Rafael Espindola
2013-05-02Change LocationContextMap to be a temporary instead of shared variable in Bug...Ted Kremenek
2013-04-29Revert "[analyzer] Change PathPieces to be a wrapper around an ilist of (thro...Ted Kremenek
2013-04-29[analyzer] Change PathPieces to be a wrapper around an ilist of (through indi...Ted Kremenek
2013-04-23[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks
2013-04-12[analyzer] Don't emit extra context arrow after returning from an inlined call.Jordan Rose
2013-04-06[analyzer] When creating a trimmed graph, preserve whether a node is a sink.Jordan Rose
2013-03-22Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose
2013-03-22[analyzer] Use a forward BFS instead of a reverse BFS to find shortest paths.Jordan Rose
2013-03-20[analyzer] Re-apply "Do part of the work to find shortest bug paths up front".Jordan Rose
2013-03-20[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose
2013-03-19Revert "[analyzer] Do part of the work to find shortest bug paths up front."Jordan Rose
2013-03-18[analyzer] Do part of the work to find shortest bug paths up front.Jordan Rose
2013-03-16[analyzer] Separate graph trimming from creating the single-path graph.Jordan Rose
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose
2013-03-16[analyzer] Don't repeat a bug equivalence class if every report is invalid.Jordan Rose
2013-03-15[analyzer] Make GRBugReporter::generatePathDiagnostic iterative, not recursive.Jordan Rose
2013-03-15[analyzer] Collect stats on the max # of bug reports in an equivalence class.Jordan Rose
2013-03-13Remove stray space.Ted Kremenek
2013-03-13[analyzer] Handle Objc Fast enumeration for "loop is executed 0 times".Ted Kremenek
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-22[analyzer] Implement "Loop executed 0 times" diagnostic correctly.Ted Kremenek
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-09clang/lib/StaticAnalyzer/Core/BugReporter.cpp: Appease old msvc in std::pair(...NAKAMURA Takumi
2013-02-08Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop bo...Ted Kremenek
2013-02-08Remove stale instance variable.Ted Kremenek
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-28 03:11:41 +0000