Ted Kremenek bb7818b666 Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. ...

llvm-svn: 57554

2008-10-15 05:23:41 +00:00

..

BasicConstraintManager.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

BasicObjCFoundationChecks.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

BasicObjCFoundationChecks.h

Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis.

2008-09-18 21:25:13 +00:00

BasicStore.cpp

Migrate MemRegionManager from StateManager to StoreManager.

2008-10-07 01:31:04 +00:00

BasicValueFactory.cpp

Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced.

2008-09-18 23:09:54 +00:00

BugReporter.cpp

Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls.

2008-10-06 18:37:46 +00:00

CFRefCount.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

CheckDeadStores.cpp

Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives.

2008-10-15 05:23:41 +00:00

CheckNSError.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +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

The "unused ivar" check now has a category: "Optimization"

2008-09-21 18:58:22 +00:00

Environment.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

ExplodedGraph.cpp

Added "Auditor" interface for auditing the construction of ExplodedGraphs.

2008-08-27 01:56:11 +00:00

GRBlockCounter.cpp

Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.

2008-07-07 16:21:19 +00:00

GRCoreEngine.cpp

ProgramPoint now takes the space of two pointers instead of one. This change was

2008-09-16 18:44:52 +00:00

GRExprEngine.cpp

Check some cases for previous patch. Make the code more robust.

2008-10-09 03:19:06 +00:00

GRExprEngineInternalChecks.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

GRSimpleVals.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

GRSimpleVals.h

Rename ValueState -> GRState.

2008-08-13 04:27:00 +00:00

GRState.cpp

Remove redundant parameter and rename StMgr to StateMgr.

2008-10-05 12:12:48 +00:00

GRTransferFuncs.cpp

Rename ValueState -> GRState.

2008-08-13 04:27:00 +00:00

LiveVariables.cpp

Move VLA processing logic from LiveVariables to CFG construction. This way all dataflow analyses "see" the VLA size expressions.

2008-09-26 16:26:36 +00:00

Makefile

Make a major restructuring of the clang tree: introduce a top-level

2008-03-15 23:59:48 +00:00

MemRegion.cpp

This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc.

2008-10-08 02:50:44 +00:00

PathDiagnostic.cpp

* Remove isInSystemHeader() from DiagClient, move it to SourceManager

2008-08-10 19:59:06 +00:00

RegionStore.cpp

This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc.

2008-10-08 02:50:44 +00:00

RValues.cpp

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

2008-10-04 05:50:14 +00:00

SymbolManager.cpp

Add a QualType to ConjuredSymbol to represent the type and size of the symbol.

2008-10-01 00:21:14 +00:00

UninitializedValues.cpp

It's spelt "uninitialized".

2008-08-16 17:46:53 +00:00