Home | History | Annotate | Download | only in analyzer

Lines Matching full:warn

45 Warn about assigning non-{0,1} values to boolean variables.</div></div></td>
49 BOOL b = -1; // warn
64 int *x = (int *)malloc(11); // warn
79 struct s *ps = (struct s *) p; // warn
87 c *pc = (c *) p; // warn
100 p = (int *) 0x10000; // warn
108 Warn about suspicious uses of identical expressions.</div></div></td>
114 int b = a | 4 | a; // warn: identical expr on both sides
123 if (f()) { // warn: true and false branches are identical
146 p = &amp;x + 1; // warn
160 int d = &amp;y - &amp;x; // warn
168 Warn about unintended use of <code>sizeof()</code> on pointer
176 // warn: sizeof(ptr) can produce an unexpected result
198 } // warn
212 f(); // warn
221 this-&gt;f(); // warn
246 return x; // warn
258 a++; // warn
265 [x retain]; // warn
280 Warn about Objective-C classes that lack a correct implementation
290 @implementation MyObject // warn: lacks 'dealloc'
298 @implementation MyObject // warn: does not send 'dealloc' to super
313 // warn: var was retained but wasn't released
328 // warn: var wasn't retained but was released
351 _A = 0; // warn
373 _A = 0; // warn
376 _A = 0; // no warn
406 // warn: var needs to be invalidated or set to nil
426 NeedInvalidation *Var; // warn
446 Warn about buffer overflows (older checker).</div></div></td>
451 char c = s[1]; // warn
464 p[2] = a; // warn
472 p[3] = 4; // warn
479 b[1] = 3; // warn
487 Warn about buffer overflows (newer checker).</div></div></td>
492 char c = s[1]; // warn
500 p[1] = 1; // warn
508 buf[0][-1] = 1; // warn
516 char c = s[x]; // warn: index is tainted
528 void *p = malloc(n * sizeof(int)); // warn
543 return p; // warn
549 return x; // warn: undefined or garbage returned
562 system(&x); // warn: untrusted data is passed to a system call
573 sprintf(buf, s); // warn: untrusted data as a format string
581 // warn: untrusted data as bufer size
604 f(); // warn: no call of chdir("/") immediately after chroot
621 } // warn: potential leak
630 my_free(p); // warn: attempt to free released
640 free(p); // warn: attempt to free non-owned memory
649 *p = 1; // warn: use after free
681 // warn: this lock has already been acquired
691 // warn: this was not the most recently acquired lock
703 // warn: this was not the most recently acquired lock
722 } // warn: opened file is never closed
731 fclose(F); // warn: closing a previously closed file stream
757 } // warn: opened file is never closed
762 fseek(p, 1, SEEK_SET); // warn: stream pointer might be NULL
772 // warn: third arg should be SEEK_SET, SEEK_END, or SEEK_CUR
781 fclose(p); // warn: already closed
787 ftell(p); // warn: stream pointer might be NULL
803 memcpy(a + 2, a + 1, 8); // warn
822 int y = strlen((char *)&test); // warn
839 strncpy(x, y, 5); // warn