Ted Kremenek 6fd0921bdb retain/release checker: When hunting for the leak location, don't walk the ...

ExplodedGraph backwards. That may inadvertently result in reverse control-flow
edges in the PathDiagostic.

llvm-svn: 68477

2009-04-07 00:12:43 +00:00

..

BasicConstraintManager.cpp

Patch by Ben Laurie:

2009-02-14 17:08:39 +00:00

BasicObjCFoundationChecks.cpp

Rename AnonTypedRegion to TypedViewRegion.

2009-03-01 05:44:08 +00:00

BasicObjCFoundationChecks.h

Overhaul BugReporter interface and implementation. The new interface cleans up

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

BasicStore.cpp

This is the first step to gradually remove the use of loc::SymbolVal. Now

2009-04-03 07:33:13 +00:00

BasicValueFactory.cpp

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

BugReporter.cpp

Don't overguard to adding a control-flow piece when "alwaysAdd" is true.

2009-04-07 00:11:40 +00:00

CFRefCount.cpp

retain/release checker: When hunting for the leak location, don't walk the

2009-04-07 00:12:43 +00:00

CheckDeadStores.cpp

Sentence-type bug type and category.

2009-04-02 22:50:16 +00:00

CheckNSError.cpp

Simplify more code by using SVal::getAsSymbol().

2009-03-30 19:53:37 +00:00

CheckObjCDealloc.cpp

Per PR 3187, disable the missing -dealloc check for classes that subclass SenTestCase.

2009-02-11 07:10:07 +00:00

CheckObjCInstMethSignature.cpp

More title-casing of bug type names.

2009-04-02 02:44:03 +00:00

CheckObjCUnusedIVars.cpp

More title-casing of bug type names.

2009-04-02 02:44:03 +00:00

CMakeLists.txt

Build system changes to use TableGen to generate the various

2009-03-16 23:06:59 +00:00

Environment.cpp

Add comments.

2009-03-12 07:54:17 +00:00

ExplodedGraph.cpp

Use the correct data structures!

2009-03-12 23:41:59 +00:00

GRBlockCounter.cpp

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

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

GRCoreEngine.cpp

Added a new method to GRStmtNodeBuilder to build nodes using an arbitrary

2009-02-19 23:45:28 +00:00

GRExprEngine.cpp

This is the first step to gradually remove the use of loc::SymbolVal. Now

2009-04-03 07:33:13 +00:00

GRExprEngineInternalChecks.cpp

Title-case the names of bug types.

2009-04-02 02:40:26 +00:00

GRSimpleVals.cpp

Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes

2009-03-28 19:59:33 +00:00

GRSimpleVals.h

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

GRState.cpp

Simplify more code by using SVal::getAsSymbol() instead of

2009-03-30 18:45:36 +00:00

GRTransferFuncs.cpp

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

LiveVariables.cpp

rename some methods.

2009-03-28 06:33:19 +00:00

Makefile

Build system changes to use TableGen to generate the various

2009-03-16 23:06:59 +00:00

MemRegion.cpp

Re-apply 68028. The code had drifted enough that the tests would fail without

2009-03-30 22:20:54 +00:00

PathDiagnostic.cpp

PathDiagnosticLocation now also wraps Decls.

2009-04-06 22:33:35 +00:00

RangeConstraintManager.cpp

Rename lib/Driver (etc) to lib/Frontend in prep for the *actual*

2009-03-02 06:16:29 +00:00

RegionStore.cpp

This is the first step to gradually remove the use of loc::SymbolVal. Now

2009-04-03 07:33:13 +00:00

SimpleConstraintManager.cpp

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

SimpleConstraintManager.h

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

SVals.cpp

This is the first step to gradually remove the use of loc::SymbolVal. Now

2009-04-03 07:33:13 +00:00

SymbolManager.cpp

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

UninitializedValues.cpp

rename some methods.

2009-03-28 06:33:19 +00:00