This commit is contained in:
Benjamin Muskalla
2021-11-15 15:18:03 +01:00
parent dc022430ee
commit e6e52a3b32

View File

@@ -199,7 +199,6 @@ class ParameterToReturnValueTaintConfig extends TaintTracking::Configuration {
predicate paramFlowToReturnValueExists(Parameter p) {
exists(ParameterToReturnValueTaintConfig config, ReturnStmt rtn |
rtn.getEnclosingCallable() = p.getCallable() and
config.hasFlow(DataFlow::parameterNode(p), DataFlow::exprNode(rtn.getResult()))
)
}