We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c76dbeb commit 416f8d5Copy full SHA for 416f8d5
cpp/ql/test/query-tests/Critical/MemoryFreed/test_free.cpp
@@ -88,7 +88,7 @@ void test_new1() {
88
void test_dereference1(A *a) {
89
a->f(); // GOOD
90
free(a);
91
- a->f(); // BAD
+ a->f(); // BAD [NOT DETECTED]
92
}
93
94
void* use_after_free(void *a) {
@@ -225,5 +225,5 @@ void MmFreePagesFromMdl(void*);
225
void ExFreePool(void*);
226
void test_ms_free(void * memory_descriptor_list) {
227
MmFreePagesFromMdl(memory_descriptor_list); //GOOD
228
- ExFreePool(memory_descriptor_list); // GOOD
+ ExFreePool(memory_descriptor_list); // GOOD [FALSE POSITIVE for cpp/use-after-free]
229
0 commit comments