820 unix  section in Default Checkers
824 .. _unix-API:  argument
826 unix.API (C)  argument
835 unix.Malloc (C)  argument
844 unix.MallocSizeof (C)  argument
859 unix.MismatchedDeallocator (C, C++)  argument
868 unix.Vfork (C)  argument
900 unix.cstring.BadSizeArg (C)  argument
914 unix.cstrisng.NullArg (C)  argument
2243 alpha.unix.BlockInCriticalSection (C)
2261 alpha.unix.Chroot (C)
2276 alpha.unix.PthreadLock (C)
2316 alpha.unix.SimpleStream (C)
2340 alpha.unix.Stream (C)
2382 alpha.unix.cstring.BufferOverlap (C)
2395 alpha.unix.cstring.NotNullTerminated (C)
2407 alpha.unix.cstring.OutOfBounds (C)
2420 alpha.nondeterminism.PointerIteration (C++)
2436 alpha.nondeterminism.PointerSorting (C++)