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 a8dac17 commit bd0ddecCopy full SHA for bd0ddec
cpp/ql/src/Critical/DoubleFree.ql
@@ -37,6 +37,5 @@ where
37
DoubleFree::flowPath(source, sink) and
38
isFree(source.getNode(), _, _, dealloc) and
39
isFree(sink.getNode(), e2)
40
-select sink.getNode(), source, sink,
41
- "Memory pointed to by '" + e2.toString() + "' may already have been freed by $@.", dealloc,
42
- dealloc.toString()
+select sink.getNode(), source, sink, "Memory pointed to by $@ may already have been freed by $@.",
+ e2, e2.toString(), dealloc, dealloc.toString()
0 commit comments