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 8972176 commit 159f11cCopy full SHA for 159f11c
cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
@@ -1,6 +1,12 @@
1
/**
2
- * @id cpp/constant-size-array-off-by-one
+ * @name Constant array overflow
3
+ * @description Dereferencing a pointer that points past a statically-sized array is undefined behavior
4
+ * and may lead to security vulnerabilities
5
* @kind path-problem
6
+ * @problem.severity error
7
+ * @id cpp/constant-array-overflow
8
+ * @tags reliability
9
+ * security
10
*/
11
12
import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysis
0 commit comments