aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/BugReporter.cpp
AgeCommit message (Expand)Author
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
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-04 22:11:05 +0000