Update BufferAccessWithIncorrectLengthValue.ql

This commit is contained in:
ihsinme
2022-05-29 09:58:16 +03:00
committed by GitHub
parent df1ea5b679
commit 475e36e6fc

View File

@@ -11,7 +11,6 @@
*/ */
import cpp import cpp
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
/** Holds for a function `f`, which has an argument at index `bpos` that points to a buffer and an argument at index `spos` that points to a size. */ /** Holds for a function `f`, which has an argument at index `bpos` that points to a buffer and an argument at index `spos` that points to a size. */
predicate numberArgument(Function f, int bpos, int spos) { predicate numberArgument(Function f, int bpos, int spos) {