Ted Kremenek bf9d8048c6 Added main logic for typestate tracking for the CFRetain checker. ... llvm-svn: 48231		2008-03-11 17:48:22 +00:00
..
BasicValueFactory.cpp	Renamed ValueManager to BasicValueFactory.	2008-03-07 20:13:31 +00:00
CFRefCount.cpp	Added main logic for typestate tracking for the CFRetain checker.	2008-03-11 17:48:22 +00:00
DeadStores.cpp	fix typos	2008-03-06 10:40:09 +00:00
ExplodedGraph.cpp	Added --trim-path-graph to the driver to trim paths from the ExplodedGraph	2008-03-07 22:58:01 +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	More edge-case handling with using liveness information to prune dead state values.	2008-03-10 04:45:00 +00:00
GRSimpleVals.cpp	Fix "error: explicit template specialization cannot have a storage class"	2008-03-10 17:06:40 +00:00
GRSimpleVals.h	Renamed ValueManager to BasicValueFactory.	2008-03-07 20:13:31 +00:00
LiveVariables.cpp	Fixed bogus assumption mistakenly introduced in r47955.	2008-03-05 19:26:46 +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	fix typos	2008-03-06 10:40:09 +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	Added main skeleton for CFRetain transfer function logic.	2008-03-11 06:39:11 +00:00