[Docs] Add standardized header links to analyzer doc

[Nathan-Huckleberry]

Summary

Header links should have some standard form so clang tidy
docs can easily reference them. The form is as follows.

Start with the analyzer full name including packages.
Replace all periods with dashes and lowercase everything.

Ex: core.CallAndMessage -> core-callandmessage

[Nathan-Huckleberry]

• Fixed periods in sentences being dashes

[Nathan-Huckleberry]

• Fix file periods being converted to dashes

[Nathan-Huckleberry]

• Fix .m and i..

[lebedev.ri]

I like this!

[Szelethus]

Woohoo!

[aaron.ballman]

LGTM! Do you need someone to commit on your behalf?

cfe/trunk/docs/analyzer/checkers.rst

 .. _core-checkers:
 
 core
 ^^^^
 Models core language features and contains general-purpose checkers such as division by zero,
 null pointer dereference, usage of uninitialized values, etc.
 *These checkers must be always switched on as other checker rely on them.*
 
+.. _core-CallAndMessage:
+
 core.CallAndMessage (C, C++, ObjC)
 """"""""""""""""""""""""""""""""""
  Check for logical errors for function calls and Objective-C message expressions (e.g., uninitialized arguments, null function pointers).
 
 .. literalinclude:: checkers/callandmessage_example.c
     :language: objc
 
+.. _core-DivideZero:
+
 core.DivideZero (C, C++, ObjC)
 """"""""""""""""""""""""""""""
  Check for division by zero.
 
 .. literalinclude:: checkers/dividezero_example.c
     :language: c
 
+.. _core-NonNullParamChecker:
+
 core.NonNullParamChecker (C, C++, ObjC)
 """""""""""""""""""""""""""""""""""""""
 Check for null pointers passed as arguments to a function whose arguments are references or marked with the 'nonnull' attribute.
 
 .. code-block:: cpp
 
  int f(int *p) __attribute__((nonnull));
 
  void test(int *p) {
    if (!p)
      f(p); // warn
  }
 
+.. _core-NullDereference:
+
 core.NullDereference (C, C++, ObjC)
 """""""""""""""""""""""""""""""""""
 Check for dereferences of null pointers.
 
 .. code-block:: objc
 
  // C
  void test(int *p) {

  }
  @end
 
  void test() {
    MyClass *obj = 0;
    obj->x = 1; // warn
  }
 
+.. _core-StackAddressEscape:
+
 core.StackAddressEscape (C)
 """""""""""""""""""""""""""
 Check that addresses to stack memory do not escape the function.
 
 .. code-block:: c
 
  char const *p;
 
  void test() {
    char const str[] = "string";
    p = str; // warn
  }
 
  void* test() {
     return __builtin_alloca(12); // warn
  }
 
  void test() {
    static int *x;
    int y;
    x = &y; // warn
  }
 
 
+.. _core-UndefinedBinaryOperatorResult:
+
 core.UndefinedBinaryOperatorResult (C)
 """"""""""""""""""""""""""""""""""""""
 Check for undefined results of binary operators.
 
 .. code-block:: c
 
  void test() {
    int x;
    int y = x + 1; // warn: left operand is garbage
  }
 
+.. _core-VLASize:
+
 core.VLASize (C)
 """"""""""""""""
 Check for declarations of Variable Length Arrays of undefined or zero size.
 
  Check for declarations of VLA of undefined or zero size.
 
 .. code-block:: c
 
  void test() {
    int x;
    int vla1[x]; // warn: garbage as size
  }
 
  void test() {
    int x = 0;
    int vla2[x]; // warn: zero size
  }
 
+.. _core-uninitialized-ArraySubscript:
+
 core.uninitialized.ArraySubscript (C)
 """""""""""""""""""""""""""""""""""""
 Check for uninitialized values used as array subscripts.
 
 .. code-block:: c
 
  void test() {
    int i, a[10];
    int x = a[i]; // warn: array subscript is undefined
  }
 
+.. _core-uninitialized-Assign:
+
 core.uninitialized.Assign (C)
 """""""""""""""""""""""""""""
 Check for assigning uninitialized values.
 
 .. code-block:: c
 
  void test() {
    int x;
    x |= 1; // warn: left expression is uninitialized
  }
 
+.. _core-uninitialized-Branch:
+
 core.uninitialized.Branch (C)
 """""""""""""""""""""""""""""
 Check for uninitialized values used as branch conditions.
 
 .. code-block:: c
 
  void test() {
    int x;
    if (x) // warn
      return;
  }
 
+.. _core-uninitialized-CapturedBlockVariable:
+
 core.uninitialized.CapturedBlockVariable (C)
 """"""""""""""""""""""""""""""""""""""""""""
 Check for blocks that capture uninitialized values.
 
 .. code-block:: c
 
  void test() {
    int x;
    ^{ int y = x; }(); // warn
  }
 
+.. _core-uninitialized-UndefReturn:
+
 core.uninitialized.UndefReturn (C)
 """"""""""""""""""""""""""""""""""
 Check for uninitialized values being returned to the caller.
 
 .. code-block:: c
 
  int test() {
    int x;
    return x; // warn
  }
 
 .. _cplusplus-checkers:
 
 
 cplusplus
 ^^^^^^^^^
 
 C++ Checkers.
 
+.. _cplusplus-InnerPointer:
+
 cplusplus.InnerPointer
 """"""""""""""""""""""
 Check for inner pointers of C++ containers used after re/deallocation.
 
+.. _cplusplus-NewDelete:
+
 cplusplus.NewDelete (C++)
 """""""""""""""""""""""""
 Check for double-free and use-after-free problems. Traces memory managed by new/delete.
 
 .. literalinclude:: checkers/newdelete_example.cpp
     :language: cpp
 
+.. _cplusplus-NewDeleteLeaks:
+
 cplusplus.NewDeleteLeaks (C++)
 """"""""""""""""""""""""""""""
 Check for memory leaks. Traces memory managed by new/delete.
 
 .. code-block:: cpp
 
  void test() {
    int *p = new int;
  } // warn
 
 
+.. _cplusplus-SelfAssignment:
+
 cplusplus.SelfAssignment (C++)
 """"""""""""""""""""""""""""""
 Checks C++ copy and move assignment operators for self assignment.
 
 .. _deadcode-checkers:
 
 deadcode
 ^^^^^^^^
 
 Dead Code Checkers.
 
+.. _deadcode-DeadStores:
+
 deadcode.DeadStores (C)
 """""""""""""""""""""""
 Check for values stored to variables that are never read afterwards.
 
 .. code-block:: c
 
  void test() {
    int x;
    x = 1; // warn
  }
 
 .. _nullability-checkers:
 
 nullability
 ^^^^^^^^^^^
 
 Objective C checkers that warn for null pointer passing and dereferencing errors.
 
+.. _nullability-NullPassedToNonnull:
+
 nullability.NullPassedToNonnull (ObjC)
 """"""""""""""""""""""""""""""""""""""
 Warns when a null pointer is passed to a pointer which has a _Nonnull type.
 
 .. code-block:: objc
 
  if (name != nil)
    return;
  // Warning: nil passed to a callee that requires a non-null 1st parameter
  NSString *greeting = [@"Hello " stringByAppendingString:name];
 
