Ted Kremenek a40f8ebc83 static analyzer: Further reduce the analyzer's memory usage when analyzing sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes. ... The optimization involves eagerly pruning ExplodedNodes from the ExplodedGraph that contain practically no difference between the predecessor and successor nodes. For example, if the state is different between a predecessor and a node, the node is left in. Only for the 'environment' component of the state do we not care if the ExplodedNodes are different. This paves the way for future optimizations where we can reclaim the environment objects. llvm-svn: 125154		2011-02-09 01:27:33 +00:00
..
AggExprVisitor.cpp	…
AnalysisManager.cpp	…
BasicConstraintManager.cpp	…
BasicStore.cpp	…
BasicValueFactory.cpp	…
BlockCounter.cpp	…
BugReporter.cpp	…
BugReporterVisitors.cpp	…
CFRefCount.cpp	…
CMakeLists.txt	…
CXXExprEngine.cpp	…
Checker.cpp	…
CheckerHelpers.cpp	…
CoreEngine.cpp	static analyzer: Further reduce the analyzer's memory usage when analyzing sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes.	2011-02-09 01:27:33 +00:00
Environment.cpp	…
ExplodedGraph.cpp	static analyzer: Further reduce the analyzer's memory usage when analyzing sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes.	2011-02-09 01:27:33 +00:00
FlatStore.cpp	…
GRState.cpp	…
HTMLDiagnostics.cpp	…
Makefile	…
ManagerRegistry.cpp	…
MemRegion.cpp	…
ObjCMessage.cpp	…
PathDiagnostic.cpp	…
PlistDiagnostics.cpp	…
RangeConstraintManager.cpp	…
RegionStore.cpp	…
SValBuilder.cpp	…
SVals.cpp	…
SimpleConstraintManager.cpp	…
SimpleConstraintManager.h	…
SimpleSValBuilder.cpp	…
Store.cpp	…
SymbolManager.cpp	…
TextPathDiagnostics.cpp	…