From c1960c6ff91141bbc47e6791a0f63af25c40d480 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 11 Apr 2023 15:28:24 +0100 Subject: [PATCH] C++: Add double-free change note. --- cpp/ql/src/change-notes/2023-04-11-double-free.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 cpp/ql/src/change-notes/2023-04-11-double-free.md diff --git a/cpp/ql/src/change-notes/2023-04-11-double-free.md b/cpp/ql/src/change-notes/2023-04-11-double-free.md new file mode 100644 index 00000000000..cc04177fe2d --- /dev/null +++ b/cpp/ql/src/change-notes/2023-04-11-double-free.md @@ -0,0 +1,4 @@ +--- +category: newQuery +--- +* A new query `cpp/double-free` has been added. The query finds possible cases of deallocating the same pointer twice. The precision of the query has been set to "medium". \ No newline at end of file