+.. _nullability-NullReturnedFromNonnull:
+
 nullability.NullReturnedFromNonnull (ObjC)
 """"""""""""""""""""""""""""""""""""""""""
 Warns when a null pointer is returned from a function that has _Nonnull return type.
 
 .. code-block:: objc
 
  - (nonnull id)firstChild {
    id result = nil;
    if ([_children count] > 0)
      result = _children[0];
 
    // Warning: nil returned from a method that is expected
    // to return a non-null value
    return result;
  }
 
+.. _nullability-NullableDereferenced:
+
 nullability.NullableDereferenced (ObjC)
 """""""""""""""""""""""""""""""""""""""
 Warns when a nullable pointer is dereferenced.
 
 .. code-block:: objc
 
  struct LinkedList {
    int data;
    struct LinkedList *next;
  };
 
  struct LinkedList * _Nullable getNext(struct LinkedList *l);
 
  void updateNextData(struct LinkedList *list, int newData) {
    struct LinkedList *next = getNext(list);
    // Warning: Nullable pointer is dereferenced
    next->data = 7;
  }
 
+.. _nullability-NullablePassedToNonnull:
+
 nullability.NullablePassedToNonnull (ObjC)
 """"""""""""""""""""""""""""""""""""""""""
 Warns when a nullable pointer is passed to a pointer which has a _Nonnull type.
 
 .. code-block:: objc
 
  typedef struct Dummy { int val; } Dummy;
  Dummy *_Nullable returnsNullable();
  void takesNonnull(Dummy *_Nonnull);
 
  void test() {
    Dummy *p = returnsNullable();
    takesNonnull(p); // warn
  }
 
+.. _nullability-NullableReturnedFromNonnull:
+
 nullability.NullableReturnedFromNonnull (ObjC)
 """"""""""""""""""""""""""""""""""""""""""""""
 Warns when a nullable pointer is returned from a function that has _Nonnull return type.
 
 .. _optin-checkers:
 
 optin
 ^^^^^
 
 Checkers for portability, performance or coding style specific rules.
 
+.. _optin-cplusplus-UninitializedObject:
+
 optin.cplusplus.UninitializedObject (C++)
 """""""""""""""""""""""""""""""""""""""""
 
 This checker reports uninitialized fields in objects created after a constructor
 call. It doesn't only find direct uninitialized fields, but rather makes a deep
 inspection of the object, analyzing all of it's fields subfields.
 The checker regards inherited fields as direct fields, so one will recieve
 warnings for uninitialized inherited data members as well.

 * ``CheckPointeeInitialization`` (boolean). If set to false, the checker will
   not analyze the pointee of pointer/reference fields, and will only check
   whether the object itself is initialized. *Defaults to false*.
 
 * ``IgnoreRecordsWithField`` (string). If supplied, the checker will not analyze
   structures that have a field with a name or type name that matches  the given
   pattern. *Defaults to ""*.
 
+.. _optin-cplusplus-VirtualCall:
+
 optin.cplusplus.VirtualCall (C++)
 """""""""""""""""""""""""""""""""
 Check virtual function calls during construction or destruction.
 
 .. code-block:: cpp
 
  class A {
  public:
    A() {
      f(); // warn
    }
    virtual void f();
  };
 
  class A {
  public:
    ~A() {
      this->f(); // warn
    }
    virtual void f();
  };
 
