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

Merge pull request #13815 from MathiasVP/add-missing-result-test

Browse Source 
C++: Add `cpp/invalid-pointer-deref` false negative
This commit is contained in:
Mathias Vorreiter Pedersen
2023-07-25 13:12:44 +02:00
committed by GitHub
parent 60c7c84018 cd4ec6c996
commit 1f39ec3188
1 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp
View File

@@ -700,4 +700,17 @@ void test34(unsigned size) {
if (p + 1 < end) {
int val = *p; // GOOD
}
}
}
void deref(char* q) {
char x = *q; // $ MISSING: deref=L712->L706 deref=L713->L706
}
void test35(unsigned long size, char* q)
{
char* p = new char[size];
char* end = p + size; // $ alloc=L711
if(q <= end) {
deref(q);
}
}