From dba46bd324d002d1a2878d53892f2435a19bfa72 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 17 Apr 2023 07:38:30 +0100 Subject: [PATCH] Update cpp/ql/src/Critical/DoubleFree.ql Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com> --- cpp/ql/src/Critical/DoubleFree.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/src/Critical/DoubleFree.ql b/cpp/ql/src/Critical/DoubleFree.ql index fea64beaf22..734e32ea75f 100644 --- a/cpp/ql/src/Critical/DoubleFree.ql +++ b/cpp/ql/src/Critical/DoubleFree.ql @@ -1,6 +1,6 @@ /** * @name Potential double free - * @description An allocated memory block is free multiple times. Behavior in such cases is undefined and can cause memory corruption. + * @description Freeing a resource more than once can lead to undefined behavior and cause memory corruption. * @kind path-problem * @precision medium * @id cpp/double-free