diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2019-08-20 17:59:23 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2019-08-20 17:59:23 +0000 |
commit | 9a83721404652cea39e9f02ae3e3b5c964602a5c (patch) | |
tree | 23e9541ce27049a103f6ed046be61592123e02c9 /test/Analysis/malloc-overflow.c | |
parent | 676fbe8105eeb6ff4bb2ed261cb212fcfdbe7b63 (diff) |
Notes
Diffstat (limited to 'test/Analysis/malloc-overflow.c')
-rw-r--r-- | test/Analysis/malloc-overflow.c | 113 |
1 files changed, 0 insertions, 113 deletions
diff --git a/test/Analysis/malloc-overflow.c b/test/Analysis/malloc-overflow.c deleted file mode 100644 index d8ad062840d58..0000000000000 --- a/test/Analysis/malloc-overflow.c +++ /dev/null @@ -1,113 +0,0 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.security.MallocOverflow -verify %s - -#define NULL ((void *) 0) -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}} -} - -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}} -} |