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

C++: Fix test annotations.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-13 10:47:17 +01:00
parent c76dbebd9b
commit 416f8d5ac9
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/test/query-tests/Critical/MemoryFreed/test_free.cpp
View File

@@ -88,7 +88,7 @@ void test_new1() {
void test_dereference1(A *a) {
a->f(); // GOOD
free(a);
a->f(); // BAD
a->f(); // BAD [NOT DETECTED]
}
void* use_after_free(void *a) {
@@ -225,5 +225,5 @@ void MmFreePagesFromMdl(void*);
void ExFreePool(void*);
void test_ms_free(void * memory_descriptor_list) {
MmFreePagesFromMdl(memory_descriptor_list); //GOOD
ExFreePool(memory_descriptor_list); // GOOD
ExFreePool(memory_descriptor_list); // GOOD [FALSE POSITIVE for cpp/use-after-free]
}