Ted Kremenek ba53fe98e7 More attribute renaming: ...

- Rename 'ns_returns_owned' -> 'ns_returns_retained'.
- Rename 'cf_returns_owned' -> 'cf_returns_retained'.

llvm-svn: 71182

2009-05-07 21:49:45 +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

Fix unused variable warning

2009-05-05 00:06:16 +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

Add preliminary support for enhancing null-pointer dereference diagnostics.

2009-05-07 00:45:33 +00:00

CFRefCount.cpp

Refactor BugReporter interface to have a new 'BugReporterContext' and

2009-05-06 21:39:49 +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

analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for

2009-05-07 18:27:16 +00:00

GRExprEngine.cpp

analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for

2009-05-07 18:27:16 +00:00

GRExprEngineInternalChecks.cpp

More attribute renaming:

2009-05-07 21:49:45 +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

The super region of ElementRegion no longer needs to be TypedRegion. In the

2009-05-06 08:15:46 +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

Improve RegionStoreManager::getSizeInElements()

2009-05-06 11:51:48 +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

Fix analyzer regression reported in PR 4164:

2009-05-06 18:19:24 +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