Update AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.ql

This commit is contained in:
ihsinme
2021-01-26 23:52:18 +03:00
committed by GitHub
parent fc9d219057
commit 636fe73f40

View File

@@ -14,7 +14,7 @@
import cpp
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
from FunctionCall fc, AssignExpr expr, ArrayExpr exprarr
from StrlenCall fc, AssignExpr expr, ArrayExpr exprarr
where
exprarr = expr.getLValue() and
expr.getRValue().getValue().toInt() = 0 and