hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add FP test.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-01-29 16:16:16 +00:00
parent aeae208dc3
commit 7e29141196
2 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/test/query-tests/Critical/MissingCheckScanf/IncorrectCheckScanf.expected
View File

@@ -3,3 +3,4 @@
| test.cpp:204:7:204:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:436:7:436:11 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:443:11:443:15 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |
| test.cpp:467:8:467:12 | call to scanf | The result of scanf is only checked against 0, but it can also return EOF. |

14
cpp/ql/test/query-tests/Critical/MissingCheckScanf/test.cpp
View File

@@ -458,4 +458,18 @@ void disjunct_boolean_condition(const char* modifier_data) {
return;
}
use(value); // GOOD
}
void check_for_negative_test() {
int res;
int value;
res = scanf("%d", &value); // GOOD [FALSE POSITIVE]
if(res == 0) {
return;
}
if (res < 0) {
return;
}
use(value);
}