| .. |
|
AnalysisContext.cpp
|
Remove 'AnalysisContext::setDecl()', as we the Decl associated with an
|
2009-08-21 23:58:43 +00:00 |
|
AnalysisManager.cpp
|
Remove CodeDecl and CFG from GRExprEngine and GRStateManager.
|
2009-08-25 06:51:30 +00:00 |
|
BasicConstraintManager.cpp
|
Remove uses of std::ostream from libAnalysis.
|
2009-06-24 23:06:47 +00:00 |
|
BasicObjCFoundationChecks.cpp
|
Tie the local check NSErrorCheck to a Decl to pave the way
|
2009-08-21 02:18:44 +00:00 |
|
BasicObjCFoundationChecks.h
|
Tie the local check NSErrorCheck to a Decl to pave the way
|
2009-08-21 02:18:44 +00:00 |
|
BasicStore.cpp
|
Replace cerr with errs().
|
2009-08-23 12:08:50 +00:00 |
|
BasicValueFactory.cpp
|
Implement lazy "copying" of structures and arrays in RegionStore. While
|
2009-08-06 01:20:57 +00:00 |
|
BugReporter.cpp
|
Remove CodeDecl and CFG from GRExprEngine and GRStateManager.
|
2009-08-25 06:51:30 +00:00 |
|
BugReporterVisitors.cpp
|
Add LocationContext* field to VarRegion. This is needed for interprocedural analysis.
|
2009-08-21 22:28:32 +00:00 |
|
CFG.cpp
|
Don't try to evaluate an expression that is type- or value-dependent while building the CFG
|
2009-08-24 21:39:56 +00:00 |
|
CFRefCount.cpp
|
Remove CodeDecl and CFG from GRExprEngine and GRStateManager.
|
2009-08-25 06:51:30 +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
|
Add LocationContext* field to VarRegion. This is needed for interprocedural analysis.
|
2009-08-21 22:28:32 +00:00 |
|
CheckObjCDealloc.cpp
|
Remove 'AnalysisContext::setDecl()', as we the Decl associated with an
|
2009-08-21 23:58:43 +00:00 |
|
CheckObjCInstMethSignature.cpp
|
Remove 'AnalysisContext::setDecl()', as we the Decl associated with an
|
2009-08-21 23:58:43 +00:00 |
|
CheckObjCUnusedIVars.cpp
|
Remove 'AnalysisContext::setDecl()', as we the Decl associated with an
|
2009-08-21 23:58:43 +00:00 |
|
CheckSecuritySyntaxOnly.cpp
|
Remove 'AnalysisContext::setDecl()', as we the Decl associated with an
|
2009-08-21 23:58:43 +00:00 |
|
Environment.cpp
|
Replace cerr with errs().
|
2009-08-23 12:08:50 +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
|
Remove Decl and CFG from ExplodedGraph. This leads to a series small changes.
|
2009-08-25 03:33:41 +00:00 |
|
GRExprEngine.cpp
|
Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.
|
2009-08-25 18:44:25 +00:00 |
|
GRExprEngineInternalChecks.cpp
|
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for
|
2009-08-24 22:47:34 +00:00 |
|
GRState.cpp
|
Remove CodeDecl and CFG from GRExprEngine and GRStateManager.
|
2009-08-25 06:51:30 +00:00 |
|
LiveVariables.cpp
|
Move the source-level CFG from libAST to libAnalysis.
|
2009-07-16 18:13:04 +00:00 |
|
Makefile
|
Don't install Clang libraries.
|
2009-08-23 05:02:18 +00:00 |
|
MemRegion.cpp
|
Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.
|
2009-08-21 23:25:54 +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
|
Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.
|
2009-08-21 23:25:54 +00:00 |
|
SVals.cpp
|
Replace cerr with errs().
|
2009-08-23 12:08:50 +00:00 |
|
SValuator.cpp
|
Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.
|
2009-08-25 18:44:25 +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 |
3a459dc8c9