qtil
advanced-security/qtil-javascript 0.0.3
Search

Member predicate FunctionWithAnalyzedParameters::argumentPassing

Holds if p is a parameter of this function and arg is the corresponding argument.

predicate argumentPassing(Parameter p, Expr arg)