The control flow information containing the control flow graph
The data flow graph to resolve variable origins and function arguments
The abstract syntax tree to resolve node IDs to AST nodes
The flowR configuration to use for the shape inference
The abstract data frame state at the exit node of the control flow graph (see DataFrameStateDomain). The abstract data frame states for all other nodes are attached to the AST.
Infers the shape of data frames by performing abstract interpretation using the control flow graph of a program. This directly attaches the inferred data frames shapes to the AST (see AbstractInterpretationInfo).