Update DangerousUseMbtowc.ql

This commit is contained in:
ihsinme
2022-06-02 14:34:38 +03:00
committed by GitHub
parent 77e4d05ea3
commit 9d12f1be53

View File

@@ -19,7 +19,10 @@ predicate exprMayBeString(Expr exp) {
exists(StringLiteral sl | globalValueNumber(exp) = globalValueNumber(sl))
or
exists(FunctionCall fctmp |
globalValueNumber(fctmp.getAnArgument()) = globalValueNumber(exp) and
(
fctmp.getAnArgument().(VariableAccess).getTarget() = exp.(VariableAccess).getTarget() or
globalValueNumber(fctmp.getAnArgument()) = globalValueNumber(exp)
) and
fctmp.getTarget().hasGlobalOrStdName(["strlen", "strcat", "strncat", "strcpy", "sptintf"])
)
or