Dataflow: Add bindingset

This commit is contained in:
Anders Schack-Mulligen
2023-09-25 08:55:09 +02:00
parent 6316f61af9
commit aa2c7a79d6

View File

@@ -228,6 +228,7 @@ signature module InputSig {
*/
default int getAdditionalFlowIntoCallNodeTerm(ArgumentNode arg, ParameterNode p) { none() }
bindingset[call, p, arg]
default predicate golangSpecificParamArgFilter(
DataFlowCall call, ParameterNode p, ArgumentNode arg
) {