Ted Kremenek 1fdd0a480e The LiveVariables analysis no longer requires a FunctionDecl&; this allows it ... to be run on other declarations of blocks of code (e.g., Objective-C methods.) llvm-svn: 48339		2008-03-13 16:55:07 +00:00
..
BasicValueFactory.cpp	Renamed ValueManager to BasicValueFactory.	2008-03-07 20:13:31 +00:00
CFRefCount.cpp	Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.	2008-03-12 21:45:47 +00:00
DeadStores.cpp	The LiveVariables analysis no longer requires a FunctionDecl&; this allows it	2008-03-13 16:55:07 +00:00
ExplodedGraph.cpp	Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS	2008-03-12 17:18:20 +00:00
GRBlockCounter.cpp	Fixed mismatched deallocation in GRBlockCounter::Factory::~Factory.	2008-03-06 08:09:22 +00:00
GRCoreEngine.cpp	More edge-case handling with using liveness information to prune dead state values.	2008-03-10 04:45:00 +00:00
GRExprEngine.cpp	Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.	2008-03-12 21:45:47 +00:00
GRSimpleVals.cpp	Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.	2008-03-12 21:45:47 +00:00
GRSimpleVals.h	Prototype (pre-alpha) implementation of CFRef checker.	2008-03-12 01:21:45 +00:00
LiveVariables.cpp	The LiveVariables analysis no longer requires a FunctionDecl&; this allows it	2008-03-13 16:55:07 +00:00
Makefile	remove attribution from makefiles.	2007-12-29 20:02:25 +00:00
ProgramPoint.cpp	Added ProgramPoint.cpp, which implements several methods of the subclasses	2008-01-11 16:36:20 +00:00
RValues.cpp	Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions).	2008-03-09 03:30:59 +00:00
SymbolManager.cpp	Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.	2008-03-12 21:45:47 +00:00
UninitializedValues.cpp	Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of	2008-01-26 00:03:27 +00:00
ValueState.cpp	Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"	2008-03-11 18:57:24 +00:00