2010-01-25 12:41:41 +08:00
|
|
|
set(LLVM_NO_RTTI 1)
|
|
|
|
|
|
|
|
add_clang_library(clangChecker
|
2010-02-04 08:47:48 +08:00
|
|
|
AdjustedReturnValueChecker.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
ArrayBoundChecker.cpp
|
|
|
|
AttrNonNullChecker.cpp
|
|
|
|
BasicConstraintManager.cpp
|
|
|
|
BasicObjCFoundationChecks.cpp
|
|
|
|
BasicStore.cpp
|
|
|
|
BasicValueFactory.cpp
|
|
|
|
BugReporter.cpp
|
|
|
|
BugReporterVisitors.cpp
|
|
|
|
BuiltinFunctionChecker.cpp
|
|
|
|
CFRefCount.cpp
|
|
|
|
CallAndMessageChecker.cpp
|
|
|
|
CallInliner.cpp
|
|
|
|
CastToStructChecker.cpp
|
|
|
|
CheckDeadStores.cpp
|
|
|
|
CheckObjCDealloc.cpp
|
|
|
|
CheckObjCInstMethSignature.cpp
|
|
|
|
CheckSecuritySyntaxOnly.cpp
|
|
|
|
CheckSizeofPointer.cpp
|
|
|
|
Checker.cpp
|
2010-01-27 14:14:12 +08:00
|
|
|
CocoaConventions.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
DereferenceChecker.cpp
|
|
|
|
DivZeroChecker.cpp
|
|
|
|
Environment.cpp
|
|
|
|
ExplodedGraph.cpp
|
|
|
|
FixedAddressChecker.cpp
|
2010-02-04 08:47:48 +08:00
|
|
|
FlatStore.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
GRBlockCounter.cpp
|
|
|
|
GRCoreEngine.cpp
|
|
|
|
GRExprEngine.cpp
|
|
|
|
GRExprEngineExperimentalChecks.cpp
|
|
|
|
GRState.cpp
|
2010-02-14 10:45:18 +08:00
|
|
|
LLVMConventionsChecker.cpp
|
2010-02-25 13:44:09 +08:00
|
|
|
MacOSXAPIChecker.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
MallocChecker.cpp
|
|
|
|
ManagerRegistry.cpp
|
|
|
|
MemRegion.cpp
|
|
|
|
NSAutoreleasePoolChecker.cpp
|
|
|
|
NSErrorChecker.cpp
|
|
|
|
NoReturnFunctionChecker.cpp
|
|
|
|
OSAtomicChecker.cpp
|
2010-02-25 11:26:55 +08:00
|
|
|
ObjCUnusedIVarsChecker.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
PathDiagnostic.cpp
|
|
|
|
PointerArithChecker.cpp
|
|
|
|
PointerSubChecker.cpp
|
|
|
|
PthreadLockChecker.cpp
|
|
|
|
RangeConstraintManager.cpp
|
|
|
|
RegionStore.cpp
|
|
|
|
ReturnPointerRangeChecker.cpp
|
|
|
|
ReturnStackAddressChecker.cpp
|
|
|
|
ReturnUndefChecker.cpp
|
|
|
|
SVals.cpp
|
|
|
|
SValuator.cpp
|
|
|
|
SimpleConstraintManager.cpp
|
|
|
|
SimpleSValuator.cpp
|
|
|
|
Store.cpp
|
|
|
|
SymbolManager.cpp
|
|
|
|
UndefBranchChecker.cpp
|
2010-02-16 16:33:59 +08:00
|
|
|
UndefCapturedBlockVarChecker.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
UndefResultChecker.cpp
|
|
|
|
UndefinedArraySubscriptChecker.cpp
|
|
|
|
UndefinedAssignmentChecker.cpp
|
2010-02-25 08:20:35 +08:00
|
|
|
UnixAPIChecker.cpp
|
2010-01-25 12:41:41 +08:00
|
|
|
VLASizeChecker.cpp
|
|
|
|
ValueManager.cpp
|
|
|
|
)
|