+.. _optin-mpi-MPI-Checker:
+
 optin.mpi.MPI-Checker (C)
 """""""""""""""""""""""""
 Checks MPI code.
 
 .. code-block:: c
 
  void test() {
    double buf = 0;

 
  void missingNonBlocking() {
    int rank = 0;
    MPI_Comm_rank(MPI_COMM_WORLD, &rank);
    MPI_Request sendReq1[10][10][10];
    MPI_Wait(&sendReq1[1][7][9], MPI_STATUS_IGNORE); // warn
  }
 
+.. _optin-osx-cocoa-localizability-EmptyLocalizationContextChecker:
+
 optin.osx.cocoa.localizability.EmptyLocalizationContextChecker (ObjC)
 """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
 Check that NSLocalizedString macros include a comment for context.
 
 .. code-block:: objc
 
  - (void)test {
    NSString *string = NSLocalizedString(@"LocalizedString", nil); // warn
    NSString *string2 = NSLocalizedString(@"LocalizedString", @" "); // warn
    NSString *string3 = NSLocalizedStringWithDefaultValue(
      @"LocalizedString", nil, [[NSBundle alloc] init], nil,@""); // warn
  }
 
+.. _optin-osx-cocoa-localizability-NonLocalizedStringChecker:
+
 optin.osx.cocoa.localizability.NonLocalizedStringChecker (ObjC)
 """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
 Warns about uses of non-localized NSStrings passed to UI methods expecting localized NSStrings.
 
 .. code-block:: objc
 
  NSString *alarmText =
    NSLocalizedString(@"Enabled", @"Indicates alarm is turned on");
  if (!isEnabled) {
    alarmText = @"Disabled";
  }
  UILabel *alarmStateLabel = [[UILabel alloc] init];
 
  // Warning: User-facing text should use localized string macro
  [alarmStateLabel setText:alarmText];
 
+.. _optin-performance-GCDAntipattern:
+
 optin.performance.GCDAntipattern
 """"""""""""""""""""""""""""""""
 Check for performance anti-patterns when using Grand Central Dispatch.
 
+.. _optin-performance-Padding:
+
 optin.performance.Padding
 """""""""""""""""""""""""
 Check for excessively padded structs.
 
+.. _optin-portability-UnixAPI:
+
 optin.portability.UnixAPI
 """""""""""""""""""""""""
 Finds implementation-defined behavior in UNIX/Posix functions.
 
 
 .. _security-checkers:
 
 security
 ^^^^^^^^
 
 Security related checkers.
 
+.. _security-FloatLoopCounter:
+
 security.FloatLoopCounter (C)
 """""""""""""""""""""""""""""
 Warn on using a floating point value as a loop counter (CERT: FLP30-C, FLP30-CPP).
 
 .. code-block:: c
 
  void test() {
    for (float x = 0.1f; x <= 1.0f; x += 0.1f) {} // warn
  }
 
+.. _security-insecureAPI-UncheckedReturn:
+
 security.insecureAPI.UncheckedReturn (C)
 """"""""""""""""""""""""""""""""""""""""
 Warn on uses of functions whose return values must be always checked.
 
 .. code-block:: c
 
  void test() {
    setuid(1); // warn
  }
 
+.. _security-insecureAPI-bcmp:
+
 security.insecureAPI.bcmp (C)
 """""""""""""""""""""""""""""
 Warn on uses of the 'bcmp' function.
 
 .. code-block:: c
 
  void test() {
    bcmp(ptr0, ptr1, n); // warn
  }
 
+.. _security-insecureAPI-bcopy:
+
 security.insecureAPI.bcopy (C)
 """"""""""""""""""""""""""""""
 Warn on uses of the 'bcopy' function.
 
 .. code-block:: c
 
  void test() {
    bcopy(src, dst, n); // warn
  }
 
+.. _security-insecureAPI-bzero:
+
 security.insecureAPI.bzero (C)
 """"""""""""""""""""""""""""""
 Warn on uses of the 'bzero' function.
 
 .. code-block:: c
 
  void test() {
    bzero(ptr, n); // warn
  }
 
+.. _security-insecureAPI-getpw:
+
 security.insecureAPI.getpw (C)
 """"""""""""""""""""""""""""""
 Warn on uses of the 'getpw' function.
 
 .. code-block:: c
 
  void test() {
    char buff[1024];
    getpw(2, buff); // warn
  }
 
+.. _security-insecureAPI-gets:
+
 security.insecureAPI.gets (C)
 """""""""""""""""""""""""""""
 Warn on uses of the 'gets' function.
 
 .. code-block:: c
 
  void test() {
    char buff[1024];
    gets(buff); // warn
  }
 
+.. _security-insecureAPI-mkstemp:
+
 security.insecureAPI.mkstemp (C)
 """"""""""""""""""""""""""""""""
 Warn when 'mkstemp' is passed fewer than 6 X's in the format string.
 
 .. code-block:: c
 
  void test() {
    mkstemp("XX"); // warn
  }
 
+.. _security-insecureAPI-mktemp:
+
 security.insecureAPI.mktemp (C)
 """""""""""""""""""""""""""""""
 Warn on uses of the ``mktemp`` function.
 
 .. code-block:: c
 
  void test() {
    char *x = mktemp("/tmp/zxcv"); // warn: insecure, use mkstemp
  }
 
+.. _security-insecureAPI-rand:
+
 security.insecureAPI.rand (C)
 """""""""""""""""""""""""""""
 Warn on uses of inferior random number generating functions (only if arc4random function is available):
 ``drand48, erand48, jrand48, lcong48, lrand48, mrand48, nrand48, random, rand_r``.
 
 .. code-block:: c
 
  void test() {
    random(); // warn
  }
 
+.. _security-insecureAPI-strcpy:
+
 security.insecureAPI.strcpy (C)
 """""""""""""""""""""""""""""""
 Warn on uses of the ``strcpy`` and ``strcat`` functions.
 
 .. code-block:: c
 
  void test() {
    char x[4];
    char *y = "abcd";
 
    strcpy(x, y); // warn
  }
 
 
+.. _security-insecureAPI-vfork:
+
 security.insecureAPI.vfork (C)
 """"""""""""""""""""""""""""""
  Warn on uses of the 'vfork' function.
 
 .. code-block:: c
 
  void test() {
    vfork(); // warn
  }
 
+.. _security-insecureAPI-DeprecatedOrUnsafeBufferHandling:
+
 security.insecureAPI.DeprecatedOrUnsafeBufferHandling (C)
 """""""""""""""""""""""""""""""""""""""""""""""""""""""""
  Warn on occurrences of unsafe or deprecated buffer handling functions, which now have a secure variant: ``sprintf, vsprintf, scanf, wscanf, fscanf, fwscanf, vscanf, vwscanf, vfscanf, vfwscanf, sscanf, swscanf, vsscanf, vswscanf, swprintf, snprintf, vswprintf, vsnprintf, memcpy, memmove, strncpy, strncat, memset``
 
 .. code-block:: c
 
  void test() {
    char buf [5];
    strncpy(buf, "a", 1); // warn
  }
 
 .. _unix-checkers:
 
 unix
 ^^^^
 POSIX/Unix checkers.
 
+.. _unix-API:
+
 unix.API (C)
 """"""""""""
 Check calls to various UNIX/Posix functions: ``open, pthread_once, calloc, malloc, realloc, alloca``.
 
 .. literalinclude:: checkers/unix_api_example.c
     :language: c
 
+.. _unix-Malloc:
+
 unix.Malloc (C)
 """""""""""""""
 Check for memory leaks, double free, and use-after-free problems. Traces memory managed by malloc()/free().
 
 .. literalinclude:: checkers/unix_malloc_example.c
     :language: c
 
+.. _unix-MallocSizeof:
+
 unix.MallocSizeof (C)
 """""""""""""""""""""
 Check for dubious ``malloc`` arguments involving ``sizeof``.
 
 .. code-block:: c
 
  void test() {
    long *p = malloc(sizeof(short));
      // warn: result is converted to 'long *', which is
      // incompatible with operand type 'short'
    free(p);
  }
 
+.. _unix-MismatchedDeallocator:
+
 unix.MismatchedDeallocator (C, C++)
 """""""""""""""""""""""""""""""""""
 Check for mismatched deallocators.
 
 .. literalinclude:: checkers/mismatched_deallocator_example.cpp
     :language: c
 
+.. _unix-Vfork:
+
 unix.Vfork (C)
 """"""""""""""
 Check for proper usage of ``vfork``.
 
 .. code-block:: c
 
  int test(int x) {
    pid_t pid = vfork(); // warn
case 2:
      break;
    default:
      return 0; // warn: return is prohibited
    }
 
    while(1);
  }
 
+.. _unix-cstring-BadSizeArg:
+
 unix.cstring.BadSizeArg (C)
 """""""""""""""""""""""""""
 Check the size argument passed into C string functions for common erroneous patterns. Use ``-Wno-strncat-size`` compiler option to mute other ``strncat``-related compiler warnings.
 
 .. code-block:: c
 
  void test() {
    char dest[3];
    strncat(dest, """""""""""""""""""""""""*", sizeof(dest));
      // warn: potential buffer overflow
  }
 
+.. _unix-cstrisng-NullArg:
+
 unix.cstrisng.NullArg (C)
 """""""""""""""""""""""""
 Check for null pointers being passed as arguments to C string functions:
 ``strlen, strnlen, strcpy, strncpy, strcat, strncat, strcmp, strncmp, strcasecmp, strncasecmp``.
 
 .. code-block:: c
 
  int test() {
    return strlen(0); // warn
  }
 
 .. _osx-checkers:
 
 osx
 ^^^
 macOS checkers.
 
+.. _osx-API:
+
 osx.API (C)
 """""""""""
 Check for proper uses of various Apple APIs.
 
 .. code-block:: objc
 
  void test() {
    dispatch_once_t pred = 0;
    dispatch_once(&pred, ^(){}); // warn: dispatch_once uses local
  }
 
+.. _osx-NumberObjectConversion:
+
 osx.NumberObjectConversion (C, C++, ObjC)
 """""""""""""""""""""""""""""""""""""""""
 Check for erroneous conversions of objects representing numbers into numbers.
 
 .. code-block:: objc
 
  NSNumber *photoCount = [albumDescriptor objectForKey:@"PhotoCount"];
  // Warning: Comparing a pointer value of type 'NSNumber *'
  // to a scalar integer value
  if (photoCount > 0) {
    [self displayPhotos];
  }
 
+.. _osx-ObjCProperty:
+
 osx.ObjCProperty (ObjC)
 """""""""""""""""""""""
 Check for proper uses of Objective-C properties.
 
 .. code-block:: objc
 
  NSNumber *photoCount = [albumDescriptor objectForKey:@"PhotoCount"];
  // Warning: Comparing a pointer value of type 'NSNumber *'
  // to a scalar integer value
  if (photoCount > 0) {
    [self displayPhotos];
  }
 
 
+.. _osx-SecKeychainAPI:
+
 osx.SecKeychainAPI (C)
 """"""""""""""""""""""
 Check for proper uses of Secure Keychain APIs.
 
 .. literalinclude:: checkers/seckeychainapi_example.m
     :language: objc
 
+.. _osx-cocoa-AtSync:
+
 osx.cocoa.AtSync (ObjC)
 """""""""""""""""""""""
 Check for nil pointers used as mutexes for @synchronized.
 
 .. code-block:: objc
 
  void test(id x) {
    if (!x)
      @synchronized(x) {} // warn: nil value used as mutex
  }
 
  void test() {
    id y;
    @synchronized(y) {} // warn: uninitialized value used as mutex
  }
 
+.. _osx-cocoa-AutoreleaseWrite:
+
 osx.cocoa.AutoreleaseWrite
 """"""""""""""""""""""""""
 Warn about potentially crashing writes to autoreleasing objects from different autoreleasing pools in Objective-C.
 
+.. _osx-cocoa-ClassRelease:
+
 osx.cocoa.ClassRelease (ObjC)
 """""""""""""""""""""""""""""
 Check for sending 'retain', 'release', or 'autorelease' directly to a Class.
 
 .. code-block:: objc
 
  @interface MyClass : NSObject
  @end
 
  void test(void) {
    [MyClass release]; // warn
  }
 
+.. _osx-cocoa-Dealloc:
+
 osx.cocoa.Dealloc (ObjC)
 """"""""""""""""""""""""
 Warn about Objective-C classes that lack a correct implementation of -dealloc
 
 .. literalinclude:: checkers/dealloc_example.m
     :language: objc
 
+.. _osx-cocoa-IncompatibleMethodTypes:
+
 osx.cocoa.IncompatibleMethodTypes (ObjC)
 """"""""""""""""""""""""""""""""""""""""
 Warn about Objective-C method signatures with type incompatibilities.
 
 .. code-block:: objc
 
  @interface MyClass1 : NSObject
  - (int)foo;
  @end
 
  @implementation MyClass1
  - (int)foo { return 1; }
  @end
 
  @interface MyClass2 : MyClass1
  - (float)foo;
  @end
 
  @implementation MyClass2
  - (float)foo { return 1.0; } // warn
  @end
 
+.. _osx-cocoa-Loops:
+
 osx.cocoa.Loops
 """""""""""""""
 Improved modeling of loops using Cocoa collection types.
 
+.. _osx-cocoa-MissingSuperCall:
+
 osx.cocoa.MissingSuperCall (ObjC)
 """""""""""""""""""""""""""""""""
 Warn about Objective-C methods that lack a necessary call to super.
 
 .. code-block:: objc
 
  @interface Test : UIViewController
  @end
  @implementation test
  - (void)viewDidLoad {} // warn
  @end
 
 
+.. _osx-cocoa-NSAutoreleasePool:
+
 osx.cocoa.NSAutoreleasePool (ObjC)
 """"""""""""""""""""""""""""""""""
 Warn for suboptimal uses of NSAutoreleasePool in Objective-C GC mode.
 
 .. code-block:: objc
 
  void test() {
    NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
    [pool release]; // warn
  }
 
+.. _osx-cocoa-NSError:
+
 osx.cocoa.NSError (ObjC)
 """"""""""""""""""""""""
 Check usage of NSError parameters.
 
 .. code-block:: objc
 
  @interface A : NSObject
  - (void)foo:(NSError """""""""""""""""""""""")error;

 
  @implementation A
  - (BOOL)foo:(NSError """""""""""""""""""""""")error {
    *error = 0; // warn: potential null dereference
    return 0;
  }
  @end
 
+.. _osx-cocoa-NilArg:
+
 osx.cocoa.NilArg (ObjC)
 """""""""""""""""""""""
 Check for prohibited nil arguments to ObjC method calls.
 
  - caseInsensitiveCompare:
  - compare:
  - compare:options:
  - compare:options:range:
  - compare:options:range:locale:
  - componentsSeparatedByCharactersInSet:
  - initWithFormat:
 
 .. code-block:: objc
 
  NSComparisonResult test(NSString *s) {
    NSString *aString = nil;
    return [s caseInsensitiveCompare:aString];
      // warn: argument to 'NSString' method
      // 'caseInsensitiveCompare:' cannot be nil
  }
 
 
+.. _osx-cocoa-NonNilReturnValue:
+
 osx.cocoa.NonNilReturnValue
 """""""""""""""""""""""""""
 Models the APIs that are guaranteed to return a non-nil value.
 
+.. _osx-cocoa-ObjCGenerics:
+
 osx.cocoa.ObjCGenerics (ObjC)
 """""""""""""""""""""""""""""
 Check for type errors when using Objective-C generics.
 
 .. code-block:: objc
 
  NSMutableArray *names = [NSMutableArray array];
  NSMutableArray *birthDates = names;
 
  // Warning: Conversion from value of type 'NSDate *'
  // to incompatible type 'NSString *'
  [birthDates addObject: [NSDate date]];
 
+.. _osx-cocoa-RetainCount:
+
 osx.cocoa.RetainCount (ObjC)
 """"""""""""""""""""""""""""
 Check for leaks and improper reference count management
 
 .. code-block:: objc
 
  void test() {
    NSString *s = [[NSString alloc] init]; // warn
  }
 
  CFStringRef test(char *bytes) {
    return CFStringCreateWithCStringNoCopy(
             0, bytes, NSNEXTSTEPStringEncoding, 0); // warn
  }
 
 
+.. _osx-cocoa-RunLoopAutoreleaseLeak:
+
 osx.cocoa.RunLoopAutoreleaseLeak
 """"""""""""""""""""""""""""""""
 Check for leaked memory in autorelease pools that will never be drained.
 
+.. _osx-cocoa-SelfInit:
+
 osx.cocoa.SelfInit (ObjC)
 """""""""""""""""""""""""
 Check that 'self' is properly initialized inside an initializer method.
 
 .. code-block:: objc
 
  @interface MyObj : NSObject {
    id x;

 
  @implementation MyObj
  - (id)init {
    [super init];
    return self; // warn: returning uninitialized 'self'
  }
  @end
 
+.. _osx-cocoa-SuperDealloc:
+
 osx.cocoa.SuperDealloc (ObjC)
 """""""""""""""""""""""""""""
 Warn about improper use of '[super dealloc]' in Objective-C.
 
 .. code-block:: objc
 
  @interface SuperDeallocThenReleaseIvarClass : NSObject {
    NSObject *_ivar;
  }
  @end
 
  @implementation SuperDeallocThenReleaseIvarClass
  - (void)dealloc {
    [super dealloc];
    [_ivar release]; // warn
  }
  @end
 
+.. _osx-cocoa-UnusedIvars:
+
 osx.cocoa.UnusedIvars (ObjC)
 """"""""""""""""""""""""""""
 Warn about private ivars that are never used.
 
 .. code-block:: objc
 
  @interface MyObj : NSObject {
  @private
    id x; // warn
  }
  @end
 
  @implementation MyObj
  @end
 
+.. _osx-cocoa-VariadicMethodTypes:
+
 osx.cocoa.VariadicMethodTypes (ObjC)
 """"""""""""""""""""""""""""""""""""
 Check for passing non-Objective-C types to variadic collection
 initialization methods that expect only Objective-C types.
 
 .. code-block:: objc
 
  void test() {
    [NSSet setWithObjects:@"Foo", "Bar", nil];
      // warn: argument should be an ObjC pointer type, not 'char *'
  }
 
+.. _osx-coreFoundation-CFError:
+
 osx.coreFoundation.CFError (C)
 """"""""""""""""""""""""""""""
 Check usage of CFErrorRef* parameters
 
 .. code-block:: c
 
  void test(CFErrorRef *error) {
    // warn: function accepting CFErrorRef* should have a
    // non-void return
  }
 
  int foo(CFErrorRef *error) {
    *error = 0; // warn: potential null dereference
    return 0;
  }
 
+.. _osx-coreFoundation-CFNumber:
+
 osx.coreFoundation.CFNumber (C)
 """""""""""""""""""""""""""""""
 Check for proper uses of CFNumber APIs.
 
 .. code-block:: c
 
  CFNumberRef test(unsigned char x) {
    return CFNumberCreate(0, kCFNumberSInt16Type, &x);
     // warn: 8 bit integer is used to initialize a 16 bit integer
  }
 
+.. _osx-coreFoundation-CFRetainRelease:
+
 osx.coreFoundation.CFRetainRelease (C)
 """"""""""""""""""""""""""""""""""""""
 Check for null arguments to CFRetain/CFRelease/CFMakeCollectable.
 
 .. code-block:: c
 
  void test(CFTypeRef p) {
    if (!p)
      CFRetain(p); // warn
  }
 
  void test(int x, CFTypeRef p) {
    if (p)
      return;
 
    CFRelease(p); // warn
  }
 
+.. _osx-coreFoundation-containers-OutOfBounds:
+
 osx.coreFoundation.containers.OutOfBounds (C)
 """""""""""""""""""""""""""""""""""""""""""""
 Checks for index out-of-bounds when using 'CFArray' API.
 
 .. code-block:: c
 
  void test() {
    CFArrayRef A = CFArrayCreate(0, 0, 0, &kCFTypeArrayCallBacks);
    CFArrayGetValueAtIndex(A, 0); // warn
  }
 
+.. _osx-coreFoundation-containers-PointerSizedValues:
+
 osx.coreFoundation.containers.PointerSizedValues (C)
 """"""""""""""""""""""""""""""""""""""""""""""""""""
 Warns if 'CFArray', 'CFDictionary', 'CFSet' are created with non-pointer-size values.
 
 .. code-block:: c
 
  void test() {
    int x[] = { 1 };
    CFArrayRef A = CFArrayCreate(0, (const void """""""""""""""""""""""")x, 1,
                                 &kCFTypeArrayCallBacks); // warn
  }
 
 
 .. _alpha-checkers:
 
 Experimental Checkers
 ---------------------
 
 *These are checkers with known issues or limitations that keep them from being on by default. They are likely to have false positives. Bug reports and especially patches are welcome.*
 
 alpha.clone
 ^^^^^^^^^^^
 
+.. _alpha-clone-CloneChecker:
+
 alpha.clone.CloneChecker (C, C++, ObjC)
 """""""""""""""""""""""""""""""""""""""
 Reports similar pieces of code.
 
 .. code-block:: c
 
  void log();
 
  int max(int a, int b) { // warn
    log();
    if (a > b)
      return a;
    return b;
  }
 
  int maxClone(int x, int y) { // similar code here
    log();
    if (x > y)
      return x;
    return y;
  }
 
+.. _alpha-core-BoolAssignment:
+
 alpha.core.BoolAssignment (ObjC)
 """"""""""""""""""""""""""""""""
 Warn about assigning non-{0,1} values to boolean variables.
 
 .. code-block:: objc
 
  void test() {
    BOOL b = -1; // warn
  }
 
 alpha.core
 ^^^^^^^^^^
 
+.. _alpha-core-CallAndMessageUnInitRefArg:
+
 alpha.core.CallAndMessageUnInitRefArg (C,C++, ObjC)
 """""""""""""""""""""""""""""""""""""""""""""""""""
 Check for logical errors for function calls and Objective-C
 message expressions (e.g., uninitialized arguments, null function pointers, and pointer to undefined variables).
 
 .. code-block:: c
 
  void test(void) {
    int t;
    int &p = t;
    int &s = p;
    int &q = s;
    foo(q); // warn
  }
 
  void test(void) {
    int x;
    foo(&x); // warn
  }
 
+.. _alpha-core-CastSize:
+
 alpha.core.CastSize (C)
 """""""""""""""""""""""
 Check when casting a malloc'ed type ``T``, whether the size is a multiple of the size of ``T``.
 
 .. code-block:: c
 
  void test() {
    int *x = (int *) malloc(11); // warn
  }
 
+.. _alpha-core-CastToStruct:
+
 alpha.core.CastToStruct (C, C++)
 """"""""""""""""""""""""""""""""
 Check for cast from non-struct pointer to struct pointer.
 
 .. code-block:: cpp
 
  // C
  struct s {};
 
  void test(int *p) {
    struct s *ps = (struct s *) p; // warn
  }
 
  // C++
  class c {};
 
  void test(int *p) {
    c *pc = (c *) p; // warn
  }
 
+.. _alpha-core-Conversion:
+
 alpha.core.Conversion (C, C++, ObjC)
 """"""""""""""""""""""""""""""""""""
 Loss of sign/precision in implicit conversions.
 
 .. code-block:: c
 
  void test(unsigned U, signed S) {
    if (S > 10) {
      if (U < S) {
      }
    }
    if (S < -10) {
      if (U < S) { // warn (loss of sign)
      }
    }
  }
 
  void test() {
    long long A = 1LL << 60;
    short X = A; // warn (loss of precision)
  }
 
+.. _alpha-core-DynamicTypeChecker:
+
 alpha.core.DynamicTypeChecker (ObjC)
 """"""""""""""""""""""""""""""""""""
 Check for cases where the dynamic and the static type of an object are unrelated.
 
 
 .. code-block:: objc
 
  id date = [NSDate date];
 
  // Warning: Object has a dynamic type 'NSDate *' which is
  // incompatible with static type 'NSNumber *'"
  NSNumber *number = date;
  [number doubleValue];
 
+.. _alpha-core-FixedAddr:
+
 alpha.core.FixedAddr (C)
 """"""""""""""""""""""""
 Check for assignment of a fixed address to a pointer.
 
 .. code-block:: c
 
  void test() {
    int *p;
    p = (int *) 0x10000; // warn
  }
 
+.. _alpha-core-IdenticalExpr:
+
 alpha.core.IdenticalExpr (C, C++)
 """""""""""""""""""""""""""""""""
 Warn about unintended use of identical expressions in operators.
 
 .. code-block:: cpp
 
  // C
  void test() {
if (f()) { // warn: true and false branches are identical
      } while (f());
    } else {
      do {
        i--;
      } while (f());
    }
  }
 
+.. _alpha-core-PointerArithm:
+
 alpha.core.PointerArithm (C)
 """"""""""""""""""""""""""""
 Check for pointer arithmetic on locations other than array elements.
 
 .. code-block:: c
 
  void test() {
    int x;
    int *p;
    p = &x + 1; // warn
  }
 
+.. _alpha-core-PointerSub:
+
 alpha.core.PointerSub (C)
 """""""""""""""""""""""""
 Check for pointer subtractions on two pointers pointing to different memory chunks.
 
 .. code-block:: c
 
  void test() {
    int x, y;
    int d = &y - &x; // warn
  }
 
+.. _alpha-core-SizeofPtr:
+
 alpha.core.SizeofPtr (C)
 """"""""""""""""""""""""
 Warn about unintended use of ``sizeof()`` on pointer expressions.
 
 .. code-block:: c
 
  struct s {};
 
  int test(struct s *p) {
    return sizeof(p);
      // warn: sizeof(ptr) can produce an unexpected result
  }
 
+.. _alpha-core-StackAddressAsyncEscape:
+
 alpha.core.StackAddressAsyncEscape (C)
 """"""""""""""""""""""""""""""""""""""
 Check that addresses to stack memory do not escape the function that involves dispatch_after or dispatch_async.
 This checker is a part of ``core.StackAddressEscape``, but is temporarily disabled until some false positives are fixed.
 
 .. code-block:: c
 
  dispatch_block_t test_block_inside_block_async_leak() {
    int x = 123;
    void (^inner)(void) = ^void(void) {
      int y = x;
      ++y;
    };
    void (^outer)(void) = ^void(void) {
      int z = x;
      ++z;
      inner();
    };
    return outer; // warn: address of stack-allocated block is captured by a
                  //       returned block
  }
 
+.. _alpha-core-TestAfterDivZero:
+
 alpha.core.TestAfterDivZero (C)
 """""""""""""""""""""""""""""""
 Check for division by variable that is later compared against 0.
 Either the comparison is useless or there is division by zero.
 
 .. code-block:: c
 
  void test(int x) {
    var = 77 / x;
    if (x == 0) { } // warn
  }
 
 alpha.cplusplus
 ^^^^^^^^^^^^^^^
 
+.. _alpha-cplusplus-DeleteWithNonVirtualDtor:
+
 alpha.cplusplus.DeleteWithNonVirtualDtor (C++)
 """"""""""""""""""""""""""""""""""""""""""""""
 Reports destructions of polymorphic objects with a non-virtual destructor in their base class.
 
 .. code-block:: cpp
 
  NonVirtual *create() {
    NonVirtual *x = new NVDerived(); // note: conversion from derived to base
                                     //       happened here
    return x;
  }
 
  void sink(NonVirtual *x) {
    delete x; // warn: destruction of a polymorphic object with no virtual
              //       destructor
  }
 
+.. _alpha-cplusplus-EnumCastOutOfRange:
+
 alpha.cplusplus.EnumCastOutOfRange (C++)
 """"""""""""""""""""""""""""""""""""""""
 Check for integer to enumeration casts that could result in undefined values.
 
 .. code-block:: cpp
 
  enum TestEnum {
    A = 0
  };
 
  void foo() {
    TestEnum t = static_cast(-1);
        // warn: the value provided to the cast expression is not in
                 the valid range of values for the enum
 
+.. _alpha-cplusplus-InvalidatedIterator:
+
 alpha.cplusplus.InvalidatedIterator (C++)
 """""""""""""""""""""""""""""""""""""""""
 Check for use of invalidated iterators.
 
 .. code-block:: cpp
 
  void bad_copy_assign_operator_list1(std::list &L1,
                                      const std::list &L2) {
    auto i0 = L1.cbegin();
    L1 = L2;
    *i0; // warn: invalidated iterator accessed
  }
 
 
+.. _alpha-cplusplus-IteratorRange:
+
 alpha.cplusplus.IteratorRange (C++)
 """""""""""""""""""""""""""""""""""
 Check for iterators used outside their valid ranges.
 
 .. code-block:: cpp
 
  void simple_bad_end(const std::vector &v) {
    auto i = v.end();
    *i; // warn: iterator accessed outside of its range
  }
 
+.. _alpha-cplusplus-MismatchedIterator:
+
 alpha.cplusplus.MismatchedIterator (C++)
 """"""""""""""""""""""""""""""""""""""""
 Check for use of iterators of different containers where iterators of the same container are expected.
 
 .. code-block:: cpp
 
  void bad_insert3(std::vector &v1, std::vector &v2) {
    v2.insert(v1.cbegin(), v2.cbegin(), v2.cend()); // warn: container accessed
                                                    //       using foreign
                                                    //       iterator argument
    v1.insert(v1.cbegin(), v1.cbegin(), v2.cend()); // warn: iterators of
                                                    //       different containers
                                                    //       used where the same
                                                    //       container is
                                                    //       expected
    v1.insert(v1.cbegin(), v2.cbegin(), v1.cend()); // warn: iterators of
                                                    //       different containers
                                                    //       used where the same
                                                    //       container is
                                                    //       expected
  }
 
+.. _alpha-cplusplus-MisusedMovedObject:
+
 alpha.cplusplus.MisusedMovedObject (C++)
 """"""""""""""""""""""""""""""""""""""""
 Method calls on a moved-from object and copying a moved-from object will be reported.
 
 
 .. code-block:: cpp
 
   struct A {
    void foo() {}
  };
 
  void f() {
    A a;
    A b = std::move(a); // note: 'a' became 'moved-from' here
    a.foo();            // warn: method call on a 'moved-from' object 'a'
  }
 
 alpha.deadcode
 ^^^^^^^^^^^^^^
+.. _alpha-deadcode-UnreachableCode:
+
 alpha.deadcode.UnreachableCode (C, C++)
 """""""""""""""""""""""""""""""""""""""
 Check unreachable code.
 
 .. code-block:: cpp
 
  // C
  int test() {

  void test(id x) {
    return;
    [x retain]; // warn
  }
 
 alpha.llvm
 ^^^^^^^^^^
 
+.. _alpha-llvm-Conventions:
+
 alpha.llvm.Conventions
 """"""""""""""""""""""
 
 Check code for LLVM codebase conventions:
 
 * A StringRef should not be bound to a temporary std::string whose lifetime is shorter than the StringRef's.
 * Clang AST nodes should not have fields that can allocate memory.
 
 
 alpha.osx
 ^^^^^^^^^
 
+.. _alpha-osx-cocoa-DirectIvarAssignment:
+
 alpha.osx.cocoa.DirectIvarAssignment (ObjC)
 """""""""""""""""""""""""""""""""""""""""""
 Check for direct assignments to instance variables.
 
 
 .. code-block:: objc
 
  @interface MyClass : NSObject {}
  @property (readonly) id A;
  - (void) foo;
  @end
 
  @implementation MyClass
  - (void) foo {
    _A = 0; // warn
  }
  @end
 
+.. _alpha-osx-cocoa-DirectIvarAssignmentForAnnotatedFunctions:
+
 alpha.osx.cocoa.DirectIvarAssignmentForAnnotatedFunctions (ObjC)
 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
 Check for direct assignments to instance variables in
 the methods annotated with ``objc_no_direct_instance_variable_assignment``.
 
 .. code-block:: objc
 
  @interface MyClass : NSObject {}
  @property (readonly) id A;
  - (void) fAnnotated __attribute__((
      annotate("objc_no_direct_instance_variable_assignment")));
  - (void) fNotAnnotated;
  @end
 
  @implementation MyClass
  - (void) fAnnotated {
    _A = 0; // warn
  }
  - (void) fNotAnnotated {
    _A = 0; // no warn
  }
  @end
 
 
+.. _alpha-osx-cocoa-InstanceVariableInvalidation:
+
 alpha.osx.cocoa.InstanceVariableInvalidation (ObjC)
 """""""""""""""""""""""""""""""""""""""""""""""""""
 Check that the invalidatable instance variables are
 invalidated in the methods annotated with objc_instance_variable_invalidator.
 
 .. code-block:: objc
 
  @protocol Invalidation <NSObject>

  - (void)invalidate;
  @end
 
  @implementation SubclassInvalidationImpObj
  - (void) invalidate {}
  @end
  // warn: var needs to be invalidated or set to nil
 
+.. _alpha-osx-cocoa-MissingInvalidationMethod:
+
 alpha.osx.cocoa.MissingInvalidationMethod (ObjC)
 """"""""""""""""""""""""""""""""""""""""""""""""
 Check that the invalidation methods are present in classes that contain invalidatable instance variables.
 
 .. code-block:: objc
 
  @protocol Invalidation <NSObject>
  - (void)invalidate
    __attribute__((annotate("objc_instance_variable_invalidator")));
  @end
 
  @interface NeedInvalidation : NSObject <Invalidation>
  @end
 
  @interface MissingInvalidationMethodDecl : NSObject {
    NeedInvalidation *Var; // warn
  }
  @end
 
  @implementation MissingInvalidationMethodDecl
  @end
 
+.. _alpha-osx-cocoa-localizability-PluralMisuseChecker:
+
 alpha.osx.cocoa.localizability.PluralMisuseChecker (ObjC)
 """""""""""""""""""""""""""""""""""""""""""""""""""""""""
 Warns against using one vs. many plural pattern in code when generating localized strings.
 
 .. code-block:: objc
 
  NSString *reminderText =
    NSLocalizedString(@"None", @"Indicates no reminders");
  if (reminderCount == 1) {
    // Warning: Plural cases are not supported across all languages.
    // Use a .stringsdict file instead
    reminderText =
      NSLocalizedString(@"1 Reminder", @"Indicates single reminder");
  } else if (reminderCount >= 2) {
    // Warning: Plural cases are not supported across all languages.
    // Use a .stringsdict file instead
    reminderText =
      [NSString stringWithFormat:
        NSLocalizedString(@"%@ Reminders", @"Indicates multiple reminders"),
          reminderCount];
  }
 
 alpha.security
 ^^^^^^^^^^^^^^
+.. _alpha-security-ArrayBound:
+
 alpha.security.ArrayBound (C)
 """""""""""""""""""""""""""""
 Warn about buffer overflows (older checker).
 
 .. code-block:: c
 
  void test() {
    char *s = "";

  }
 
  void test() {
    char a[2];
    int *b = (int*)a;
    b[1] = 3; // warn
  }
 
+.. _alpha-security-ArrayBoundV2:
+
 alpha.security.ArrayBoundV2 (C)
 """""""""""""""""""""""""""""""
 Warn about buffer overflows (newer checker).
 
 .. code-block:: c
 
  void test() {
    char *s = "";

 
  // note: requires alpha.security.taint check turned on.
  void test() {
    char s[] = "abc";
    int x = getchar();
    char c = s[x]; // warn: index is tainted
  }
 
+.. _alpha-security-MallocOverflow:
+
 alpha.security.MallocOverflow (C)
 """""""""""""""""""""""""""""""""
 Check for overflows in the arguments to malloc().
 
 .. code-block:: c
 
  void test(int n) {
    void *p = malloc(n * sizeof(int)); // warn
  }
 
+.. _alpha-security-MmapWriteExec:
+
 alpha.security.MmapWriteExec (C)
 """"""""""""""""""""""""""""""""
 Warn on mmap() calls that are both writable and executable.
 
 .. code-block:: c
 
  void test(int n) {
    void *c = mmap(NULL, 32, PROT_READ | PROT_WRITE | PROT_EXEC,
                   MAP_PRIVATE | MAP_ANON, -1, 0);
    // warn: Both PROT_WRITE and PROT_EXEC flags are set. This can lead to
    //       exploitable memory regions, which could be overwritten with malicious
    //       code
  }
 
+.. _alpha-security-ReturnPtrRange:
+
 alpha.security.ReturnPtrRange (C)
 """""""""""""""""""""""""""""""""
 Check for an out-of-bound pointer being returned to callers.
 
 .. code-block:: c
 
  static int A[10];
 
  int *test() {
    int *p = A + 10;
    return p; // warn
  }
 
  int test(void) {
    int x;
    return x; // warn: undefined or garbage returned
  }
 
+.. _alpha-security-taint-TaintPropagation:
+
 alpha.security.taint.TaintPropagation (C, C++)
 """"""""""""""""""""""""""""""""""""""""""""""
 Generate taint information used by other checkers.
 A data is tainted when it comes from an unreliable source.
 
 .. code-block:: c
 
  void test() {
void test() {
    scanf("%zd", &ts); // 'ts' marked as tainted
    int *p = (int *)malloc(ts * sizeof(int));
      // warn: untrusted data as buffer size
  }
 
 alpha.unix
 ^^^^^^^^^^^
 
+.. _alpha-unix-BlockInCriticalSection:
+
 alpha.unix.BlockInCriticalSection (C)
 """""""""""""""""""""""""""""""""""""
 Check for calls to blocking functions inside a critical section.
 Applies to: ``lock, unlock, sleep, getc, fgets, read, recv, pthread_mutex_lock,``
 `` pthread_mutex_unlock, mtx_lock, mtx_timedlock, mtx_trylock, mtx_unlock, lock_guard, unique_lock``
 
 .. code-block:: c
 
  void test() {
    std::mutex m;
    m.lock();
    sleep(3); // warn: a blocking function sleep is called inside a critical
              //       section
    m.unlock();
  }
 
+.. _alpha-unix-Chroot:
+
 alpha.unix.Chroot (C)
 """""""""""""""""""""
 Check improper use of chroot.
 
 .. code-block:: c
 
  void f();
 
  void test() {
    chroot("/usr/local");
    f(); // warn: no call of chdir("/") immediately after chroot
  }
 
+.. _alpha-unix-PthreadLock:
+
 alpha.unix.PthreadLock (C)
 """"""""""""""""""""""""""
 Simple lock -> unlock checker.
 Applies to: ``pthread_mutex_lock, pthread_rwlock_rdlock, pthread_rwlock_wrlock, lck_mtx_lock, lck_rw_lock_exclusive``
 ``lck_rw_lock_shared, pthread_mutex_trylock, pthread_rwlock_tryrdlock, pthread_rwlock_tryrwlock, lck_mtx_try_lock,
 lck_rw_try_lock_exclusive, lck_rw_try_lock_shared, pthread_mutex_unlock, pthread_rwlock_unlock, lck_mtx_unlock, lck_rw_done``.
 
 
void test() {
    if (lck_mtx_try_lock(&lck1) == 0)
      return;
 
    lck_mtx_lock(&lck2);
    lck_mtx_unlock(&lck1);
      // warn: this was not the most recently acquired lock
  }
 
+.. _alpha-unix-SimpleStream:
+
 alpha.unix.SimpleStream (C)
 """""""""""""""""""""""""""
 Check for misuses of stream APIs. Check for misuses of stream APIs: ``fopen, fclose``
 (demo checker, the subject of the demo (`Slides <http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf>`_ ,
 `Video <https://youtu.be/kdxlsP5QVPw>`_) by Anna Zaks and Jordan Rose presented at the
 `2012 LLVM Developers' Meeting <http://llvm.org/devmtg/2012-11/>`_).
 
 .. code-block:: c
 
  void test() {
    FILE *F = fopen("myfile.txt", "w");
  } // warn: opened file is never closed
 
  void test() {
    FILE *F = fopen("myfile.txt", "w");
 
    if (F)
      fclose(F);
 
    fclose(F); // warn: closing a previously closed file stream
  }
 
+.. _alpha-unix-Stream:
+
 alpha.unix.Stream (C)
 """""""""""""""""""""
 Check stream handling functions: ``fopen, tmpfile, fclose, fread, fwrite, fseek, ftell, rewind, fgetpos,``
 ``fsetpos, clearerr, feof, ferror, fileno``.
 
 .. code-block:: c
 
  void test() {

 
  void test() {
    FILE *p = tmpfile();
    ftell(p); // warn: stream pointer might be NULL
    fclose(p);
  }
 
 
+.. _alpha-unix-cstring-BufferOverlap:
+
 alpha.unix.cstring.BufferOverlap (C)
 """"""""""""""""""""""""""""""""""""
 Checks for overlap in two buffer arguments. Applies to:  ``memcpy, mempcpy``.
 
 .. code-block:: c
 
  void test() {
    int a[4] = {0};
    memcpy(a + 2, a + 1, 8); // warn
  }
 
+.. _alpha-unix-cstring-NotNullTerminated:
+
 alpha.unix.cstring.NotNullTerminated (C)
 """"""""""""""""""""""""""""""""""""""""
 Check for arguments which are not null-terminated strings; applies to: ``strlen, strnlen, strcpy, strncpy, strcat, strncat``.
 
 .. code-block:: c
 
  void test() {
    int y = strlen((char *)&test); // warn
  }
 
+.. _alpha-unix-cstring-OutOfBounds:
+
 alpha.unix.cstring.OutOfBounds (C)
 """"""""""""""""""""""""""""""""""
 Check for out-of-bounds access in string functions; applies to:`` strncopy, strncat``.
 
 
 .. code-block:: c
 
  void test() {
    int y = strlen((char *)&test); // warn
  }
 
+.. _alpha-nondeterminism-PointerIteration:
+
 alpha.nondeterminism.PointerIteration (C++)
 """""""""""""""""""""""""""""""""""""""""""
 Check for non-determinism caused by iterating unordered containers of pointers.
 
 .. code-block:: c
 
  void test() {
   int a = 1, b = 2;
   std::unordered_set<int *> UnorderedPtrSet = {&a, &b};
 
   for (auto i : UnorderedPtrSet) // warn
     f(i);
  }
 
+.. _alpha-nondeterminism-PointerSorting:
+
 alpha.nondeterminism.PointerSorting (C++)
 """""""""""""""""""""""""""""""""""""""""
 Check for non-determinism caused by sorting of pointers.
 
 .. code-block:: c
 
  void test() {
   int a = 1, b = 2;

 
 
 debug
 ^^^^^
 
 Checkers used for debugging the analyzer.
 :doc:`developer-docs/DebugChecks` page contains a detailed description.
 
+.. _debug-AnalysisOrder:
+
 debug.AnalysisOrder
 """""""""""""""""""
 Print callbacks that are called during analysis in order.
 
+.. _debug-ConfigDumper:
+
 debug.ConfigDumper
 """"""""""""""""""
 Dump config table.
 
+.. _debug-DumpCFG Display:
+
 debug.DumpCFG Display
 """""""""""""""""""""
 Control-Flow Graphs.
 
+.. _debug-DumpCallGraph:
+
 debug.DumpCallGraph
 """""""""""""""""""
 Display Call Graph.
 
+.. _debug-DumpCalls:
+
 debug.DumpCalls
 """""""""""""""
 Print calls as they are traversed by the engine.
 
+.. _debug-DumpDominators:
+
 debug.DumpDominators
 """"""""""""""""""""
 Print the dominance tree for a given CFG.
 
+.. _debug-DumpLiveVars:
+
 debug.DumpLiveVars
 """"""""""""""""""
 Print results of live variable analysis.
 
+.. _debug-DumpTraversal:
+
 debug.DumpTraversal
 """""""""""""""""""
 Print branch conditions as they are traversed by the engine.
 
+.. _debug-ExprInspection:
+
 debug.ExprInspection
 """"""""""""""""""""
 Check the analyzer's understanding of expressions.
 
+.. _debug-Stats:
+
 debug.Stats
 """""""""""
 Emit warnings with analyzer statistics.
 
+.. _debug-TaintTest:
+
 debug.TaintTest
 """""""""""""""
 Mark tainted symbols as such.
 
+.. _debug-ViewCFG:
+
 debug.ViewCFG
 """""""""""""
 View Control-Flow Graphs using GraphViz.
 
+.. _debug-ViewCallGraph:
+
 debug.ViewCallGraph
 """""""""""""""""""
 View Call Graph using GraphViz.
 
+.. _debug-ViewExplodedGraph:
+
 debug.ViewExplodedGraph
 """""""""""""""""""""""
 View Exploded Graphs using GraphViz.