llvm-project

BasicConstraintManager.cpp

update for change in API.

2009-01-30 01:58:33 +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

Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that.

2009-01-27 18:29:03 +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

PathDiagnostics:

2009-01-27 01:53:39 +00:00

CFRefCount.cpp

retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>.

2009-01-29 22:45:13 +00:00

CheckDeadStores.cpp

Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more

2009-01-25 02:32:41 +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

Remove dead code.

2009-02-04 02:30:11 +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

Fix horrible non-termination bug in LiveVariables. The issue was that

2009-01-30 21:35:30 +00:00

Makefile

…

MemRegion.cpp

Fix a couple bugs:

2009-01-30 00:08:43 +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

Fix a couple bugs:

2009-01-30 00:08:43 +00:00

SVals.cpp

Fix a couple bugs:

2009-01-30 00:08:43 +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

move library-specific diagnostic headers into library private dirs. Reduce

2009-01-29 05:15:15 +00:00