
#ifdef GET_GROUPS
#endif // GET_GROUPS


#ifdef GET_PACKAGES
PACKAGE("alpha", -1, false)
PACKAGE("alpha.clone", -1, true)
PACKAGE("alpha.core", -1, true)
PACKAGE("alpha.cplusplus", -1, true)
PACKAGE("alpha.deadcode", -1, true)
PACKAGE("alpha.osx", -1, true)
PACKAGE("alpha.osx.cocoa", -1, true)
PACKAGE("alpha.osx.cocoa.localizability", -1, true)
PACKAGE("alpha.security", -1, true)
PACKAGE("alpha.security.taint", -1, true)
PACKAGE("alpha.unix", -1, true)
PACKAGE("alpha.unix.cstring", -1, true)
PACKAGE("apiModeling", -1, true)
PACKAGE("apiModeling.google", -1, true)
PACKAGE("core", -1, false)
PACKAGE("core.builtin", -1, false)
PACKAGE("core.uninitialized", -1, false)
PACKAGE("cplusplus", -1, false)
PACKAGE("deadcode", -1, false)
PACKAGE("debug", -1, false)
PACKAGE("llvm", -1, false)
PACKAGE("nullability", -1, false)
PACKAGE("optin", -1, false)
PACKAGE("optin.cplusplus", -1, false)
PACKAGE("optin.mpi", -1, false)
PACKAGE("optin.osx", -1, false)
PACKAGE("optin.osx.cocoa", -1, false)
PACKAGE("optin.osx.cocoa.localizability", -1, false)
PACKAGE("optin.performance", -1, false)
PACKAGE("optin.portability", -1, false)
PACKAGE("osx", -1, false)
PACKAGE("osx.cocoa", -1, false)
PACKAGE("osx.coreFoundation", -1, false)
PACKAGE("osx.coreFoundation.containers", -1, false)
PACKAGE("security", -1, false)
PACKAGE("security.insecureAPI", -1, false)
PACKAGE("unix", -1, false)
PACKAGE("unix.cstring", -1, true)
PACKAGE("valist", -1, false)
#endif // GET_PACKAGES


