Index of /2017/divm/divine4/clang/lib/StaticAnalyzer/Checkers/
../
AllocationDiagnostics.cpp 31-Mar-2017 15:47 722
AllocationDiagnostics.h 31-Mar-2017 15:47 972
AnalyzerStatsChecker.cpp 31-Mar-2017 15:47 4947
ArrayBoundChecker.cpp 31-Mar-2017 15:47 3085
ArrayBoundCheckerV2.cpp 31-Mar-2017 15:47 10794
BasicObjCFoundationChecks.cpp 31-Mar-2017 15:47 44884
BoolAssignmentChecker.cpp 31-Mar-2017 15:47 5584
BuiltinFunctionChecker.cpp 31-Mar-2017 15:47 3519
CMakeLists.txt 31-Mar-2017 15:47 2131
CStringChecker.cpp 31-Mar-2017 15:47 79595
CStringSyntaxChecker.cpp 31-Mar-2017 15:47 6082
CallAndMessageChecker.cpp 31-Mar-2017 15:47 21757
CastSizeChecker.cpp 31-Mar-2017 15:47 4541
CastToStructChecker.cpp 31-Mar-2017 15:47 2611
CheckObjCDealloc.cpp 31-Mar-2017 15:47 8557
CheckObjCInstMethSignature.cpp 31-Mar-2017 15:47 4777
CheckSecuritySyntaxOnly.cpp 31-Mar-2017 15:47 27309
CheckSizeofPointer.cpp 31-Mar-2017 15:47 3071
CheckerDocumentation.cpp 31-Mar-2017 15:47 13615
Checkers.td 31-Mar-2017 15:47 21151
ChrootChecker.cpp 31-Mar-2017 15:47 5293
ClangCheckers.cpp 31-Mar-2017 15:47 1165
ClangSACheckers.h 31-Mar-2017 15:47 1071
DeadStoresChecker.cpp 31-Mar-2017 15:47 15262
DebugCheckers.cpp 31-Mar-2017 15:47 6629
DereferenceChecker.cpp 31-Mar-2017 15:47 9755
DirectIvarAssignment.cpp 31-Mar-2017 15:47 7977
DivZeroChecker.cpp 31-Mar-2017 15:47 2999
DynamicTypePropagation.cpp 31-Mar-2017 15:47 10256
ExprInspectionChecker.cpp 31-Mar-2017 15:47 4939
FixedAddressChecker.cpp 31-Mar-2017 15:47 2263
GenericTaintChecker.cpp 31-Mar-2017 15:47 27033
IdenticalExprChecker.cpp 31-Mar-2017 15:47 18301
InterCheckerAPI.h 31-Mar-2017 15:47 874
IvarInvalidationChecker.cpp 31-Mar-2017 15:47 27809
LLVMConventionsChecker.cpp 31-Mar-2017 15:47 10000
MacOSKeychainAPIChecker.cpp 31-Mar-2017 15:47 24433
MacOSXAPIChecker.cpp 31-Mar-2017 15:47 4795
Makefile 31-Mar-2017 15:47 977
MallocChecker.cpp 31-Mar-2017 15:47 99445
MallocOverflowSecurityChecker.cpp 31-Mar-2017 15:47 9182
MallocSizeofChecker.cpp 31-Mar-2017 15:47 8098
NSAutoreleasePoolChecker.cpp 31-Mar-2017 15:47 2789
NSErrorChecker.cpp 31-Mar-2017 15:47 9978
NoReturnFunctionChecker.cpp 31-Mar-2017 15:47 5321
NonNullParamChecker.cpp 31-Mar-2017 15:47 7309
ObjCAtSyncChecker.cpp 31-Mar-2017 15:47 3232
ObjCContainersASTChecker.cpp 31-Mar-2017 15:47 5464
ObjCContainersChecker.cpp 31-Mar-2017 15:47 6375
ObjCMissingSuperCallChecker.cpp 31-Mar-2017 15:47 9307
ObjCSelfInitChecker.cpp 31-Mar-2017 15:47 16560
ObjCUnusedIVarsChecker.cpp 31-Mar-2017 15:47 5999
PointerArithChecker.cpp 31-Mar-2017 15:47 2428
PointerSubChecker.cpp 31-Mar-2017 15:47 2549
PthreadLockChecker.cpp 31-Mar-2017 15:47 11091
RetainCountChecker.cpp 31-Mar-2017 15:47 144371
ReturnPointerRangeChecker.cpp 31-Mar-2017 15:47 3275
ReturnUndefChecker.cpp 31-Mar-2017 15:47 4018
SelectorExtras.h 31-Mar-2017 15:47 2093
SimpleStreamChecker.cpp 31-Mar-2017 15:47 9698
StackAddrEscapeChecker.cpp 31-Mar-2017 15:47 8549
StreamChecker.cpp 31-Mar-2017 15:47 14174
TaintTesterChecker.cpp 31-Mar-2017 15:47 1990
TestAfterDivZeroChecker.cpp 31-Mar-2017 15:47 8374
TraversalChecker.cpp 31-Mar-2017 15:47 3935
UndefBranchChecker.cpp 31-Mar-2017 15:47 3732
UndefCapturedBlockVarChecker.cpp 31-Mar-2017 15:47 3582
UndefResultChecker.cpp 31-Mar-2017 15:47 3331
UndefinedArraySubscriptChecker.cpp 31-Mar-2017 15:47 2220
UndefinedAssignmentChecker.cpp 31-Mar-2017 15:47 2919
UnixAPIChecker.cpp 31-Mar-2017 15:47 14059
UnreachableCodeChecker.cpp 31-Mar-2017 15:47 9369
VLASizeChecker.cpp 31-Mar-2017 15:47 5895
VirtualCallChecker.cpp 31-Mar-2017 15:47 8122