qtil
advanced-security/qtil-javascript 0.0.3
Search

Module Cached

Import path

import semmle.javascript.dataflow.internal.FunctionWrapperSteps

Predicates

functionForwardingStep

Holds if the function in succ forwards all its arguments to a call to pred and returns its result. This can thus be seen as a step pred -> succ used for tracking function values through “wrapper functions”, since the succ function partially replicates behavior of pred.

functionOneWayForwardingStep

Holds if the function in succ forwards all its arguments to a call to pred. This can thus be seen as a step pred -> succ used for tracking function values through “wrapper functions”, since the succ function partially replicates behavior of pred.