A data flow node that occurs as the argument of a call and is passed as-is to the callable. Arguments that are wrapped in an implicit varargs array creation are not included, but the implicitly created array is. Instance arguments are also included.
A synthesized data flow node representing a closure object that tracks captured variables.
A data-flow node used to model flow summaries.
A data flow node that represents the output of a call.
A data flow node that occurs as the result of a