| .. |
|
BasicConstraintManager.cpp
|
Patch by Ben Laurie:
|
2009-02-14 17:08:39 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Overhaul BugReporter interface and implementation. The new interface cleans up
|
2009-02-04 23:49:09 +00:00 |
|
BasicObjCFoundationChecks.h
|
Overhaul BugReporter interface and implementation. The new interface cleans up
|
2009-02-04 23:49:09 +00:00 |
|
BasicStore.cpp
|
Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so
|
2009-02-05 06:57:29 +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
|
Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a 'method' or 'funciton'.
|
2009-02-23 23:13:51 +00:00 |
|
CFRefCount.cpp
|
Fix broken logic from my last commit. Branches only occur at basic blocks that end with terminators.
|
2009-02-24 23:34:17 +00:00 |
|
CMakeLists.txt
|
add some files to fix the cmake build, patch by Piotr Rak!
|
2009-02-17 07:40:10 +00:00 |
|
CheckDeadStores.cpp
|
Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable.
|
2009-02-09 18:01:00 +00:00 |
|
CheckNSError.cpp
|
Overhaul BugReporter interface and implementation. The new interface cleans up
|
2009-02-04 23:49:09 +00:00 |
|
CheckObjCDealloc.cpp
|
Per PR 3187, disable the missing -dealloc check for classes that subclass SenTestCase.
|
2009-02-11 07:10:07 +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
|
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
|
2009-02-14 03:16:10 +00:00 |
|
ExplodedGraph.cpp
|
Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a
|
2009-02-20 21:10:26 +00:00 |
|
GRBlockCounter.cpp
|
…
|
|
|
GRCoreEngine.cpp
|
Added a new method to GRStmtNodeBuilder to build nodes using an arbitrary
|
2009-02-19 23:45:28 +00:00 |
|
GRExprEngine.cpp
|
Fix <rdar://problem/6611677>: Add basic transfer function support in the static
|
2009-02-24 02:23:11 +00:00 |
|
GRExprEngineInternalChecks.cpp
|
Implemented simple check in <rdar://problem/6600344>: When the receiver of a
|
2009-02-19 04:06:22 +00:00 |
|
GRSimpleVals.cpp
|
Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions.
|
2009-02-10 05:42:58 +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
|
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
|
2009-02-14 03:16:10 +00:00 |
|
GRTransferFuncs.cpp
|
Static analyzer:
|
2009-02-14 01:43:44 +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
|
Create ElementRegion when the base is SymbolicRegion. This is like what we do
|
2009-02-06 08:44:27 +00:00 |
|
NOTES.TXT
|
Add some notes for SCA.
|
2008-11-03 06:04:23 +00:00 |
|
PathDiagnostic.cpp
|
Ensure that we assert if given an unhandled value.
|
2009-02-07 03:46:08 +00:00 |
|
RangeConstraintManager.cpp
|
Revise comment. Comparing pointer values in 'Range' wasn't the performance issue I thought it was, but it is still worth ordering Range objects by their APSInt values.
|
2009-02-18 17:42:44 +00:00 |
|
RegionStore.cpp
|
Fix <rdar://problem/6611677>: Add basic transfer function support in the static
|
2009-02-24 02:23:11 +00:00 |
|
SVals.cpp
|
Fix a couple bugs:
|
2009-01-30 00:08:43 +00:00 |
|
SimpleConstraintManager.cpp
|
Patch by Ben Laurie:
|
2009-02-14 17:08:39 +00:00 |
|
SimpleConstraintManager.h
|
Remove accidental duplication of content in .h file.
|
2009-02-15 18:24:51 +00:00 |
|
SymbolManager.cpp
|
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
|
2009-02-14 03:16:10 +00:00 |
|
UninitializedValues.cpp
|
move library-specific diagnostic headers into library private dirs. Reduce
|
2009-01-29 05:15:15 +00:00 |
260c49a712