hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update test.cpp

Browse Source
This commit is contained in:
ihsinme
2023-02-19 21:42:14 +03:00
committed by GitHub
parent 49af5ec536
commit 54acbf7676
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/test/experimental/query-tests/Security/CWE/CWE-369/semmle/tests/test.cpp
View File

@@ -58,9 +58,9 @@ int badTestf3(int type, int met) {
is = getSize(type);
switch (met) {
case 1:
if (is >= 0) return 123 / is; // BAD
if (is >= 0) return 123 / is; // BAD [NOT DETECTED]
case 2:
if (0 == is) return 123 / is; // BAD
if (0 == is) return 123 / is; // BAD [NOT DETECTED]
case 3:
if (!is & 123 / is) // BAD
return 123;
@@ -82,7 +82,7 @@ int badTestf3(int type, int met) {
}
if (is != 0) return -1;
if (is == 0) type += 1;
return 123 / is; // BAD
return 123 / is; // BAD [NOT DETECTED]
}
int goodTestf3(int type, int met) {
@@ -207,7 +207,7 @@ int badTestf10(int type) {
}
int badTestf11(int type) {
int is = getSize(type);
return 123 / (is - 3); // BAD
return 123 / (is - 3); // BAD
}
int goodTestf11(int type) {
@@ -223,7 +223,7 @@ int badTestf12(FILE * f) {
int a;
int ret = -1;
a = getc(f);
if (a == 0) ret = 123 / a; // BAD
if (a == 0) ret = 123 / a; // BAD [NOT DETECTED]
return ret;
}