Home | History | Annotate | Download | only in analyzer

Lines Matching full:alpha

5   <title>Alpha Checks</title>
20 <h1>Alpha Checkers</h1>
27 <li><a href="#core_alpha_checkers">Core Alpha Checkers</a></li>
28 <li><a href="#cplusplus_alpha_checkers">C++ Alpha Checkers</a></li>
29 <li><a href="#deadcode_alpha_checkers">Dead Code Alpha Checkers</a></li>
30 <li><a href="#osx_alpha_checkers">OS X Alpha Checkers</a></li>
31 <li><a href="#security_alpha_checkers">Security Alpha Checkers</a></li>
32 <li><a href="#unix_alpha_checkers">Unix Alpha Checkers</a></li>
35 <!------------------------------ core alpha ----------------------------------->
36 <h3 id="core_alpha_checkers">Core Alpha Checkers</h3>
43 alpha.core.BoolAssignment</span><span class="lang">
55 alpha.core.CastSize</span><span class="lang">
59 or <span class="name">alpha.unix.MallocWithAnnotations</span>
70 alpha.core.CastToStruct</span><span class="lang">
93 alpha.core.FixedAddr</span><span class="lang">
106 alpha.core.IdenticalExpr</span><span class="lang">
137 alpha.core.PointerArithm</span><span class="lang">
152 alpha.core.PointerSub</span><span class="lang">
166 alpha.core.SizeofPtr</span><span class="lang">
182 <!--------------------------- cplusplus alpha --------------------------------->
183 <h3 id="cplusplus_alpha_checkers">C++ Alpha Checkers</h3>
190 alpha.cplusplus.NewDeleteLeaks</span><span class="lang">
203 alpha.cplusplus.VirtualCall</span><span class="lang">
229 <!--------------------------- dead code alpha --------------------------------->
230 <h3 id="deadcode_alpha_checkers">Dead Code Alpha Checkers</h3>
237 alpha.deadcode.UnreachableCode</span><span class="lang">
270 <!---------------------------- OS X alpha -------------------------------------->
271 <h3 id="osx_alpha_checkers">OS X Alpha Checkers</h3>
278 alpha.osx.cocoa.Dealloc</span><span class="lang">
338 alpha.osx.cocoa.DirectIvarAssignment</span><span class="lang">
358 alpha.osx.cocoa.DirectIvarAssignmentForAnnotatedFunctions</span><span class="lang">
383 alpha.osx.cocoa.InstanceVariableInvalidation</span><span class="lang">
411 alpha.osx.cocoa.MissingInvalidationMethod</span><span class="lang">
436 <!------------------------- security alpha ------------------------------------>
437 <h3 id="security_alpha_checkers">Security Alpha Checkers</h3>
444 alpha.security.ArrayBound</span><span class="lang">
469 // alpha.unix.MallocWithAnnotations checks enabled.
485 alpha.security.ArrayBoundV2</span><span class="lang">
512 // note: requires alpha.security.taint check turned on.
522 alpha.security.MallocOverflow</span><span class="lang">
534 alpha.security.ReturnPtrRange</span><span class="lang">
555 alpha.security.taint.TaintPropagation</span><span class="lang">
587 <!--------------------------- unix alpha -------------------------------------->
588 <h3 id="unix_alpha_checkers">Unix Alpha Checkers</h3>
595 alpha.unix.Chroot</span><span class="lang">
610 alpha.unix.MallocWithAnnotations</span><span class="lang">
655 alpha.unix.PthreadLock</span><span class="lang">
709 alpha.unix.SimpleStream</span><span class="lang">
737 alpha.unix.Stream</span><span class="lang">
794 alpha.unix.cstring.BufferOverlap</span><span class="lang">
809 alpha.unix.cstring.NotNullTerminated</span><span class="lang">
828 alpha.unix.cstring.OutOfBounds</span><span class="lang">