aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/ExplodedGraph.h
AgeCommit message (Expand)Author
2009-07-22Implement operator= for ExplodedNodeSet.Ted Kremenek
2009-05-13Add ExplodedNode utility methods 'getLocationAs()' and 'getFirstPred()'Ted Kremenek
2009-02-18Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-01-24More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek
2008-08-27Added "Auditor" interface for auditing the construction of ExplodedGraphs.Ted Kremenek
2008-08-27Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-04-23When building PathDiagnostics for bug reports, generate a trimmed ExplodedGra...Ted Kremenek
2008-04-11Added "GREndPathNodeBuilder", a new node builder that will be used forTed Kremenek
2008-04-09Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek
2008-04-03Added node_iterator to ExplodedGraph to allow iteration over all nodes inTed Kremenek
2008-04-02Fix copy-paste error.Ted Kremenek
2008-03-27ProgramPoint is just a smart pointer; no reason to return a constant reference.Ted Kremenek
2008-03-14Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek
2008-03-07Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek
2008-03-05Fixed bug that could case unwanted bifurcation of states when evaluating calls.Ted Kremenek
2008-03-05Fixed a horribly insidious bit-masking bug in the implementation ofTed Kremenek
2008-03-05Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek
2008-03-05Cleaned up typedefs involving StateTy so that we always use "StateTy*" instea...Ted Kremenek
2008-03-04Moved GRExprEngine::NodeSet out of GRExprEngine and made it a standalone clas...Ted Kremenek
2008-03-04Fixed another obscure node-caching bug.Ted Kremenek
2008-03-03Fixed subtle caching bug in ExplodedGraph that would cause some nodes toTed Kremenek
2008-02-28Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek
2008-02-18Added "size()" and "empty()" methods to ExplodedGraphImpl.Ted Kremenek
2008-02-15Simplified transfer function logic for ++/-- operators.Ted Kremenek
2008-02-13Added support to GRCoreEngine/GRExprEngine for processing control-flowTed Kremenek
2008-02-13Renamed class GREngine => GRCoreEngine.Ted Kremenek
2008-02-13Added support to GREngine/GRConstants for handling computed gotos.Ted Kremenek
2008-02-05ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph.Ted Kremenek
2008-01-30Implemented some branch pruning in GRConstants using != and == forTed Kremenek
2008-01-29Added boilerplate logic in GREngine for processing branches.Ted Kremenek
2008-01-29Renamed GRNodeBuilder to GRStmtNodeBuilder.Ted Kremenek
2008-01-29Driver now passes the top-level FunctionDecl* to GRConstants.Ted Kremenek
2008-01-16Fixed invalid typedefs in the root and eop iterators for ExplodedGraph.Ted Kremenek
2008-01-16Added missing ctor to ExplodedGraph.Ted Kremenek
2008-01-16Hooked up the GRConstants analysis to the driver.Ted Kremenek
2008-01-14Added prototype implementation of path-sens. analysis core engine.Ted Kremenek
2008-01-14Removed 'inline' keywords from methods now defined in ExplodedGraph.cpp.Ted Kremenek
2008-01-13Moved destructor logic of templated class ExplodedGraph to non-templatedTed Kremenek
2008-01-13Added node cleanup to dstor of ExplodedGraph.Ted Kremenek
2008-01-13Created ExplodedGraph.cpp and moved most method implementations ofTed Kremenek
2008-01-13Moved 'ExplodedNodeGroup' into class 'ExplodedNode' as the nested classTed Kremenek
2008-01-13Fixed lines preventing compilation.Ted Kremenek
2008-01-13Fixed some comments.Ted Kremenek
2008-01-13Merged ExplodedNode.h into ExplodedGraph.h, since the ExplodedNode class willTed Kremenek
2008-01-09Renamed various traits and classes. Added "Infeasible" bit to ExplodedNodeImplTed Kremenek
2008-01-07Added ownership of "checker state" within the ExplodedGraph. Moved code thatTed Kremenek
2008-01-07Renamed SimulVertex, SimulGraph, and SimulEngine to: Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-05 16:06:34 +0000