From 7084dc1a8868b654bc0d5cbbacae05c207948bba Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 3 Oct 2023 09:22:47 +0200 Subject: [PATCH] C++: Promote 'cpp/use-after-free' and 'cpp/double-free' to Code Scanning. --- cpp/ql/src/Critical/DoubleFree.ql | 2 +- cpp/ql/src/Critical/UseAfterFree.ql | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/ql/src/Critical/DoubleFree.ql b/cpp/ql/src/Critical/DoubleFree.ql index 734e32ea75f..cce1cc62849 100644 --- a/cpp/ql/src/Critical/DoubleFree.ql +++ b/cpp/ql/src/Critical/DoubleFree.ql @@ -2,7 +2,7 @@ * @name Potential double free * @description Freeing a resource more than once can lead to undefined behavior and cause memory corruption. * @kind path-problem - * @precision medium + * @precision high * @id cpp/double-free * @problem.severity warning * @security-severity 9.3 diff --git a/cpp/ql/src/Critical/UseAfterFree.ql b/cpp/ql/src/Critical/UseAfterFree.ql index 57522a0365c..51818ca5334 100644 --- a/cpp/ql/src/Critical/UseAfterFree.ql +++ b/cpp/ql/src/Critical/UseAfterFree.ql @@ -2,7 +2,7 @@ * @name Potential use after free * @description An allocated memory block is used after it has been freed. Behavior in such cases is undefined and can cause memory corruption. * @kind path-problem - * @precision medium + * @precision high * @id cpp/use-after-free * @problem.severity warning * @security-severity 9.3