#ifdef GET_CHECKERS
CHECKER("debug.AnalysisOrder", AnalysisOrderChecker, AnalysisOrder.cpp, "Print callbacks that are called during analysis in order", -1, false)
CHECKER("debug.Stats", AnalyzerStatsChecker, AnalyzerStatsChecker.cpp, "Emit warnings with analyzer statistics", -1, false)
CHECKER("alpha.security.ArrayBound", ArrayBoundChecker, ArrayBoundChecker.cpp, "Warn about buffer overflows (older checker)", -1, true)
CHECKER("alpha.security.ArrayBoundV2", ArrayBoundCheckerV2, ArrayBoundCheckerV2.cpp, "Warn about buffer overflows (newer checker)", -1, true)
CHECKER("alpha.unix.BlockInCriticalSection", BlockInCriticalSectionChecker, BlockInCriticalSectionChecker.cpp, "Check for calls to blocking functions inside a critical section", -1, true)
CHECKER("alpha.core.BoolAssignment", BoolAssignmentChecker, BoolAssignmentChecker.cpp, "Warn about assigning non-{0,1} values to Boolean variables", -1, true)
CHECKER("debug.DumpBugHash", BugHashDumper, DebugCheckers.cpp, "Dump the bug hash for all statements.", -1, false)
CHECKER("core.builtin.BuiltinFunctions", BuiltinFunctionChecker, BuiltinFunctionChecker.cpp, "Evaluate compiler builtin functions (e.g., alloca())", -1, false)
CHECKER("osx.coreFoundation.CFError", CFErrorChecker, NSErrorChecker.cpp, "Check usage of CFErrorRef* parameters", -1, false)
CHECKER("debug.DumpCFG", CFGDumper, DebugCheckers.cpp, "Display Control-Flow Graphs", -1, false)
CHECKER("debug.ViewCFG", CFGViewer, DebugCheckers.cpp, "View Control-Flow Graphs using GraphViz", -1, false)
CHECKER("osx.coreFoundation.CFNumber", CFNumberChecker, BasicObjCFoundationChecks.cpp, "Check for proper uses of CFNumber APIs", -1, false)
CHECKER("osx.coreFoundation.CFRetainRelease", CFRetainReleaseChecker, BasicObjCFoundationChecks.cpp, "Check for null arguments to CFRetain/CFRelease/CFMakeCollectable", -1, false)
CHECKER("alpha.unix.cstring.BufferOverlap", CStringBufferOverlap, CStringChecker.cpp, "Checks for overlap in two buffer arguments", -1, true)
CHECKER("alpha.unix.cstring.NotNullTerminated", CStringNotNullTerm, CStringChecker.cpp, "Check for arguments which are not null-terminating strings", -1, true)
CHECKER("unix.cstring.NullArg", CStringNullArg, CStringChecker.cpp, "Check for null pointers being passed as arguments to C string functions", -1, true)
CHECKER("alpha.unix.cstring.OutOfBounds", CStringOutOfBounds, CStringChecker.cpp, "Check for out-of-bounds access in string functions", -1, true)
CHECKER("unix.cstring.BadSizeArg", CStringSyntaxChecker, CStringSyntaxChecker.cpp, "Check the size argument passed into C string functions for common erroneous patterns", -1, true)
CHECKER("cplusplus.SelfAssignment", CXXSelfAssignmentChecker, CXXSelfAssignmentChecker.cpp, "Checks C++ copy and move assignment operators for self assignment", -1, false)
CHECKER("core.CallAndMessage", CallAndMessageChecker, CallAndMessageChecker.cpp, "Check for logical errors for function calls and Objective-C message expressions (e.g., uninitialized arguments, null function pointers)", -1, false)
CHECKER("alpha.core.CallAndMessageUnInitRefArg", CallAndMessageUnInitRefArg, CallAndMessageChecker.cpp, "Check for logical errors for function calls and Objective-C message expressions (e.g., uninitialized arguments, null function pointers, and pointer to undefined variables)", -1, true)
CHECKER("debug.DumpCalls", CallDumper, TraversalChecker.cpp, "Print calls as they are traversed by the engine", -1, false)
CHECKER("debug.DumpCallGraph", CallGraphDumper, DebugCheckers.cpp, "Display Call Graph", -1, false)
CHECKER("debug.ViewCallGraph", CallGraphViewer, DebugCheckers.cpp, "View Call Graph using GraphViz", -1, false)
CHECKER("alpha.core.CastSize", CastSizeChecker, CastSizeChecker.cpp, "Check when casting a malloc'ed type T, whether the size is a multiple of the size of T", -1, true)
CHECKER("alpha.core.CastToStruct", CastToStructChecker, CastToStructChecker.cpp, "Check for cast from non-struct pointer to struct pointer", -1, true)
CHECKER("alpha.unix.Chroot", ChrootChecker, ChrootChecker.cpp, "Check improper use of chroot", -1, true)
CHECKER("osx.cocoa.ClassRelease", ClassReleaseChecker, BasicObjCFoundationChecks.cpp, "Check for sending 'retain', 'release', or 'autorelease' directly to a Class", -1, false)
CHECKER("alpha.clone.CloneChecker", CloneChecker, CloneChecker.cpp, "Reports similar pieces of code.", -1, true)
CHECKER("debug.ConfigDumper", ConfigDumper, DebugCheckers.cpp, "Dump config table", -1, false)
CHECKER("alpha.core.Conversion", ConversionChecker, ConversionChecker.cpp, "Loss of sign/precision in implicit conversions", -1, true)
CHECKER("valist.CopyToSelf", CopyToSelfChecker, ValistChecker.cpp, "Check for va_lists which are copied onto itself.", -1, false)
CHECKER("deadcode.DeadStores", DeadStoresChecker, DeadStoresChecker.cpp, "Check for values stored to variables that are never read afterwards", -1, false)
CHECKER("alpha.cplusplus.DeleteWithNonVirtualDtor", DeleteWithNonVirtualDtorChecker, DeleteWithNonVirtualDtorChecker.cpp, "Reports destructions of polymorphic objects with a non-virtual destructor in their base class", -1, true)
CHECKER("core.NullDereference", DereferenceChecker, DereferenceChecker.cpp, "Check for dereferences of null pointers", -1, false)
CHECKER("alpha.osx.cocoa.DirectIvarAssignment", DirectIvarAssignment, DirectIvarAssignment.cpp, "Check for direct assignments to instance variables", -1, true)
CHECKER("alpha.osx.cocoa.DirectIvarAssignmentForAnnotatedFunctions", DirectIvarAssignmentForAnnotatedFunctions, DirectIvarAssignment.cpp, "Check for direct assignments to instance variables in the methods annotated with objc_no_direct_instance_variable_assignment", -1, true)
CHECKER("core.DivideZero", DivZeroChecker, DivZeroChecker.cpp, "Check for division by zero", -1, false)
CHECKER("debug.DumpDominators", DominatorsTreeDumper, DebugCheckers.cpp, "Print the dominance tree for a given CFG", -1, false)
CHECKER("alpha.core.DynamicTypeChecker", DynamicTypeChecker, DynamicTypeChecker.cpp, "Check for cases where the dynamic and the static type of an object are unrelated.", -1, true)
CHECKER("core.DynamicTypePropagation", DynamicTypePropagation, DynamicTypePropagation.cpp, "Generate dynamic type information", -1, false)
CHECKER("optin.osx.cocoa.localizability.EmptyLocalizationContextChecker", EmptyLocalizationContextChecker, LocalizationChecker.cpp, "Check that NSLocalizedString macros include a comment for context", -1, false)
CHECKER("debug.ViewExplodedGraph", ExplodedGraphViewer, DebugCheckers.cpp, "View Exploded Graphs using GraphViz", -1, false)
CHECKER("debug.ExprInspection", ExprInspectionChecker, ExprInspectionChecker.cpp, "Check the analyzer's understanding of expressions", -1, false)
CHECKER("alpha.core.FixedAddr", FixedAddressChecker, FixedAddressChecker.cpp, "Check for assignment of a fixed address to a pointer", -1, true)
CHECKER("security.FloatLoopCounter", FloatLoopCounter, CheckSecuritySyntaxOnly.cpp, "Warn on using a floating point value as a loop counter (CERT: FLP30-C, FLP30-CPP)", -1, false)
CHECKER("apiModeling.google.GTest", GTestChecker, GTestChecker.cpp, "Model gtest assertion APIs", -1, true)
CHECKER("alpha.security.taint.TaintPropagation", GenericTaintChecker, GenericTaintChecker.cpp, "Generate taint information used by other checkers", -1, true)
CHECKER("alpha.core.IdenticalExpr", IdenticalExprChecker, IdenticalExprChecker.cpp, "Warn about unintended use of identical expressions in operators", -1, true)
CHECKER("alpha.osx.cocoa.InstanceVariableInvalidation", InstanceVariableInvalidation, IvarInvalidationChecker.cpp, "Check that the invalidatable instance variables are invalidated in the methods annotated with objc_instance_variable_invalidator", -1, true)
CHECKER("alpha.cplusplus.IteratorRange", IteratorRangeChecker, IteratorChecker.cpp, "Check for iterators used outside their valid ranges", -1, true)
CHECKER("llvm.Conventions", LLVMConventionsChecker, LLVMConventionsChecker.cpp, "Check code for LLVM codebase conventions", -1, false)
CHECKER("debug.DumpLiveVars", LiveVariablesDumper, DebugCheckers.cpp, "Print results of live variable analysis", -1, false)
CHECKER("optin.mpi.MPI-Checker", MPIChecker, MPIChecker.cpp, "Checks MPI code", -1, false)
CHECKER("osx.SecKeychainAPI", MacOSKeychainAPIChecker, MacOSKeychainAPIChecker.cpp, "Check for proper uses of Secure Keychain APIs", -1, false)
CHECKER("osx.API", MacOSXAPIChecker, MacOSXAPIChecker.cpp, "Check for proper uses of various Apple APIs", -1, false)
CHECKER("unix.Malloc", MallocChecker, MallocChecker.cpp, "Check for memory leaks, double free, and use-after-free problems. Traces memory managed by malloc()/free().", -1, false)
CHECKER("alpha.security.MallocOverflow", MallocOverflowSecurityChecker, MallocOverflowSecurityChecker.cpp, "Check for overflows in the arguments to malloc()", -1, true)
CHECKER("unix.MallocSizeof", MallocSizeofChecker, MallocSizeofChecker.cpp, "Check for dubious malloc arguments involving sizeof", -1, false)
CHECKER("unix.MismatchedDeallocator", MismatchedDeallocatorChecker, MallocChecker.cpp, "Check for mismatched deallocators.", -1, false)
CHECKER("alpha.osx.cocoa.MissingInvalidationMethod", MissingInvalidationMethod, IvarInvalidationChecker.cpp, "Check that the invalidation methods are present in classes that contain invalidatable instance variables", -1, true)
CHECKER("alpha.cplusplus.MisusedMovedObject", MisusedMovedObjectChecker, MisusedMovedObjectChecker.cpp, "Method calls on a moved-from object and copying a moved-from object will be reported", -1, true)
CHECKER("osx.cocoa.NSAutoreleasePool", NSAutoreleasePoolChecker, NSAutoreleasePoolChecker.cpp, "Warn for suboptimal uses of NSAutoreleasePool in Objective-C GC mode", -1, false)
CHECKER("osx.cocoa.NSError", NSErrorChecker, NSErrorChecker.cpp, "Check usage of NSError** parameters", -1, false)
CHECKER("cplusplus.NewDelete", NewDeleteChecker, MallocChecker.cpp, "Check for double-free and use-after-free problems. Traces memory managed by new/delete.", -1, false)
CHECKER("cplusplus.NewDeleteLeaks", NewDeleteLeaksChecker, MallocChecker.cpp, "Check for memory leaks. Traces memory managed by new/delete.", -1, false)
CHECKER("osx.cocoa.NilArg", NilArgChecker, BasicObjCFoundationChecks.cpp, "Check for prohibited nil arguments to ObjC method calls", -1, false)
CHECKER("core.builtin.NoReturnFunctions", NoReturnFunctionChecker, NoReturnFunctionChecker.cpp, "Evaluate \"panic\" functions that are known to not return to the caller", -1, false)
CHECKER("optin.osx.cocoa.localizability.NonLocalizedStringChecker", NonLocalizedStringChecker, LocalizationChecker.cpp, "Warns about uses of non-localized NSStrings passed to UI methods expecting localized NSStrings", -1, false)
CHECKER("core.NonNullParamChecker", NonNullParamChecker, NonNullParamChecker.cpp, "Check for null pointers passed as arguments to a function whose arguments are references or marked with the 'nonnull' attribute", -1, false)
CHECKER("core.NonnilStringConstants", NonnullGlobalConstantsChecker, NonilStringConstantsChecker.cpp, "Assume that const string-like globals are non-null", -1, false)
CHECKER("nullability.NullPassedToNonnull", NullPassedToNonnullChecker, NullabilityChecker.cpp, "Warns when a null pointer is passed to a pointer which has a _Nonnull type.", -1, false)
CHECKER("nullability.NullReturnedFromNonnull", NullReturnedFromNonnullChecker, NullabilityChecker.cpp, "Warns when a null pointer is returned from a function that has _Nonnull return type.", -1, false)
CHECKER("nullability.NullableDereferenced", NullableDereferencedChecker, NullabilityChecker.cpp, "Warns when a nullable pointer is dereferenced.", -1, false)
CHECKER("nullability.NullablePassedToNonnull", NullablePassedToNonnullChecker, NullabilityChecker.cpp, "Warns when a nullable pointer is passed to a pointer which has a _Nonnull type.", -1, false)
CHECKER("nullability.NullableReturnedFromNonnull", NullableReturnedFromNonnullChecker, NullabilityChecker.cpp, "Warns when a nullable pointer is returned from a function that has _Nonnull return type.", -1, false)
CHECKER("osx.NumberObjectConversion", NumberObjectConversionChecker, NumberObjectConversionChecker.cpp, "Check for erroneous conversions of objects representing numbers into numbers", -1, false)
CHECKER("osx.cocoa.AtSync", ObjCAtSyncChecker, ObjCAtSyncChecker.cpp, "Check for nil pointers used as mutexes for @synchronized", -1, false)
CHECKER("osx.coreFoundation.containers.PointerSizedValues", ObjCContainersASTChecker, ObjCContainersASTChecker.cpp, "Warns if 'CFArray', 'CFDictionary', 'CFSet' are created with non-pointer-size values", -1, false)
CHECKER("osx.coreFoundation.containers.OutOfBounds", ObjCContainersChecker, ObjCContainersChecker.cpp, "Checks for index out-of-bounds when using 'CFArray' API", -1, false)
CHECKER("osx.cocoa.Dealloc", ObjCDeallocChecker, CheckObjCDealloc.cpp, "Warn about Objective-C classes that lack a correct implementation of -dealloc", -1, false)
CHECKER("osx.cocoa.ObjCGenerics", ObjCGenericsChecker, DynamicTypePropagation.cpp, "Check for type errors when using Objective-C generics", -1, false)
CHECKER("osx.cocoa.Loops", ObjCLoopChecker, BasicObjCFoundationChecks.cpp, "Improved modeling of loops using Cocoa collection types", -1, false)
CHECKER("osx.cocoa.IncompatibleMethodTypes", ObjCMethSigsChecker, CheckObjCInstMethSignature.cpp, "Warn about Objective-C method signatures with type incompatibilities", -1, false)
CHECKER("osx.cocoa.NonNilReturnValue", ObjCNonNilReturnValueChecker, BasicObjCFoundationChecks.cpp, "Model the APIs that are guaranteed to return a non-nil value", -1, false)
CHECKER("osx.ObjCProperty", ObjCPropertyChecker, ObjCPropertyChecker.cpp, "Check for proper uses of Objective-C properties", -1, false)
CHECKER("osx.cocoa.SelfInit", ObjCSelfInitChecker, ObjCSelfInitChecker.cpp, "Check that 'self' is properly initialized inside an initializer method", -1, false)
CHECKER("osx.cocoa.MissingSuperCall", ObjCSuperCallChecker, ObjCMissingSuperCallChecker.cpp, "Warn about Objective-C methods that lack a necessary call to super", -1, false)
CHECKER("osx.cocoa.SuperDealloc", ObjCSuperDeallocChecker, ObjCSuperDeallocChecker.cpp, "Warn about improper use of '[super dealloc]' in Objective-C", -1, false)
CHECKER("osx.cocoa.UnusedIvars", ObjCUnusedIvarsChecker, ObjCUnusedIVarsChecker.cpp, "Warn about private ivars that are never used", -1, false)
CHECKER("optin.performance.Padding", PaddingChecker, PaddingChecker.cpp, "Check for excessively padded structs.", -1, false)
CHECKER("alpha.osx.cocoa.localizability.PluralMisuseChecker", PluralMisuseChecker, LocalizationChecker.cpp, "Warns against using one vs. many plural pattern in code when generating localized strings.", -1, true)
CHECKER("alpha.core.PointerArithm", PointerArithChecker, PointerArithChecker, "Check for pointer arithmetic on locations other than array elements", -1, true)
CHECKER("alpha.core.PointerSub", PointerSubChecker, PointerSubChecker, "Check for pointer subtractions on two pointers pointing to different memory chunks", -1, true)
CHECKER("alpha.unix.PthreadLock", PthreadLockChecker, PthreadLockChecker.cpp, "Simple lock -> unlock checker", -1, true)
CHECKER("osx.cocoa.RetainCount", RetainCountChecker, RetainCountChecker.cpp, "Check for leaks and improper reference count management", -1, false)
CHECKER("alpha.security.ReturnPtrRange", ReturnPointerRangeChecker, ReturnPointerRangeChecker.cpp, "Check for an out-of-bound pointer being returned to callers", -1, true)
CHECKER("core.uninitialized.UndefReturn", ReturnUndefChecker, ReturnUndefChecker.cpp, "Check for uninitialized values being returned to the caller", -1, false)
CHECKER("alpha.unix.SimpleStream", SimpleStreamChecker, SimpleStreamChecker.cpp, "Check for misuses of stream APIs", -1, true)
CHECKER("alpha.core.SizeofPtr", SizeofPointerChecker, CheckSizeofPointer.cpp, "Warn about unintended use of sizeof() on pointer expressions", -1, true)
CHECKER("core.StackAddressEscape", StackAddrEscapeChecker, StackAddrEscapeChecker.cpp, "Check that addresses to stack memory do not escape the function", -1, false)
CHECKER("unix.StdCLibraryFunctions", StdCLibraryFunctionsChecker, StdLibraryFunctionsChecker.cpp, "Improve modeling of the C standard library functions", -1, false)
CHECKER("alpha.unix.Stream", StreamChecker, StreamChecker.cpp, "Check stream handling functions", -1, true)
CHECKER("debug.TaintTest", TaintTesterChecker, TaintTesterChecker.cpp, "Mark tainted symbols as such.", -1, false)
CHECKER("alpha.core.TestAfterDivZero", TestAfterDivZeroChecker, TestAfterDivZeroChecker.cpp, "Check for division by variable that is later compared against 0. Either the comparison is useless or there is division by zero.", -1, true)
CHECKER("debug.DumpTraversal", TraversalDumper, TraversalChecker.cpp, "Print branch conditions as they are traversed by the engine", -1, false)
CHECKER("security.insecureAPI.UncheckedReturn", UncheckedReturn, CheckSecuritySyntaxOnly.cpp, "Warn on uses of functions whose return values must be always checked", -1, false)
CHECKER("core.uninitialized.Branch", UndefBranchChecker, UndefBranchChecker.cpp, "Check for uninitialized values used as branch conditions", -1, false)
CHECKER("core.uninitialized.CapturedBlockVariable", UndefCapturedBlockVarChecker, UndefCapturedBlockVarChecker.cpp, "Check for blocks that capture uninitialized values", -1, false)
CHECKER("core.UndefinedBinaryOperatorResult", UndefResultChecker, UndefResultChecker.cpp, "Check for undefined results of binary operators", -1, false)
CHECKER("core.uninitialized.ArraySubscript", UndefinedArraySubscriptChecker, UndefinedArraySubscriptChecker.cpp, "Check for uninitialized values used as array subscripts", -1, false)
CHECKER("core.uninitialized.Assign", UndefinedAssignmentChecker, UndefinedAssignmentChecker.cpp, "Check for assigning uninitialized values", -1, false)
CHECKER("valist.Uninitialized", UninitializedChecker, ValistChecker.cpp, "Check for usages of uninitialized (or already released) va_lists.", -1, false)
CHECKER("unix.API", UnixAPIMisuseChecker, UnixAPIChecker.cpp, "Check calls to various UNIX/Posix functions", -1, false)
CHECKER("optin.portability.UnixAPI", UnixAPIPortabilityChecker, UnixAPIChecker.cpp, "Finds implementation-defined behavior in UNIX/Posix functions", -1, false)
CHECKER("alpha.deadcode.UnreachableCode", UnreachableCodeChecker, UnreachableCodeChecker.cpp, "Check unreachable code", -1, true)
CHECKER("valist.Unterminated", UnterminatedChecker, ValistChecker.cpp, "Check for va_lists which are not released by a va_end call.", -1, false)
CHECKER("core.VLASize", VLASizeChecker, VLASizeChecker.cpp, "Check for declarations of VLA of undefined or zero size", -1, false)
CHECKER("osx.cocoa.VariadicMethodTypes", VariadicMethodTypeChecker, BasicObjCFoundationChecks.cpp, "Check for passing non-Objective-C types to variadic collection initialization methods that expect only Objective-C types", -1, false)
CHECKER("unix.Vfork", VforkChecker, VforkChecker.cpp, "Check for proper usage of vfork", -1, false)
CHECKER("optin.cplusplus.VirtualCall", VirtualCallChecker, VirtualCallChecker.cpp, "Check virtual function calls during construction or destruction", -1, false)
CHECKER("security.insecureAPI.getpw", getpw, CheckSecuritySyntaxOnly.cpp, "Warn on uses of the 'getpw' function", -1, false)
CHECKER("security.insecureAPI.gets", gets, CheckSecuritySyntaxOnly.cpp, "Warn on uses of the 'gets' function", -1, false)
CHECKER("security.insecureAPI.mkstemp", mkstemp, CheckSecuritySyntaxOnly.cpp, "Warn when 'mkstemp' is passed fewer than 6 X's in the format string", -1, false)
CHECKER("security.insecureAPI.mktemp", mktemp, CheckSecuritySyntaxOnly.cpp, "Warn on uses of the 'mktemp' function", -1, false)
CHECKER("security.insecureAPI.rand", rand, CheckSecuritySyntaxOnly.cpp, "Warn on uses of the 'rand', 'random', and related functions", -1, false)
CHECKER("security.insecureAPI.strcpy", strcpy, CheckSecuritySyntaxOnly.cpp, "Warn on uses of the 'strcpy' and 'strcat' functions", -1, false)
CHECKER("security.insecureAPI.vfork", vfork, CheckSecuritySyntaxOnly.cpp, "Warn on uses of the 'vfork' function", -1, false)
#endif // GET_CHECKERS


