llvm-project

BasicConstraintManager.cpp

Static analyzer: Remove a bunch of outdated SymbolData objects and

2009-01-22 18:23:34 +00:00

BasicObjCFoundationChecks.cpp

MemRegion:

2008-12-13 21:49:13 +00:00

BasicObjCFoundationChecks.h

Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis.

2008-09-18 21:25:13 +00:00

BasicStore.cpp

Static analyzer: Remove a bunch of outdated SymbolData objects and

2009-01-22 18:23:34 +00:00

BasicValueFactory.cpp

Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.

2008-12-05 02:27:51 +00:00

BugReporter.cpp

More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup.

2009-01-24 00:55:43 +00:00

CFRefCount.cpp

More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup.

2009-01-24 00:55:43 +00:00

CheckDeadStores.cpp

Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression.

2009-01-20 00:47:45 +00:00

CheckNSError.cpp

Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of

2008-11-24 05:29:24 +00:00

CheckObjCDealloc.cpp

'self.myIvar = nil' (properties) only releases myIvar when the property has kind 'assign'. This fixes <rdar://problem/6380411>.

2008-12-08 21:44:15 +00:00

CheckObjCInstMethSignature.cpp

Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of

2008-11-24 05:29:24 +00:00

CheckObjCUnusedIVars.cpp

Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of

2008-11-24 05:29:24 +00:00

CMakeLists.txt

CMake: Builds and installs clang binary and libs (no docs yet). It

2008-10-26 00:56:18 +00:00

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

More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup.

2009-01-24 00:55:43 +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 new GRWorkList class that uses two queues:

2008-12-16 22:13:33 +00:00

GRExprEngine.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

GRExprEngineInternalChecks.cpp

more SourceLocation lexicon change: instead of referring to the

2009-01-16 07:36:28 +00:00

GRSimpleVals.cpp

Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.

2008-12-05 02:27:51 +00:00

GRSimpleVals.h

Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up.

2008-11-15 00:20:05 +00:00

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

Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up.

2008-11-15 00:20:05 +00:00

LiveVariables.cpp

Change some terminology in SourceLocation: instead of referring to

2009-01-16 07:00:02 +00:00

Makefile

Make a major restructuring of the clang tree: introduce a top-level

2008-03-15 23:59:48 +00:00

MemRegion.cpp

When getting the element region type, we should get the rvalue type of the super

2009-01-23 10:19:29 +00:00

NOTES.TXT

Add some notes for SCA.

2008-11-03 06:04:23 +00:00

PathDiagnostic.cpp

remove a dead enum

2008-11-22 20:47:38 +00:00

RegionStore.cpp

Implement retrieval of the default value of element and field regions.

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

SVals.cpp

Static analyzer: Remove a bunch of outdated SymbolData objects and

2009-01-22 18:23:34 +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

Flow-sensitive uninitialized values analysis: properly handle the 'element' expression of ObjCForCollectionStmt (can be anything).

2008-11-14 18:21:25 +00:00