Merge pull request #2646 from geoffw0/modelinet

CPP: Fix a mistake in Inet.qll.
This commit is contained in:
Jonas Jensen
2020-01-17 22:53:43 +01:00
committed by GitHub

View File

@@ -47,7 +47,7 @@ class InetNetwork extends TaintFunction, ArrayFunction {
InetNetwork() { hasGlobalName("inet_network") }
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
input.isParameterDeref(1) and
input.isParameterDeref(0) and
output.isReturnValue()
}