| .. |
|
AnalysisContext.cpp
|
add a bunch of routine methods to AnalysisContext.
|
2009-08-03 07:23:22 +00:00 |
|
AnalysisManager.cpp
|
Make AnalysisManager into its own source file and a pure data management class.
|
2009-07-30 09:11:52 +00:00 |
|
BasicConstraintManager.cpp
|
Remove uses of std::ostream from libAnalysis.
|
2009-06-24 23:06:47 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Last step of template cleanup: merge *BuilderImpl to *Builder.
|
2009-08-06 12:48:26 +00:00 |
|
BasicObjCFoundationChecks.h
|
Add basic checking for passing NULL to CFRetain/CFRelease, since those functions
|
2009-07-14 00:43:42 +00:00 |
|
BasicStore.cpp
|
Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store.
|
2009-08-02 04:45:08 +00:00 |
|
BasicValueFactory.cpp
|
Implement lazy "copying" of structures and arrays in RegionStore. While
|
2009-08-06 01:20:57 +00:00 |
|
BugReporter.cpp
|
Core analysis engine template cleanup step 2:
|
2009-08-06 06:28:40 +00:00 |
|
BugReporterVisitors.cpp
|
As GRState seems general enough, it is time to merge some template classes
|
2009-08-06 01:32:16 +00:00 |
|
CFG.cpp
|
Add noreturn as a type attribute, handle printing for them and handle
|
2009-07-25 21:26:53 +00:00 |
|
CFRefCount.cpp
|
Last step of template cleanup: merge *BuilderImpl to *Builder.
|
2009-08-06 12:48:26 +00:00 |
|
CMakeLists.txt
|
fix cmake build
|
2009-07-30 10:38:43 +00:00 |
|
CallGraph.cpp
|
Add getDecl() to CallGraph and CallGraphNode.
|
2009-07-24 03:41:11 +00:00 |
|
CheckDeadStores.cpp
|
Remove the ASTContext parameter from the attribute-related methods of Decl.
|
2009-06-30 02:34:44 +00:00 |
|
CheckNSError.cpp
|
Last step of template cleanup: merge *BuilderImpl to *Builder.
|
2009-08-06 12:48:26 +00:00 |
|
CheckObjCDealloc.cpp
|
Remove ASTContext::isObjCObjectPointerType().
|
2009-07-16 15:41:00 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris).
|
2009-07-14 18:25:06 +00:00 |
|
CheckObjCUnusedIVars.cpp
|
Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks
|
2009-08-07 21:13:23 +00:00 |
|
CheckSecuritySyntaxOnly.cpp
|
In the "use of floating point variable as loop counter" check, check
|
2009-07-24 20:26:31 +00:00 |
|
Environment.cpp
|
add fixme.
|
2009-07-01 02:12:57 +00:00 |
|
ExplodedGraph.cpp
|
Core analysis engine template cleanup step 2:
|
2009-08-06 06:28:40 +00:00 |
|
GRBlockCounter.cpp
|
Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.
|
2008-07-07 16:21:19 +00:00 |
|
GRCoreEngine.cpp
|
Last step of template cleanup: merge *BuilderImpl to *Builder.
|
2009-08-06 12:48:26 +00:00 |
|
GRExprEngine.cpp
|
Last step of template cleanup: merge *BuilderImpl to *Builder.
|
2009-08-06 12:48:26 +00:00 |
|
GRExprEngineInternalChecks.cpp
|
Last step of template cleanup: merge *BuilderImpl to *Builder.
|
2009-08-06 12:48:26 +00:00 |
|
GRState.cpp
|
Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store.
|
2009-08-02 04:45:08 +00:00 |
|
LiveVariables.cpp
|
Move the source-level CFG from libAST to libAnalysis.
|
2009-07-16 18:13:04 +00:00 |
|
Makefile
|
Build system changes to use TableGen to generate the various
|
2009-03-16 23:06:59 +00:00 |
|
MemRegion.cpp
|
This is a fairly large patch, which resulted from a cascade of changes
|
2009-08-01 06:17:29 +00:00 |
|
PathDiagnostic.cpp
|
Remove '#include <sstream>' from libAnalysis.
|
2009-06-26 00:43:22 +00:00 |
|
RangeConstraintManager.cpp
|
Remove uses of std::ostream from libAnalysis.
|
2009-06-24 23:06:47 +00:00 |
|
RegionStore.cpp
|
Fix a few more false positives involving RegionStore and unions, but this time
|
2009-08-06 22:33:36 +00:00 |
|
SVals.cpp
|
Implement lazy "copying" of structures and arrays in RegionStore. While
|
2009-08-06 01:20:57 +00:00 |
|
SValuator.cpp
|
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
|
2009-07-29 21:43:22 +00:00 |
|
SimpleConstraintManager.cpp
|
Remove GRStateManager& field from SimpleConstraintManager.
|
2009-06-18 23:20:05 +00:00 |
|
SimpleConstraintManager.h
|
Remove GRStateManager& field from SimpleConstraintManager.
|
2009-06-18 23:20:05 +00:00 |
|
SimpleSValuator.cpp
|
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
|
2009-07-21 21:03:30 +00:00 |
|
Store.cpp
|
Fix regression in StoreManager::CastRegion() to always treat casts to
|
2009-08-02 04:12:53 +00:00 |
|
SymbolManager.cpp
|
This is a fairly large patch, which resulted from a cascade of changes
|
2009-08-01 06:17:29 +00:00 |
|
UninitializedValues.cpp
|
rename some methods.
|
2009-03-28 06:33:19 +00:00 |
|
ValueManager.cpp
|
This is a fairly large patch, which resulted from a cascade of changes
|
2009-08-01 06:17:29 +00:00 |
0e8e1fde25