Ted Kremenek fa5a3d0fe7 Major rewrite/refactoring of static analysis engine. We now use ... EvalStore/EvalLoad to handle all loads/stores from symbolic memory, allowing us to do checks for null dereferences, etc., at any arbitrary load/store (these were missed checks before). This also resulted in some major cleanups, some conceptual, and others just in the structure of the code. This temporarily introduces a regression in the test suite (null-deref-ps.c) before I add a new LVal type for structure fields. llvm-svn: 50443		2008-04-29 21:04:26 +00:00
..
BasicObjCFoundationChecks.cpp	Gracefully handle when the receiver of a message expression is not a pointer type.	2008-04-19 19:12:50 +00:00
BasicObjCFoundationChecks.h	Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver.	2008-03-27 17:17:22 +00:00
BasicValueFactory.cpp	Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.	2008-04-22 21:10:18 +00:00
BugReporter.cpp	Fix bug in BugReporter where we didn't handle emitting diagnostics for	2008-04-25 19:01:27 +00:00
CFRefCount.cpp	Update typestate logic to support GC-mode.	2008-04-29 05:44:10 +00:00
DeadStores.cpp	Generalize caching mechanism for bugs reports. Now individual BugTypes	2008-04-18 20:54:29 +00:00
ExplodedGraph.cpp	Use back() instead of end()-1	2008-04-22 07:37:18 +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	Major rewrite/refactoring of static analysis engine. We now use	2008-04-29 21:04:26 +00:00
GRExprEngine.cpp	Major rewrite/refactoring of static analysis engine. We now use	2008-04-29 21:04:26 +00:00
GRSimpleVals.cpp	Fixed: <rdar://problem/5881148>	2008-04-23 20:12:28 +00:00
GRSimpleVals.h	Fixed: <rdar://problem/5881148>	2008-04-23 20:12:28 +00:00
GRTransferFuncs.cpp	Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to	2008-04-16 20:40:59 +00:00
LiveVariables.cpp	Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a block's terminator.	2008-04-16 21:10:48 +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	PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring	2008-04-22 16:15:03 +00:00
ProgramPoint.cpp	Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment.	2008-04-26 15:19:51 +00:00
RValues.cpp	Added lval type (and tracking) for StringLiterals.	2008-04-22 21:39:21 +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	Fix MSVC compiler error: "initialization of 'VD' is skipped by 'case' label"	2008-04-17 13:52:22 +00:00
ValueState.cpp	Major rewrite/refactoring of static analysis engine. We now use	2008-04-29 21:04:26 +00:00