..
BasicObjCFoundationChecks.cpp
More #include cleaning
2008-08-11 05:35:13 +00:00
BasicObjCFoundationChecks.h
Remove unused class AnnotatedPath.
2008-07-10 17:25:03 +00:00
BasicStore.cpp
Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager.
2008-07-17 18:38:48 +00:00
BasicValueFactory.cpp
Add lval::ArrayOffset, which represent the locations of entries in an array.
2008-04-29 23:24:44 +00:00
BugReporter.cpp
Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface.
2008-07-14 20:56:04 +00:00
CFRefCount.cpp
More #include cleaning
2008-08-11 05:35:13 +00:00
CheckDeadStores.cpp
Added FIXME.
2008-08-09 00:41:45 +00:00
CheckObjCDealloc.cpp
rename PreDefinedExpr -> PredefinedExpr
2008-08-10 01:53:14 +00:00
CheckObjCInstMethSignature.cpp
Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics.
2008-07-14 17:40:50 +00:00
CheckObjCUnusedIVars.cpp
Have the UnusedIvar check skip ivars with setters/getters created by @synthesize.
2008-07-25 20:28:02 +00:00
Environment.cpp
Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager.
2008-07-10 17:19:18 +00:00
ExplodedGraph.cpp
Use back() instead of end()-1
2008-04-22 07:37:18 +00:00
GRBlockCounter.cpp
Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.
2008-07-07 16:21:19 +00:00
GRCoreEngine.cpp
Refactored most of the "Store" piece of ValueState into a Store type. The
2008-07-10 22:03:41 +00:00
GRExprEngine.cpp
Added path-sensitive checking for null pointer values passed to function arguments marked nonnull.
2008-07-22 00:46:16 +00:00
GRExprEngineInternalChecks.cpp
Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.
2008-07-31 20:31:27 +00:00
GRSimpleVals.cpp
Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp.
2008-07-22 16:21:24 +00:00
GRSimpleVals.h
Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp.
2008-07-22 16:21:24 +00:00
GRTransferFuncs.cpp
Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses.
2008-07-18 15:27:58 +00:00
LiveVariables.cpp
Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt.
2008-08-05 20:46:55 +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
* Remove isInSystemHeader() from DiagClient, move it to SourceManager
2008-08-10 19:59:06 +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
More #include cleaning
2008-08-11 05:35:13 +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
Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt.
2008-08-05 20:46:55 +00:00
ValueState.cpp
Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later).
2008-08-07 22:30:22 +00:00
c4a1dea2dc