123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114 |
- // RUN: %clang_cc1 -triple x86_64-apple-macosx10.7.0 -analyze -analyzer-checker=security.experimental.MallocOverflow -verify %s
- typedef __typeof__(sizeof(int)) size_t;
- extern void * malloc(size_t);
- void * f1(int n)
- {
- return malloc(n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- }
- void * f2(int n)
- {
- return malloc(sizeof(int) * n); // // expected-warning {{the computation of the size of the memory allocation may overflow}}
- }
- void * f3()
- {
- return malloc(4 * sizeof(int)); // no-warning
- }
- struct s4
- {
- int n;
- };
- void * f4(struct s4 *s)
- {
- return malloc(s->n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- }
- void * f5(struct s4 *s)
- {
- struct s4 s2 = *s;
- return malloc(s2.n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- }
- void * f6(int n)
- {
- return malloc((n + 1) * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- }
- #include <stddef.h>
- extern void * malloc (size_t);
- void * f7(int n)
- {
- if (n > 10)
- return NULL;
- return malloc(n * sizeof(int)); // no-warning
- }
- void * f8(int n)
- {
- if (n < 10)
- return malloc(n * sizeof(int)); // no-warning
- else
- return NULL;
- }
- void * f9(int n)
- {
- int * x = malloc(n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- for (int i = 0; i < n; i++)
- x[i] = i;
- return x;
- }
- void * f10(int n)
- {
- int * x = malloc(n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- int i = 0;
- while (i < n)
- x[i++] = 0;
- return x;
- }
- void * f11(int n)
- {
- int * x = malloc(n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- int i = 0;
- do {
- x[i++] = 0;
- } while (i < n);
- return x;
- }
- void * f12(int n)
- {
- n = (n > 10 ? 10 : n);
- int * x = malloc(n * sizeof(int)); // no-warning
- for (int i = 0; i < n; i++)
- x[i] = i;
- return x;
- }
- struct s13
- {
- int n;
- };
- void * f13(struct s13 *s)
- {
- if (s->n > 10)
- return NULL;
- return malloc(s->n * sizeof(int)); // no warning
- }
- void * f14(int n)
- {
- if (n < 0)
- return NULL;
- return malloc(n * sizeof(int)); // expected-warning {{the computation of the size of the memory allocation may overflow}}
- }
|