C++: Change the id of the experimental double-free query to not overlap with the new non-experimental one.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-11 14:22:25 +01:00
parent a8151b4ee4
commit 17fe5f2317

View File

@@ -2,7 +2,7 @@
* @name Errors When Double Free
* @description Freeing a previously allocated resource twice can lead to various vulnerabilities in the program.
* @kind problem
* @id cpp/double-free
* @id cpp/experimental-double-free
* @problem.severity warning
* @precision medium
* @tags security