#ifdef GET_MEMBER_ARRAYS
static const short SubPackageArray0[] = { 3, 16, 20, 30, 37, 22, 1, -1 };
static const short SubPackageArray1[] = { 2, -1 };
static const short CheckerArray2[] = { 28, -1 };
static const short SubPackageArray3[] = { 4, 6, 7, 8, 11, 10, 12, 13, 14, 5, 15, 9, -1 };
static const short CheckerArray4[] = { 5, -1 };
static const short CheckerArray5[] = { 20, -1 };
static const short CheckerArray6[] = { 24, -1 };
static const short CheckerArray7[] = { 25, -1 };
static const short CheckerArray8[] = { 30, -1 };
static const short CheckerArray9[] = { 39, -1 };
static const short CheckerArray10[] = { 44, -1 };
static const short CheckerArray11[] = { 48, -1 };
static const short CheckerArray12[] = { 92, -1 };
static const short CheckerArray13[] = { 93, -1 };
static const short CheckerArray14[] = { 99, -1 };
static const short CheckerArray15[] = { 104, -1 };
static const short SubPackageArray16[] = { 17, 18, 19, -1 };
static const short CheckerArray17[] = { 33, -1 };
static const short CheckerArray18[] = { 50, -1 };
static const short CheckerArray19[] = { 61, -1 };
static const short SubPackageArray20[] = { 21, -1 };
static const short CheckerArray21[] = { 115, -1 };
static const short SubPackageArray22[] = { 23, -1 };
static const short SubPackageArray23[] = { 28, 26, 27, 24, 25, -1 };
static const short CheckerArray24[] = { 35, -1 };
static const short CheckerArray25[] = { 36, -1 };
static const short CheckerArray26[] = { 49, -1 };
static const short CheckerArray27[] = { 60, -1 };
static const short SubPackageArray28[] = { 29, -1 };
static const short CheckerArray29[] = { 91, -1 };
static const short SubPackageArray30[] = { 35, 31, 32, 34, 33, -1 };
static const short CheckerArray31[] = { 2, -1 };
static const short CheckerArray32[] = { 3, -1 };
static const short CheckerArray33[] = { 57, -1 };
static const short CheckerArray34[] = { 96, -1 };
static const short SubPackageArray35[] = { 36, -1 };
static const short CheckerArray36[] = { 47, -1 };
static const short SubPackageArray37[] = { 43, 39, 40, 42, 41, 38, -1 };
static const short CheckerArray38[] = { 4, -1 };
static const short CheckerArray39[] = { 26, -1 };
static const short CheckerArray40[] = { 94, -1 };
static const short CheckerArray41[] = { 98, -1 };
static const short CheckerArray42[] = { 102, -1 };
static const short SubPackageArray43[] = { 46, 44, 45, -1 };
static const short CheckerArray44[] = { 13, -1 };
static const short CheckerArray45[] = { 14, -1 };
static const short CheckerArray46[] = { 16, -1 };
static const short SubPackageArray47[] = { 48, -1 };
static const short SubPackageArray48[] = { 49, -1 };
static const short CheckerArray49[] = { 46, -1 };
static const short SubPackageArray50[] = { 60, 63, 56, 51, 54, 59, 52, 58, 57, 53, 55, -1 };
static const short CheckerArray51[] = { 19, -1 };
static const short CheckerArray52[] = { 37, -1 };
static const short CheckerArray53[] = { 40, -1 };
static const short CheckerArray54[] = { 69, -1 };
static const short CheckerArray55[] = { 70, -1 };
static const short CheckerArray56[] = { 34, -1 };
static const short CheckerArray57[] = { 100, -1 };
static const short CheckerArray58[] = { 109, -1 };
static const short CheckerArray59[] = { 117, -1 };
static const short SubPackageArray60[] = { 62, 61, -1 };
static const short CheckerArray61[] = { 7, -1 };
static const short CheckerArray62[] = { 67, -1 };
static const short SubPackageArray63[] = { 64, 65, 66, 67, 68, -1 };
static const short CheckerArray64[] = { 110, -1 };
static const short CheckerArray65[] = { 111, -1 };
static const short CheckerArray66[] = { 107, -1 };
static const short CheckerArray67[] = { 108, -1 };
static const short CheckerArray68[] = { 97, -1 };
static const short SubPackageArray69[] = { 70, 71, 72, -1 };
static const short CheckerArray70[] = { 64, -1 };
static const short CheckerArray71[] = { 65, -1 };
static const short CheckerArray72[] = { 18, -1 };
static const short SubPackageArray73[] = { 74, -1 };
static const short CheckerArray74[] = { 32, -1 };
static const short SubPackageArray75[] = { 76, 82, 83, 88, 79, 89, 80, 77, 84, 81, 86, 87, 85, 90, 78, -1 };
static const short CheckerArray76[] = { 0, -1 };
static const short CheckerArray77[] = { 29, -1 };
static const short CheckerArray78[] = { 6, -1 };
static const short CheckerArray79[] = { 9, -1 };
static const short CheckerArray80[] = { 22, -1 };
static const short CheckerArray81[] = { 21, -1 };
static const short CheckerArray82[] = { 38, -1 };
static const short CheckerArray83[] = { 52, -1 };
static const short CheckerArray84[] = { 105, -1 };
static const short CheckerArray85[] = { 43, -1 };
static const short CheckerArray86[] = { 1, -1 };
static const short CheckerArray87[] = { 103, -1 };
static const short CheckerArray88[] = { 10, -1 };
static const short CheckerArray89[] = { 23, -1 };
static const short CheckerArray90[] = { 42, -1 };
static const short SubPackageArray91[] = { 92, -1 };
static const short CheckerArray92[] = { 51, -1 };
static const short SubPackageArray93[] = { 94, 95, 96, 97, 98, -1 };
static const short CheckerArray94[] = { 71, -1 };
static const short CheckerArray95[] = { 72, -1 };
static const short CheckerArray96[] = { 73, -1 };
static const short CheckerArray97[] = { 74, -1 };
static const short CheckerArray98[] = { 75, -1 };
static const short SubPackageArray99[] = { 111, 100, 109, 104, 102, -1 };
static const short SubPackageArray100[] = { 101, -1 };
static const short CheckerArray101[] = { 120, -1 };
static const short SubPackageArray102[] = { 103, -1 };
static const short CheckerArray103[] = { 53, -1 };
static const short SubPackageArray104[] = { 105, -1 };
static const short SubPackageArray105[] = { 106, -1 };
static const short SubPackageArray106[] = { 108, 107, -1 };
static const short CheckerArray107[] = { 41, -1 };
static const short CheckerArray108[] = { 68, -1 };
static const short SubPackageArray109[] = { 110, -1 };
static const short CheckerArray110[] = { 90, -1 };
static const short SubPackageArray111[] = { 112, -1 };
static const short CheckerArray112[] = { 114, -1 };
static const short SubPackageArray113[] = { 118, 135, 115, 114, 117, 116, -1 };
static const short CheckerArray114[] = { 55, -1 };
static const short CheckerArray115[] = { 76, -1 };
static const short CheckerArray116[] = { 85, -1 };
static const short CheckerArray117[] = { 54, -1 };
static const short SubPackageArray118[] = { 119, 127, 120, 134, 125, 122, 133, 131, 123, 128, 124, 126, 130, 129, 121, 132, -1 };
static const short CheckerArray119[] = { 77, -1 };
static const short CheckerArray120[] = { 27, -1 };
static const short CheckerArray121[] = { 80, -1 };
static const short CheckerArray122[] = { 83, -1 };
static const short CheckerArray123[] = { 82, -1 };
static const short CheckerArray124[] = { 87, -1 };
static const short CheckerArray125[] = { 62, -1 };
static const short CheckerArray126[] = { 63, -1 };
static const short CheckerArray127[] = { 66, -1 };
static const short CheckerArray128[] = { 84, -1 };
static const short CheckerArray129[] = { 81, -1 };
static const short CheckerArray130[] = { 95, -1 };
static const short CheckerArray131[] = { 86, -1 };
static const short CheckerArray132[] = { 88, -1 };
static const short CheckerArray133[] = { 89, -1 };
static const short CheckerArray134[] = { 118, -1 };
static const short SubPackageArray135[] = { 139, 137, 138, 136, -1 };
static const short CheckerArray136[] = { 8, -1 };
static const short CheckerArray137[] = { 11, -1 };
static const short CheckerArray138[] = { 12, -1 };
static const short SubPackageArray139[] = { 141, 140, -1 };
static const short CheckerArray140[] = { 79, -1 };
static const short CheckerArray141[] = { 78, -1 };
static const short SubPackageArray142[] = { 144, 143, -1 };
static const short CheckerArray143[] = { 45, -1 };
static const short SubPackageArray144[] = { 147, 146, 149, 148, 150, 151, 152, 145, -1 };
static const short CheckerArray145[] = { 106, -1 };
static const short CheckerArray146[] = { 121, -1 };
static const short CheckerArray147[] = { 122, -1 };
static const short CheckerArray148[] = { 123, -1 };
static const short CheckerArray149[] = { 124, -1 };
static const short CheckerArray150[] = { 125, -1 };
static const short CheckerArray151[] = { 126, -1 };
static const short CheckerArray152[] = { 127, -1 };
static const short SubPackageArray153[] = { 160, 154, 155, 156, 157, 159, 158, -1 };
static const short CheckerArray154[] = { 113, -1 };
static const short CheckerArray155[] = { 56, -1 };
static const short CheckerArray156[] = { 58, -1 };
static const short CheckerArray157[] = { 59, -1 };
static const short CheckerArray158[] = { 101, -1 };
static const short CheckerArray159[] = { 119, -1 };
static const short SubPackageArray160[] = { 162, 161, -1 };
static const short CheckerArray161[] = { 17, -1 };
static const short CheckerArray162[] = { 15, -1 };
static const short SubPackageArray163[] = { 165, 166, 164, -1 };
static const short CheckerArray164[] = { 31, -1 };
static const short CheckerArray165[] = { 112, -1 };
static const short CheckerArray166[] = { 116, -1 };
#endif // GET_MEMBER_ARRAYS


