Ted Kremenek b63ad7a6c1 Refine MemRegions for blocks. Add a new region called ...

'BlockDataRegion' to distinguish between the code associated with a
block (which is represented by 'BlockTextRegion') and an instance of a
block, which includes both code and data.  'BlockDataRegion' has an
associated LocationContext, which can be used to eventually model the
lifetime of a block object once LocationContexts can represent scopes
(and iterations around a loop, etc.).

llvm-svn: 89900

2009-11-25 23:53:07 +00:00

..

AnalysisContext.cpp

Add destructor and cleanup code to LocationContext (fixing some leaks). Along the way, have

2009-10-20 21:39:41 +00:00

ArrayBoundChecker.cpp

After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph.

2009-11-23 23:23:26 +00:00

AttrNonNullChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

BasicConstraintManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BasicObjCFoundationChecks.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

BasicObjCFoundationChecks.h

Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode

2009-11-03 08:03:59 +00:00

BasicStore.cpp

* Do the same thing to the basicstore as in r84163.

2009-11-16 04:49:44 +00:00

BasicValueFactory.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BugReporter.cpp

Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node. This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT).

2009-10-07 00:42:52 +00:00

BugReporterVisitors.cpp

Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way

2009-09-11 22:07:28 +00:00

CallAndMessageChecker.cpp

For the nil-receiver checker, take into account the behavioral changes that got introduced in Mac OS X 10.5 and later, notably return values of double, float, etc., will not be garbage. Fixes <rdar://problem/6829160>.

2009-11-24 22:48:18 +00:00

CallGraph.cpp

Change *BugReport constructors to take StringRefs.

2009-11-14 12:08:24 +00:00

CallInliner.cpp

Now we can call into another function with the CallInliner transfer function.

2009-10-13 02:36:42 +00:00

CastToStructChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

CFG.cpp

Allow building of CFGs for ASTs that contain BlockExprs.

2009-11-25 01:34:30 +00:00

CFRefCount.cpp

Refine MemRegions for blocks. Add a new region called

2009-11-25 23:53:07 +00:00

CheckDeadStores.cpp

Change CheckDeadStores to use Expr::isNullPointerConstant, which will correctly determine whether an expression is a null pointer constant.

2009-11-22 20:26:21 +00:00

Checker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

CheckObjCDealloc.cpp

Fix checking for a null pointer constant when the expression itself is

2009-09-25 04:25:58 +00:00

CheckObjCInstMethSignature.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

CheckObjCUnusedIVars.cpp

Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused. Fixes <rdar://problem/7254495>.

2009-11-20 04:31:57 +00:00

CheckSecuritySyntaxOnly.cpp

Add check for obsolete function call of getpw().

2009-11-09 12:19:26 +00:00

CheckSizeofPointer.cpp

Ignore parentheses when check the type of the expr.

2009-11-10 08:33:44 +00:00

CMakeLists.txt

We can remove this file now.

2009-11-24 08:28:49 +00:00

DereferenceChecker.cpp

Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>.

2009-11-24 01:33:10 +00:00

DivZeroChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

Environment.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

ExplodedGraph.cpp

Fix clang's use of DenseMap iterators after r86636 fixed their constness.

2009-11-10 01:17:45 +00:00

FixedAddressChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

GRBlockCounter.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

GRCoreEngine.cpp

Refactor DereferenceChecker to use only the new Checker API instead of

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

GRExprEngine.cpp

Refine MemRegions for blocks. Add a new region called

2009-11-25 23:53:07 +00:00

GRExprEngineExperimentalChecks.cpp

Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine).

2009-11-21 17:55:24 +00:00

GRExprEngineExperimentalChecks.h

Hook up Malloc checker.

2009-11-13 07:25:27 +00:00

GRExprEngineInternalChecks.h

Refactor undefined result checker. This is the last one.

2009-11-24 08:24:26 +00:00

GRState.cpp

Remove obsolete 'struct NullDerefTag'.

2009-11-12 06:16:18 +00:00

LiveVariables.cpp

Fix clang's use of DenseMap iterators after r86636 fixed their constness.

2009-11-10 01:17:45 +00:00

Makefile

Installation of Clang libraries and headers, from Axel Naumann!

2009-10-08 22:15:31 +00:00

MallocChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

ManagerRegistry.cpp

After drinking caffeine, add the two files missing from the previous submit.

2009-11-11 19:43:37 +00:00

MemRegion.cpp

Refine MemRegions for blocks. Add a new region called

2009-11-25 23:53:07 +00:00

NSAutoreleasePoolChecker.cpp

Fix null dereference in NSAutoreleasePoolChecker when analyzing messages sent to blocks.

2009-11-20 00:12:36 +00:00

NSErrorChecker.cpp

Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>.

2009-11-24 01:33:10 +00:00

PathDiagnostic.cpp

Reintroduce FoldingSet profiling for PathDiagnostics.

2009-09-18 22:33:39 +00:00

PointerArithChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

PointerSubChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

PthreadLockChecker.cpp

Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks.

2009-11-25 01:32:22 +00:00

RangeConstraintManager.cpp

Move the ManagerRegistry to the Analysis library to resolve the layering violation.

2009-11-11 19:10:59 +00:00

RegionStore.cpp

Refine MemRegions for blocks. Add a new region called

2009-11-25 23:53:07 +00:00

ReturnPointerRangeChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

ReturnStackAddressChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

ReturnUndefChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

SimpleConstraintManager.cpp

Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.

2009-09-25 00:18:15 +00:00

SimpleConstraintManager.h

Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way

2009-09-11 22:07:28 +00:00

SimpleSValuator.cpp

Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant.

2009-10-17 07:39:35 +00:00

Store.cpp

Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks.

2009-11-25 01:32:22 +00:00

SVals.cpp

Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks.

2009-11-25 01:32:22 +00:00

SValuator.cpp

First part of changes to eliminate problems with cv-qualifiers and

2009-11-16 21:35:15 +00:00

SymbolManager.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

UndefBranchChecker.cpp

Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself.

2009-11-23 18:12:03 +00:00

UndefinedArraySubscriptChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

UndefinedAssignmentChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00

UndefResultChecker.cpp

Refactor undefined result checker. This is the last one.

2009-11-24 08:24:26 +00:00

UninitializedValues.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

ValueManager.cpp

Refine MemRegions for blocks. Add a new region called

2009-11-25 23:53:07 +00:00

VLASizeChecker.cpp

Clean up the Checker API a little more, resolving some hidden bugs

2009-11-23 22:22:01 +00:00