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 5632dd5 commit 7084dc1Copy full SHA for 7084dc1
cpp/ql/src/Critical/DoubleFree.ql
@@ -2,7 +2,7 @@
2
* @name Potential double free
3
* @description Freeing a resource more than once can lead to undefined behavior and cause memory corruption.
4
* @kind path-problem
5
- * @precision medium
+ * @precision high
6
* @id cpp/double-free
7
* @problem.severity warning
8
* @security-severity 9.3
cpp/ql/src/Critical/UseAfterFree.ql
* @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.
* @id cpp/use-after-free
0 commit comments