| .. |
|
BasicConstraintManager.cpp
|
Patch by Ben Laurie:
|
2009-02-14 17:08:39 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Rename AnonTypedRegion to TypedViewRegion.
|
2009-03-01 05:44:08 +00:00 |
|
BasicObjCFoundationChecks.h
|
Overhaul BugReporter interface and implementation. The new interface cleans up
|
2009-02-04 23:49:09 +00:00 |
|
BasicStore.cpp
|
This is the first step to gradually remove the use of loc::SymbolVal. Now
|
2009-04-03 07:33:13 +00:00 |
|
BasicValueFactory.cpp
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
BugReporter.cpp
|
Removed some commented code.
|
2009-04-07 04:53:35 +00:00 |
|
CFRefCount.cpp
|
make a conjured symbol as the original code.
|
2009-04-09 06:18:05 +00:00 |
|
CMakeLists.txt
|
Build system changes to use TableGen to generate the various
|
2009-03-16 23:06:59 +00:00 |
|
CheckDeadStores.cpp
|
Remove hack from LiveVariables analysis where variables whose address are taken
|
2009-04-07 05:25:24 +00:00 |
|
CheckNSError.cpp
|
Simplify more code by using SVal::getAsSymbol().
|
2009-03-30 19:53:37 +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
|
More title-casing of bug type names.
|
2009-04-02 02:44:03 +00:00 |
|
CheckObjCUnusedIVars.cpp
|
More title-casing of bug type names.
|
2009-04-02 02:44:03 +00:00 |
|
Environment.cpp
|
Add comments.
|
2009-03-12 07:54:17 +00:00 |
|
ExplodedGraph.cpp
|
Use the correct data structures!
|
2009-03-12 23:41:59 +00:00 |
|
GRBlockCounter.cpp
|
Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.
|
2008-07-07 16:21:19 +00:00 |
|
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 a null pointer dereference error due to state caching in a loop involving
|
2009-04-09 06:02:06 +00:00 |
|
GRExprEngineInternalChecks.cpp
|
New static analyzer check by Nikita Zhuk!
|
2009-04-08 03:07:17 +00:00 |
|
GRSimpleVals.cpp
|
Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes
|
2009-03-28 19:59:33 +00:00 |
|
GRSimpleVals.h
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
GRState.cpp
|
Simplify more code by using SVal::getAsSymbol() instead of
|
2009-03-30 18:45:36 +00:00 |
|
GRTransferFuncs.cpp
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
LiveVariables.cpp
|
Remove hack from LiveVariables analysis where variables whose address are taken
|
2009-04-07 05:25:24 +00:00 |
|
Makefile
|
Build system changes to use TableGen to generate the various
|
2009-03-16 23:06:59 +00:00 |
|
MemRegion.cpp
|
Re-apply 68028. The code had drifted enough that the tests would fail without
|
2009-03-30 22:20:54 +00:00 |
|
PathDiagnostic.cpp
|
PathDiagnosticLocation now also wraps Decls.
|
2009-04-06 22:33:35 +00:00 |
|
RangeConstraintManager.cpp
|
Rename lib/Driver (etc) to lib/Frontend in prep for the *actual*
|
2009-03-02 06:16:29 +00:00 |
|
RegionStore.cpp
|
This is the first step to gradually remove the use of loc::SymbolVal. Now
|
2009-04-03 07:33:13 +00:00 |
|
SVals.cpp
|
Create a symbolic region instead of a loc::SymbolVal. This is a continued step
|
2009-04-09 05:57:11 +00:00 |
|
SimpleConstraintManager.cpp
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
SimpleConstraintManager.h
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
SymbolManager.cpp
|
analyzer infrastructure: make a bunch of changes to symbolic expressions that
|
2009-03-26 03:35:11 +00:00 |
|
UninitializedValues.cpp
|
rename some methods.
|
2009-03-28 06:33:19 +00:00 |
40934cfa9b