We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c6c487d commit a6104adCopy full SHA for a6104ad
1 file changed
cpp/ql/test/query-tests/Critical/MemoryFreed/test_free.cpp
@@ -126,10 +126,10 @@ void test_ptr_deref(void ** a) {
126
free(*a);
127
*a = malloc(10);
128
free(*a); // GOOD
129
- free(*a); // BAD [NOT DETECTED]
+ free(*a); // BAD
130
131
free(a[0]); // GOOD
132
- free(a[1]); // GOOD
+ free(a[1]); // GOOD [FALSE POSITIVE]
133
}
134
135
struct list {
0 commit comments