summaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-4/+7
* [analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.Artem Dergachev2019-09-111-0/+24
* Revert rL368939 "Remove LVALUE / RVALUE workarounds"Russell Gallop2019-08-151-1/+1
* [Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere2019-08-141-1/+1
* Remove LVALUE / RVALUE workaroundsJF Bastien2019-08-141-1/+1
* [analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it ...Kristof Umann2019-08-131-1/+5
* [analyzer][NFC] Refactoring BugReporter.cpp P2.: Clean up the construction of...Kristof Umann2019-08-131-0/+11
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Fix a bug in "collapsed" graph viewerGeorge Karpenkov2018-10-251-7/+14
* [analyzer] ExplodedGraph printing fixesGeorge Karpenkov2018-09-171-22/+12
* [analyzer] Skip printing trivial nodes in exploded graphGeorge Karpenkov2018-09-071-2/+17
* [analyzer] Dump stable identifiers for exploded nodesGeorge Karpenkov2018-09-061-0/+2
* [analyzer] Remove traces of ubigraph visualizationGeorge Karpenkov2018-09-061-12/+0
* Remove trailing spaceFangrui Song2018-07-301-6/+6
* [analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov2018-06-271-1/+1
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-3/+3
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-02-261-50/+62
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-0/+5
* [StaticAnalyzer] Fix failures due to the iteration order of ExplodedNodeMandeep Singh Grang2017-09-061-3/+3
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* s/static inline/static/ for headers I have changed in r279475. NFC.Tim Shen2016-08-311-18/+10
* [GraphTraits] Replace all NodeType usage with NodeRefTim Shen2016-08-221-28/+14
* [ADT] Migrate DepthFirstIterator to use NodeRefTim Shen2016-08-041-0/+2
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* [Analyzer] Don't cache report generation ExplodedNodesBen Craig2016-06-231-0/+8
* Preallocate ExplodedNode hash tableBen Craig2016-06-101-0/+2
* Apply clang-tidy's misc-move-constructor-init throughout Clang.Benjamin Kramer2016-05-271-2/+2
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-3/+3
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-3/+3
* Remove empty non-virtual destructors or mark them =default when non-publicBenjamin Kramer2015-04-111-2/+0
* unique_ptrify ExplodedGraph::trimDavid Blaikie2014-09-051-5/+6
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* Track IntrusiveRefCntPtr::get() changes from LLVM r212366Alp Toker2014-07-051-1/+1
* [C++11] Use 'nullptr'Craig Topper2014-05-061-5/+5
* [C++11] Replace OwningPtr include with <memory>.Ahmed Charles2014-03-091-1/+1
* Fix indentation. No functional change.Craig Topper2013-08-191-1/+1
* [analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks2013-04-231-0/+4
* Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose2013-03-221-5/+1
* [analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose2013-03-201-1/+5
* [analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose2013-03-161-20/+15
* [analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek2013-02-251-0/+4
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-7/+2
* [analyzer] Remove possible pessimizations from r169563.Jordan Rose2012-12-071-1/+1
* [analyzer] Avoid ProgramStateRef copy constructors.Jordan Rose2012-12-061-2/+2
* [analyzer] Speed up ExplodedNode::Profile by avoiding copy constructors.Jordan Rose2012-12-061-1/+2
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-8/+8
* Update to reflect the change of macro name in r168993.Chandler Carruth2012-11-301-1/+1
* Use the new LLVM_LVALUE_FUNCTION to ban two getAs() calls on rvalues.Jordan Rose2012-11-301-1/+8
* [analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose2012-10-231-4/+8
* [analyzer] Add comments to ExplodedNode::NodeGroup.Jordan Rose2012-08-201-0/+19
View Lorry Controller Status