From 475e36e6fc32a2e2852bbd620cf8ec95453fb51a Mon Sep 17 00:00:00 2001 From: ihsinme Date: Sun, 29 May 2022 09:58:16 +0300 Subject: [PATCH] Update BufferAccessWithIncorrectLengthValue.ql --- .../Security/CWE/CWE-805/BufferAccessWithIncorrectLengthValue.ql | 1 - 1 file changed, 1 deletion(-) diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-805/BufferAccessWithIncorrectLengthValue.ql b/cpp/ql/src/experimental/Security/CWE/CWE-805/BufferAccessWithIncorrectLengthValue.ql index 1e424d77fed..b7f60876fec 100644 --- a/cpp/ql/src/experimental/Security/CWE/CWE-805/BufferAccessWithIncorrectLengthValue.ql +++ b/cpp/ql/src/experimental/Security/CWE/CWE-805/BufferAccessWithIncorrectLengthValue.ql @@ -11,7 +11,6 @@ */ 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. */ predicate numberArgument(Function f, int bpos, int spos) {