hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Additional test cases.

Browse Source
This commit is contained in:
Geoffrey White
2019-03-04 12:37:43 +00:00
parent edba24129d
commit f0085ed25a
2 changed files with 36 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/query-tests/Critical/NewFree/NewFreeMismatch.expected
View File

@@ -12,3 +12,5 @@
| test.cpp:235:2:235:5 | call to free | There is a new/free mismatch between this free and the corresponding $@. | test.cpp:227:7:227:13 | new | new |
| test.cpp:239:2:239:5 | call to free | There is a new/free mismatch between this free and the corresponding $@. | test.cpp:228:7:228:17 | new[] | new[] |
| test.cpp:272:3:272:6 | call to free | There is a new/free mismatch between this free and the corresponding $@. | test.cpp:265:7:265:13 | new | new |
| test.cpp:367:3:367:10 | delete | There is a malloc/delete mismatch between this delete and the corresponding $@. | test.cpp:359:14:359:19 | call to malloc | malloc |
| test.cpp:370:3:370:6 | call to free | There is a new/free mismatch between this free and the corresponding $@. | test.cpp:356:7:356:15 | new | new |

34
cpp/ql/test/query-tests/Critical/NewFree/test.cpp
View File

@@ -337,3 +337,37 @@ public:
char *data;
};
// ---
int *z;
void test12(bool cond)
{
int *x, *y;
x = new int();
delete x; // GOOD
x = (int *)malloc(sizeof(int));
free(x); // GOOD
if (cond)
{
y = new int();
z = new int();
} else {
y = (int *)malloc(sizeof(int));
z = (int *)malloc(sizeof(int));
}
// ...
if (cond)
{
delete y; // GOOD [FALSE POSITIVE]
delete z; // GOOD
} else {
free(y); // GOOD [FALSE POSITIVE]
free(z); // GOOD
}
}