| .. |
|
BasicConstraintManager.cpp
|
Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq'. This avoids collisions in the GDM.
|
2009-01-26 06:04:53 +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: Improve diagnostics to indicate that CF objects are not automatically garbage collected.
|
2009-01-28 06:25:48 +00:00 |
|
CMakeLists.txt
|
CMake: Builds and installs clang binary and libs (no docs yet). It
|
2008-10-26 00:56:18 +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 |
|
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
|
Introduce a new PresumedLoc class to represent the concept of a location
|
2009-01-27 07:57:44 +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
|
Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer.
|
2009-01-24 06:11:36 +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
|
Correct size assumption; fixes a crash on amd64.
|
2009-01-26 19:54: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
|
Split the single monolithic DiagnosticKinds.def file into one
|
2009-01-27 18:30:58 +00:00 |
4daeccf28f