Changes in malloc-overflow.c

1ea58437 - A significant number of our tests in C accidentally use functions

Sun, 13 Feb 2022 13:02:46 +0000

A significant number of our tests in C accidentally use functionswithout prototypes. This patch converts the function signatures to havea prototype for the situations where the test is not specific to K&R Cdeclarations. e.g., void func();becomes void func(void);This is the ninth batch of tests being updated (there are asignificant number of other tests left to be updated). List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

68088563 - [analyzer] MallocOverflow should consider comparisons only preceding malloc

Fri, 27 Aug 2021 12:41:26 +0000

[analyzer] MallocOverflow should consider comparisons only preceding mallocMallocOverflow works in two phases:1) Collects suspicious malloc calls, whose argument is a multiplication2) Filters the aggregated list of suspicious malloc calls by iterating over the BasicBlocks of the CFG looking for comparison binary operators over the variable constituting in any suspicious malloc.Consequently, it suppressed true-positive cases when the comparisoncheck was after the malloc call.In this patch the checker will consider the relative position of therelation check to the malloc call.E.g.:```lang=C++void *check_after_malloc(int n, int x) { int *p = NULL; if (x == 42) p = malloc(n * sizeof(int)); // Previously **no** warning, now it // warns about this. // The check is after the allocation! if (n > 10) { // Do something conditionally. } return p;}```Reviewed By: martongDifferential Revision: https://reviews.llvm.org/D107804 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

184c6242 - Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Fri, 03 Mar 2017 18:02:02 +0000

Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296895 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

09d66f75 - Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Thu, 02 Mar 2017 23:30:53 +0000

Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit ea36f1406e1f36bf456c3f3929839b024128e468.llvm-svn: 296841 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

feaf9ff5 - Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Thu, 02 Mar 2017 23:05:45 +0000

Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296837 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

4a90bf8c - Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Thu, 02 Mar 2017 22:58:06 +0000

Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit f93343c099fff646a2314cc7f4925833708298b1.llvm-svn: 296836 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

1cb0256a - Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Thu, 02 Mar 2017 22:45:24 +0000

Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296835 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

00355a51 - Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Tue, 28 Feb 2017 01:50:23 +0000

Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit 1b28d0b10e1c8feccb971abb6ef7a18bee589830.llvm-svn: 296422 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

59cd8933 - Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Tue, 28 Feb 2017 00:02:36 +0000

Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296414 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

8589e10c - Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Mon, 27 Feb 2017 03:29:25 +0000

Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit 8e7780b9e59ddaad1800baf533058d2c064d4787.llvm-svn: 296317 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

02064a30 - [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Mon, 27 Feb 2017 02:36:15 +0000

[analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296312 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

683dfd31 - [analyzer] Discard malloc-overflow bug-report when a known size is malloc'ed.

Wed, 23 Sep 2015 23:27:55 +0000

[analyzer] Discard malloc-overflow bug-report when a known size is malloc'ed.This patch ignores malloc-overflow bug in two cases:Case1:x = a/b; where n < bmalloc (x*n); Then x*n will not overflow.Case2:x = a; // when 'a' is a known value.malloc (x*n);Also replaced isa with dyn_cast.Reject multiplication by zero cases in MallocOverflowSecurityCheckerCurrently MallocOverflowSecurityChecker does not catch cases like:malloc(n * 0 * sizeof(int));This patch rejects such cases.Two test cases added. malloc-overflow2.c has an example inspired from a codein linux kernel where the current checker flags a warning while it should not.A patch by Aditya Kumar!Differential Revision: http://reviews.llvm.org/D9924llvm-svn: 248446 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

722398f1 - Fix analyzer tests.

Fri, 24 Aug 2012 20:39:55 +0000

Fix analyzer tests.llvm-svn: 162588 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

b9875a98 - [analyzer] Remove target triple from the malloc overflow test.

Tue, 27 Sep 2011 20:41:53 +0000

[analyzer] Remove target triple from the malloc overflow test.llvm-svn: 140635 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

3f955e6d - [analyzer] rename all experimental checker packages to have 'experimental' be the common root package.

Wed, 03 Aug 2011 23:14:55 +0000

[analyzer] rename all experimental checker packages to have 'experimental' be the common root package.llvm-svn: 136835 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c

1c2fb270 - [analyzer] Introduce MallocOverflowSecurityChecker, a simple flow-sensitive checker that may be useful for security auditing. This checker is currently too noisy to be on by default.

Wed, 03 Aug 2011 20:17:43 +0000

[analyzer] Introduce MallocOverflowSecurityChecker, a simple flow-sensitive checker that may be useful for security auditing. This checker is currently too noisy to be on by default.llvm-svn: 136804 List of files: /llvm-project-15.0.7/clang/test/Analysis/malloc-overflow.c