190

Benjamin Muskalla · Benjamin Muskalla · commit e6e52a3b3288 · 2021-11-15T15:18:03.000+01:00
diff --git a/java/ql/src/utils/model-generator/CaptureSummaryModels.ql b/java/ql/src/utils/model-generator/CaptureSummaryModels.ql
@@ -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()))
   )
 }

Original file line number	Diff line number	Diff line change
`@@ -199,7 +199,6 @@ class ParameterToReturnValueTaintConfig extends TaintTracking::Configuration {`
`199`	`199`
`200`	`200`	`predicate paramFlowToReturnValueExists(Parameter p) {`
`201`	`201`	`exists(ParameterToReturnValueTaintConfig config, ReturnStmt rtn \|`
`202`		`- rtn.getEnclosingCallable() = p.getCallable() and`
`203`	`202`	`config.hasFlow(DataFlow::parameterNode(p), DataFlow::exprNode(rtn.getResult()))`
`204`	`203`	`)`
`205`	`204`	`}`