#ifdef GET_CHECKNAME_TABLE
  { "alpha",                                                          0, SubPackageArray0, false },
  { "alpha.clone",                                                    0, SubPackageArray1, true },
  { "alpha.clone.CloneChecker",                                       CheckerArray2, 0, false },
  { "alpha.core",                                                     0, SubPackageArray3, true },
  { "alpha.core.BoolAssignment",                                      CheckerArray4, 0, false },
  { "alpha.core.CallAndMessageUnInitRefArg",                          CheckerArray5, 0, false },
  { "alpha.core.CastSize",                                            CheckerArray6, 0, false },
  { "alpha.core.CastToStruct",                                        CheckerArray7, 0, false },
  { "alpha.core.Conversion",                                          CheckerArray8, 0, false },
  { "alpha.core.DynamicTypeChecker",                                  CheckerArray9, 0, false },
  { "alpha.core.FixedAddr",                                           CheckerArray10, 0, false },
  { "alpha.core.IdenticalExpr",                                       CheckerArray11, 0, false },
  { "alpha.core.PointerArithm",                                       CheckerArray12, 0, false },
  { "alpha.core.PointerSub",                                          CheckerArray13, 0, false },
  { "alpha.core.SizeofPtr",                                           CheckerArray14, 0, false },
  { "alpha.core.TestAfterDivZero",                                    CheckerArray15, 0, false },
  { "alpha.cplusplus",                                                0, SubPackageArray16, true },
  { "alpha.cplusplus.DeleteWithNonVirtualDtor",                       CheckerArray17, 0, false },
  { "alpha.cplusplus.IteratorRange",                                  CheckerArray18, 0, false },
  { "alpha.cplusplus.MisusedMovedObject",                             CheckerArray19, 0, false },
  { "alpha.deadcode",                                                 0, SubPackageArray20, true },
  { "alpha.deadcode.UnreachableCode",                                 CheckerArray21, 0, false },
  { "alpha.osx",                                                      0, SubPackageArray22, true },
  { "alpha.osx.cocoa",                                                0, SubPackageArray23, true },
  { "alpha.osx.cocoa.DirectIvarAssignment",                           CheckerArray24, 0, false },
  { "alpha.osx.cocoa.DirectIvarAssignmentForAnnotatedFunctions",      CheckerArray25, 0, false },
  { "alpha.osx.cocoa.InstanceVariableInvalidation",                   CheckerArray26, 0, false },
  { "alpha.osx.cocoa.MissingInvalidationMethod",                      CheckerArray27, 0, false },
  { "alpha.osx.cocoa.localizability",                                 0, SubPackageArray28, true },
  { "alpha.osx.cocoa.localizability.PluralMisuseChecker",             CheckerArray29, 0, false },
  { "alpha.security",                                                 0, SubPackageArray30, true },
  { "alpha.security.ArrayBound",                                      CheckerArray31, 0, false },
  { "alpha.security.ArrayBoundV2",                                    CheckerArray32, 0, false },
  { "alpha.security.MallocOverflow",                                  CheckerArray33, 0, false },
  { "alpha.security.ReturnPtrRange",                                  CheckerArray34, 0, false },
  { "alpha.security.taint",                                           0, SubPackageArray35, true },
  { "alpha.security.taint.TaintPropagation",                          CheckerArray36, 0, false },
  { "alpha.unix",                                                     0, SubPackageArray37, true },
  { "alpha.unix.BlockInCriticalSection",                              CheckerArray38, 0, false },
  { "alpha.unix.Chroot",                                              CheckerArray39, 0, false },
  { "alpha.unix.PthreadLock",                                         CheckerArray40, 0, false },
  { "alpha.unix.SimpleStream",                                        CheckerArray41, 0, false },
  { "alpha.unix.Stream",                                              CheckerArray42, 0, false },
  { "alpha.unix.cstring",                                             0, SubPackageArray43, true },
  { "alpha.unix.cstring.BufferOverlap",                               CheckerArray44, 0, false },
  { "alpha.unix.cstring.NotNullTerminated",                           CheckerArray45, 0, false },
  { "alpha.unix.cstring.OutOfBounds",                                 CheckerArray46, 0, false },
  { "apiModeling",                                                    0, SubPackageArray47, true },
  { "apiModeling.google",                                             0, SubPackageArray48, true },
  { "apiModeling.google.GTest",                                       CheckerArray49, 0, false },
  { "core",                                                           0, SubPackageArray50, false },
  { "core.CallAndMessage",                                            CheckerArray51, 0, false },
  { "core.DivideZero",                                                CheckerArray52, 0, false },
  { "core.DynamicTypePropagation",                                    CheckerArray53, 0, false },
  { "core.NonNullParamChecker",                                       CheckerArray54, 0, false },
  { "core.NonnilStringConstants",                                     CheckerArray55, 0, false },
  { "core.NullDereference",                                           CheckerArray56, 0, false },
  { "core.StackAddressEscape",                                        CheckerArray57, 0, false },
  { "core.UndefinedBinaryOperatorResult",                             CheckerArray58, 0, false },
  { "core.VLASize",                                                   CheckerArray59, 0, false },
  { "core.builtin",                                                   0, SubPackageArray60, false },
  { "core.builtin.BuiltinFunctions",                                  CheckerArray61, 0, false },
  { "core.builtin.NoReturnFunctions",                                 CheckerArray62, 0, false },
  { "core.uninitialized",                                             0, SubPackageArray63, false },
  { "core.uninitialized.ArraySubscript",                              CheckerArray64, 0, false },
  { "core.uninitialized.Assign",                                      CheckerArray65, 0, false },
  { "core.uninitialized.Branch",                                      CheckerArray66, 0, false },
  { "core.uninitialized.CapturedBlockVariable",                       CheckerArray67, 0, false },
  { "core.uninitialized.UndefReturn",                                 CheckerArray68, 0, false },
  { "cplusplus",                                                      0, SubPackageArray69, false },
  { "cplusplus.NewDelete",                                            CheckerArray70, 0, false },
  { "cplusplus.NewDeleteLeaks",                                       CheckerArray71, 0, false },
  { "cplusplus.SelfAssignment",                                       CheckerArray72, 0, false },
  { "deadcode",                                                       0, SubPackageArray73, false },
  { "deadcode.DeadStores",                                            CheckerArray74, 0, false },
  { "debug",                                                          0, SubPackageArray75, false },
  { "debug.AnalysisOrder",                                            CheckerArray76, 0, false },
  { "debug.ConfigDumper",                                             CheckerArray77, 0, false },
  { "debug.DumpBugHash",                                              CheckerArray78, 0, false },
  { "debug.DumpCFG",                                                  CheckerArray79, 0, false },
  { "debug.DumpCallGraph",                                            CheckerArray80, 0, false },
  { "debug.DumpCalls",                                                CheckerArray81, 0, false },
  { "debug.DumpDominators",                                           CheckerArray82, 0, false },
  { "debug.DumpLiveVars",                                             CheckerArray83, 0, false },
  { "debug.DumpTraversal",                                            CheckerArray84, 0, false },
  { "debug.ExprInspection",                                           CheckerArray85, 0, false },
  { "debug.Stats",                                                    CheckerArray86, 0, false },
  { "debug.TaintTest",                                                CheckerArray87, 0, false },
  { "debug.ViewCFG",                                                  CheckerArray88, 0, false },
  { "debug.ViewCallGraph",                                            CheckerArray89, 0, false },
  { "debug.ViewExplodedGraph",                                        CheckerArray90, 0, false },
  { "llvm",                                                           0, SubPackageArray91, false },
  { "llvm.Conventions",                                               CheckerArray92, 0, false },
  { "nullability",                                                    0, SubPackageArray93, false },
  { "nullability.NullPassedToNonnull",                                CheckerArray94, 0, false },
  { "nullability.NullReturnedFromNonnull",                            CheckerArray95, 0, false },
  { "nullability.NullableDereferenced",                               CheckerArray96, 0, false },
  { "nullability.NullablePassedToNonnull",                            CheckerArray97, 0, false },
  { "nullability.NullableReturnedFromNonnull",                        CheckerArray98, 0, false },
  { "optin",                                                          0, SubPackageArray99, false },
  { "optin.cplusplus",                                                0, SubPackageArray100, false },
  { "optin.cplusplus.VirtualCall",                                    CheckerArray101, 0, false },
  { "optin.mpi",                                                      0, SubPackageArray102, false },
  { "optin.mpi.MPI-Checker",                                          CheckerArray103, 0, false },
  { "optin.osx",                                                      0, SubPackageArray104, false },
  { "optin.osx.cocoa",                                                0, SubPackageArray105, false },
  { "optin.osx.cocoa.localizability",                                 0, SubPackageArray106, false },
  { "optin.osx.cocoa.localizability.EmptyLocalizationContextChecker", CheckerArray107, 0, false },
  { "optin.osx.cocoa.localizability.NonLocalizedStringChecker",       CheckerArray108, 0, false },
  { "optin.performance",                                              0, SubPackageArray109, false },
  { "optin.performance.Padding",                                      CheckerArray110, 0, false },
  { "optin.portability",                                              0, SubPackageArray111, false },
  { "optin.portability.UnixAPI",                                      CheckerArray112, 0, false },
  { "osx",                                                            0, SubPackageArray113, false },
  { "osx.API",                                                        CheckerArray114, 0, false },
  { "osx.NumberObjectConversion",                                     CheckerArray115, 0, false },
  { "osx.ObjCProperty",                                               CheckerArray116, 0, false },
  { "osx.SecKeychainAPI",                                             CheckerArray117, 0, false },
  { "osx.cocoa",                                                      0, SubPackageArray118, false },
  { "osx.cocoa.AtSync",                                               CheckerArray119, 0, false },
  { "osx.cocoa.ClassRelease",                                         CheckerArray120, 0, false },
  { "osx.cocoa.Dealloc",                                              CheckerArray121, 0, false },
  { "osx.cocoa.IncompatibleMethodTypes",                              CheckerArray122, 0, false },
  { "osx.cocoa.Loops",                                                CheckerArray123, 0, false },
  { "osx.cocoa.MissingSuperCall",                                     CheckerArray124, 0, false },
  { "osx.cocoa.NSAutoreleasePool",                                    CheckerArray125, 0, false },
  { "osx.cocoa.NSError",                                              CheckerArray126, 0, false },
  { "osx.cocoa.NilArg",                                               CheckerArray127, 0, false },
  { "osx.cocoa.NonNilReturnValue",                                    CheckerArray128, 0, false },
  { "osx.cocoa.ObjCGenerics",                                         CheckerArray129, 0, false },
  { "osx.cocoa.RetainCount",                                          CheckerArray130, 0, false },
  { "osx.cocoa.SelfInit",                                             CheckerArray131, 0, false },
  { "osx.cocoa.SuperDealloc",                                         CheckerArray132, 0, false },
  { "osx.cocoa.UnusedIvars",                                          CheckerArray133, 0, false },
  { "osx.cocoa.VariadicMethodTypes",                                  CheckerArray134, 0, false },
  { "osx.coreFoundation",                                             0, SubPackageArray135, false },
  { "osx.coreFoundation.CFError",                                     CheckerArray136, 0, false },
  { "osx.coreFoundation.CFNumber",                                    CheckerArray137, 0, false },
  { "osx.coreFoundation.CFRetainRelease",                             CheckerArray138, 0, false },
  { "osx.coreFoundation.containers",                                  0, SubPackageArray139, false },
  { "osx.coreFoundation.containers.OutOfBounds",                      CheckerArray140, 0, false },
  { "osx.coreFoundation.containers.PointerSizedValues",               CheckerArray141, 0, false },
  { "security",                                                       0, SubPackageArray142, false },
  { "security.FloatLoopCounter",                                      CheckerArray143, 0, false },
  { "security.insecureAPI",                                           0, SubPackageArray144, false },
  { "security.insecureAPI.UncheckedReturn",                           CheckerArray145, 0, false },
  { "security.insecureAPI.getpw",                                     CheckerArray146, 0, false },
  { "security.insecureAPI.gets",                                      CheckerArray147, 0, false },
  { "security.insecureAPI.mkstemp",                                   CheckerArray148, 0, false },
  { "security.insecureAPI.mktemp",                                    CheckerArray149, 0, false },
  { "security.insecureAPI.rand",                                      CheckerArray150, 0, false },
  { "security.insecureAPI.strcpy",                                    CheckerArray151, 0, false },
  { "security.insecureAPI.vfork",                                     CheckerArray152, 0, false },
  { "unix",                                                           0, SubPackageArray153, false },
  { "unix.API",                                                       CheckerArray154, 0, false },
  { "unix.Malloc",                                                    CheckerArray155, 0, false },
  { "unix.MallocSizeof",                                              CheckerArray156, 0, false },
  { "unix.MismatchedDeallocator",                                     CheckerArray157, 0, false },
  { "unix.StdCLibraryFunctions",                                      CheckerArray158, 0, false },
  { "unix.Vfork",                                                     CheckerArray159, 0, false },
  { "unix.cstring",                                                   0, SubPackageArray160, true },
  { "unix.cstring.BadSizeArg",                                        CheckerArray161, 0, false },
  { "unix.cstring.NullArg",                                           CheckerArray162, 0, false },
  { "valist",                                                         0, SubPackageArray163, false },
  { "valist.CopyToSelf",                                              CheckerArray164, 0, false },
  { "valist.Uninitialized",                                           CheckerArray165, 0, false },
  { "valist.Unterminated",                                            CheckerArray166, 0, false },
#endif // GET_CHECKNAME_TABLE