Zhongxing Xu 23e1f45664 As we now have ValueManager as the new value factory, we do not need factory ...

methods of SVal.

llvm-svn: 69565

2009-04-20 02:27:09 +00:00

..

BasicConstraintManager.cpp

…

BasicObjCFoundationChecks.cpp

…

BasicObjCFoundationChecks.h

…

BasicStore.cpp

FunctionDecl::getBody() is getting an ASTContext argument for use in

2009-04-18 00:02:19 +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

FunctionDecl::getBody() is getting an ASTContext argument for use in

2009-04-18 00:02:19 +00:00

CFRefCount.cpp

FunctionDecl::getBody() is getting an ASTContext argument for use in

2009-04-18 00:02:19 +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

FunctionDecl::getBody() is getting an ASTContext argument for use in

2009-04-18 00:02:19 +00:00

CheckObjCInstMethSignature.cpp

Propagate the ASTContext to various AST traversal and lookup functions.

2009-04-09 21:40:53 +00:00

CheckObjCUnusedIVars.cpp

FunctionDecl::getBody() is getting an ASTContext argument for use in

2009-04-18 00:02:19 +00:00

CMakeLists.txt

…

Environment.cpp

…

ExplodedGraph.cpp

…

GRBlockCounter.cpp

…

GRCoreEngine.cpp

Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"

2009-04-11 00:11:10 +00:00

GRExprEngine.cpp

Add analyzer support for objc_atomicCompareAndSwap()

2009-04-11 00:54:13 +00:00

GRExprEngineInternalChecks.cpp

New static analyzer check by Nikita Zhuk!

2009-04-08 03:07:17 +00:00

GRSimpleVals.cpp

Move a few more NonLoc static functions to ValueManager.

2009-04-10 18:11:44 +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

analyzer: Introduce a new class, ValueManager, that serves as an aggregate

2009-04-09 16:13:17 +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

…

MemRegion.cpp

Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"

2009-04-11 00:11:10 +00:00

PathDiagnostic.cpp

FunctionDecl::getBody() is getting an ASTContext argument for use in

2009-04-18 00:02:19 +00:00

RangeConstraintManager.cpp

…

RegionStore.cpp

Finally nuke loc::SymbolVal.

2009-04-10 06:06:13 +00:00

SimpleConstraintManager.cpp

Finally nuke loc::SymbolVal.

2009-04-10 06:06:13 +00:00

SimpleConstraintManager.h

analyzer infrastructure: make a bunch of changes to symbolic expressions that

2009-03-26 03:35:11 +00:00

SVals.cpp

As we now have ValueManager as the new value factory, we do not need factory

2009-04-20 02:27:09 +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