aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-26[StaticAnalyzer] Remove unused includes (NFC) (#141525)Kazu Hirata1-2/+0
2025-05-14[NFC][analyzer] Clarify that ExplodedGraph has only one root (#139903)DonĂ¡t Nagy1-6/+15
2025-01-30[analyzer][NFC] Remove a redundant container lookup (#125064)Balazs Benics1-2/+4
2025-01-14[StaticAnalyzer] Migrate away from PointerUnion::dyn_cast (NFC) (#122856)Kazu Hirata1-4/+4
2024-12-03[StaticAnalyzer] Migrate away from PointerUnion::{is,get} (NFC) (#118421)Kazu Hirata1-5/+5
2024-11-27[analyzer] Avoid out-of-order node traversal on void return (#117863)Arseniy Zaostrovnykh1-0/+2
2024-08-28[analyzer] Detect leaks of stack addresses via output params, indirect global...Arseniy Zaostrovnykh1-1/+1
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-8/+6
2023-05-31[clang][analyzer][NFC] Use the operator new directly with the `BumpPtrAllocator`Dmitri Gribenko1-2/+1
2023-05-30[clang][analyzer][NFC] Remove unnecessary casts around Allocate function callsDmitri Gribenko1-2/+2
2023-03-14[clang] Use *{Set,Map}::contains (NFC)Kazu Hirata1-1/+1
2023-01-14[clang] Remove remaining uses of llvm::Optional (NFC)Kazu Hirata1-1/+0
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-1/+1
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2021-10-20[analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzerBalazs Benics1-2/+1
2020-04-23[analyzer] Consider array subscripts to be interesting lvalues.Valeriy Savchenko1-3/+2
2019-10-17[analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev1-8/+6
2019-09-11[analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.Artem Dergachev1-1/+89
2019-08-14[analyzer][CFG] Don't track the condition of assertsKristof Umann1-0/+16
2019-08-13[analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it ...Kristof Umann1-1/+1
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
2018-12-03[AST] [analyzer] NFC: Reuse code in stable ID dumping methods.Artem Dergachev1-4/+1
2018-10-25[analyzer] Fix a bug in "collapsed" graph viewerGeorge Karpenkov1-1/+2
2018-09-07[analyzer] Skip printing trivial nodes in exploded graphGeorge Karpenkov1-0/+5
2018-09-06[analyzer] Dump stable identifiers for exploded nodesGeorge Karpenkov1-0/+7
2018-09-06[analyzer] Remove traces of ubigraph visualizationGeorge Karpenkov1-20/+0
2018-02-26[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko1-22/+25
2016-07-18[NFC] Header cleanupMehdi Amini1-2/+0
2016-06-23[Analyzer] Don't cache report generation ExplodedNodesBen Craig1-2/+9
2015-10-20Roll-back r250822.Angel Garcia Gomez1-2/+2
2015-10-20Apply modernize-use-default to clang.Angel Garcia Gomez1-2/+2
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-5/+5
2014-10-10Reduce double set lookups. NFC.Benjamin Kramer1-7/+2
2014-09-05unique_ptrify ExplodedGraph::trimDavid Blaikie1-3/+3
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-9/+10
2014-02-28[analyzer] Fix for PR18394.Anton Yartsev1-2/+7
2013-08-23Use pop_back_val() instead of both back() and pop_back().Robert Wilhelm1-4/+2
2013-03-27[analyzer] Cleanup: only get the PostStmt when we need the underlying Stmt + ...Anna Zaks1-4/+4
2013-03-22Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose1-17/+2
2013-03-20[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose1-2/+17
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose1-38/+14
2013-02-27[analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLV...Ted Kremenek1-1/+1
2013-02-25[analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor ...Ted Kremenek1-2/+21
2013-02-25[analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek1-3/+15
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek1-10/+14
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie1-3/+3
2012-12-06[analyzer] Remove isa<> followed by dyn_cast<>.Jordan Rose1-7/+6
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-3/+3
2012-10-29[analyzer] Use the CallEnter node to get a value for tracked null arguments.Jordan Rose1-2/+2
2012-10-23[analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose1-8/+6