| .. |
|
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 lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
|
2008-04-29 22:17:41 +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
|
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
|
2008-04-29 22:17:41 +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::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
|
2008-04-29 22:17:41 +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
|
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
|
2008-04-29 22:17:41 +00:00 |
0d2ccffa83