We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f57b1d3 commit fb3140aCopy full SHA for fb3140a
cpp/ql/src/Critical/DoubleFreeBad.cpp
@@ -7,5 +7,6 @@ int* f() {
7
free(buff); // BAD: If new_buffer is assigned the same address as buff,
8
// the memory allocator will free the new buffer memory region,
9
// leading to use-after-free problems and memory corruption.
10
+
11
return new_buffer;
12
}
0 commit comments