Ted Kremenek 0836a19931 Rename attributes 'objc_ownership...' to 'ns_ownership...'. ...

llvm-svn: 70897

2009-05-04 19:10:19 +00:00

..

BasicConstraintManager.cpp

Patch by Ben Laurie:

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

BasicObjCFoundationChecks.cpp

get a CodeTextRegion when visiting FunctionDecl reference.

2009-04-20 05:24:46 +00:00

BasicObjCFoundationChecks.h

Overhaul BugReporter interface and implementation. The new interface cleans up

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

BasicStore.cpp

Add array index assertion: BasicStore should not expect any fancy

2009-05-04 15:25:46 +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

BugReporter (extensive diagnostics): don't mark location contexts that are

2009-05-04 18:15:17 +00:00

CFRefCount.cpp

Rename attributes 'objc_ownership...' to 'ns_ownership...'.

2009-05-04 19:10:19 +00:00

CheckDeadStores.cpp

Remove hack from LiveVariables analysis where variables whose address are taken

2009-04-07 05:25:24 +00:00

CheckNSError.cpp

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

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

CheckObjCDealloc.cpp

Eliminate the three SmallVectors in ObjCImplDecl (for instance

2009-04-23 01:02:12 +00:00

CheckObjCInstMethSignature.cpp

Eliminate the three SmallVectors in ObjCImplDecl (for instance

2009-04-23 01:02:12 +00:00

CheckObjCUnusedIVars.cpp

Eliminate the three SmallVectors in ObjCImplDecl (for instance

2009-04-23 01:02:12 +00:00

CMakeLists.txt

Update CMake file.

2009-05-01 18:43:00 +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

Add a new BFS GRWorkList and make it the default worklist model for

2009-05-01 22:18:46 +00:00

GRExprEngine.cpp

Per conversations with Zhongxing, add an 'element type' to

2009-05-04 06:18:28 +00:00

GRExprEngineInternalChecks.cpp

BugReporter/PathDiagnostics:

2009-04-29 21:58:13 +00:00

GRSimpleVals.cpp

Fix false positive null dereference by unifying code paths in GRSimpleVals for

2009-05-04 17:53:11 +00:00

GRSimpleVals.h

Fix false positive null dereference by unifying code paths in GRSimpleVals for

2009-05-04 17:53:11 +00:00

GRState.cpp

analyzer: Introduce a new class, ValueManager, that serves as an aggregate

2009-04-09 16:13:17 +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

Remove hack from LiveVariables analysis where variables whose address are taken

2009-04-07 05:25:24 +00:00

Makefile

Build system changes to use TableGen to generate the various

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

MemRegion.cpp

Per conversations with Zhongxing, add an 'element type' to

2009-05-04 06:18:28 +00:00

PathDiagnostic.cpp

Implement function-try-blocks. However, there's a very subtle bug that I can't track down.

2009-04-26 20:35:05 +00:00

RangeConstraintManager.cpp

Tweak pretty-printing of constraints.

2009-04-21 22:37:11 +00:00

RegionStore.cpp

Per conversations with Zhongxing, add an 'element type' to

2009-05-04 06:18:28 +00:00

SimpleConstraintManager.cpp

Remove loc::FuncVal.

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

SimpleConstraintManager.h

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

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

Store.cpp

Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.

2009-05-04 15:17:38 +00:00

SVals.cpp

Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.

2009-05-04 15:17:38 +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