Takes the given id which is expected to either be:
a function call - in this case all arguments are considered to be inputs (additionally to all read edges from the function call in the dataflow graph)
anything else - in that case the node itself is considered as an "input" - please note that in these scenarios the return value will only contain one mapping - that for the id you passed in.
This method traces the dependencies in the dataflow graph using the specification of functions passed in.
For the scope escape analysis, pass on the full, non-reduced DFG as fullDfg, and the packages attached in the
program as packages so that bare calls only match the entries of packages that are actually in scope.
Takes the given id which is expected to either be:
This method traces the dependencies in the dataflow graph using the specification of functions passed in. For the scope escape analysis, pass on the full, non-reduced DFG as
fullDfg, and the packages attached in the program aspackagesso that bare calls only match the entries of packages that are actually in scope.