Ted Kremenek c719424caa Added skeleton checking for NSString's method initWithFormat: (do not pass nil). This won't be useful in most cases right now ... because the analyzer isn't tracking expected types for an object, and [NSString alloc] just runs "id". llvm-svn: 48917		2008-03-28 16:09:38 +00:00
..
BasicObjCFoundationChecks.cpp	Added skeleton checking for NSString's method initWithFormat: (do not pass nil). This won't be useful in most cases right now	2008-03-28 16:09:38 +00:00
BasicObjCFoundationChecks.h	Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver.	2008-03-27 17:17:22 +00:00
BasicValueFactory.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
CFRefCount.cpp	Rename "Nodify" to "MakeNode"	2008-03-21 21:30:14 +00:00
DeadStores.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
ExplodedGraph.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
GRBlockCounter.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
GRCoreEngine.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
GRExprEngine.cpp	Hooked up initial NSString interface checking to GRSimpleVals.	2008-03-27 21:15:17 +00:00
GRSimpleVals.cpp	Hooked up initial NSString interface checking to GRSimpleVals.	2008-03-27 21:15:17 +00:00
GRSimpleVals.h	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
LiveVariables.cpp	LiveVariables analysis now uses intersect for the merge of block-level expression liveness information.	2008-03-20 21:46:49 +00:00
Makefile	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
PathDiagnostic.cpp	PathDiagnosticPiece no longer contains a vector of strings; just one string.	2008-03-27 06:16:40 +00:00
ProgramPoint.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
RValues.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
SymbolManager.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00
UninitializedValues.cpp	Changed merge operation for uninitialized values analysis to "intersect" (previous union).	2008-03-22 20:11:00 +00:00
ValueState.cpp	Make a major restructuring of the clang tree: introduce a top-level	2008-03-15 23:59:48 +00:00