Ted Kremenek eae2a0eb8f Fix null dereference. ...

llvm-svn: 64044

2009-02-07 22:54:59 +00:00

..

BasicConstraintManager.cpp

Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so

2009-02-05 06:57:29 +00:00

BasicObjCFoundationChecks.cpp

Overhaul BugReporter interface and implementation. The new interface cleans up

2009-02-04 23:49:09 +00:00

BasicObjCFoundationChecks.h

Overhaul BugReporter interface and implementation. The new interface cleans up

2009-02-04 23:49:09 +00:00

BasicStore.cpp

Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so

2009-02-05 06:57:29 +00:00

BasicValueFactory.cpp

…

BugReporter.cpp

Use BugReport::getDescription() for the compiler warning text.

2009-02-07 22:36:41 +00:00

CFRefCount.cpp

Fix null dereference.

2009-02-07 22:54:59 +00:00

CheckDeadStores.cpp

Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more

2009-01-25 02:32:41 +00:00

CheckNSError.cpp

Overhaul BugReporter interface and implementation. The new interface cleans up

2009-02-04 23:49:09 +00:00

CheckObjCDealloc.cpp

…

CheckObjCInstMethSignature.cpp

…

CheckObjCUnusedIVars.cpp

…

CMakeLists.txt

…

Environment.cpp

Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore.

2009-01-21 22:26:05 +00:00

ExplodedGraph.cpp

Overhaul BugReporter interface and implementation. The new interface cleans up

2009-02-04 23:49:09 +00:00

GRBlockCounter.cpp

…

GRCoreEngine.cpp

…

GRExprEngine.cpp

GRExprEngine: When processing compound assignments, do a switch table lookup to get the non-compound opcode from the compound opcode instead of relying on the order of BinaryOperator::opcode values. This unbreaks the misc-ps.c test.

2009-02-07 00:52:24 +00:00

GRExprEngineInternalChecks.cpp

Tidy up bug descriptions.

2009-02-07 22:37:02 +00:00

GRSimpleVals.cpp

…

GRSimpleVals.h

…

GRState.cpp

Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore.

2009-01-21 22:26:05 +00:00

GRTransferFuncs.cpp

Overhaul BugReporter interface and implementation. The new interface cleans up

2009-02-04 23:49:09 +00:00

LiveVariables.cpp

Fix horrible non-termination bug in LiveVariables. The issue was that

2009-01-30 21:35:30 +00:00

Makefile

…

MemRegion.cpp

Create ElementRegion when the base is SymbolicRegion. This is like what we do

2009-02-06 08:44:27 +00:00

NOTES.TXT

…

PathDiagnostic.cpp

Ensure that we assert if given an unhandled value.

2009-02-07 03:46:08 +00:00

RegionStore.cpp

SymbolicRegions really have unknown sizes.

2009-02-06 08:51:30 +00:00

SVals.cpp

Fix a couple bugs:

2009-01-30 00:08:43 +00:00

SymbolManager.cpp

SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues because these represent the symbolic values for parameters/globals upon entry to the function. These values are always ;live' because they represent constraints on the context of how the function was called. This will be useful for both summary generation but is also necessary to get RegionStore's lazy-binding of locations to symbols to work in practice with RemoveDeadBindings.

2009-01-22 18:51:33 +00:00

UninitializedValues.cpp

move library-specific diagnostic headers into library private dirs. Reduce

2009-01-29 05:15:15 +00:00