Creates the abstract semantics of the data frame shape inference.
The options of the semantics, i.e. whether the mapped abstract operations should be stored
Gets the mapped abstract data frame operations for an AST node (this only includes direct function calls, replacement calls, or access operations). This requires that the abstract interpretation visitor applying the semantics has been completed, or at least started.
The ID of the node to get the mapped abstract operations for
The mapped abstract data frame operations for the node, or undefined if no abstract operation was mapped for the node or storing mapped abstract operations is disabled via the options.
ProtectedgetGets the semantics applier function defined for a function call, by matching the qualified name of the called function against the defined function names.
The type of the call semantics to get the applier function for
The dataflow graph vertex of the function call
The context of the abstract interpretation analysis
The applier function of the defined semantics, or undefined if the called function is not supported
Applies the abstract semantics defined for the called access function, if the access function is supported (see CallSemantics)
Assigns the abstract value inferred for the assigned source expression to the target of the assignment
Applies the abstract semantics defined for the function call guarding a branch, if the called function is supported (see CallSemantics)
Applies the abstract semantics defined for the called function, if the called function is supported (see CallSemantics)
Applies the defined abstract semantics of logical constants (see ConstantSemantics)
Applies the defined abstract semantics of the NULL constant (see ConstantSemantics)
Applies the defined abstract semantics of numeric constants (see ConstantSemantics)
Applies the abstract semantics defined for the called replacement function, or over-approximates
the modified data frame operand of any other replacement function by the unknown abstract operation.
Applies the defined abstract semantics of string constants (see ConstantSemantics)
Applies the defined abstract semantics of symbol constants (see ConstantSemantics)
The abstract semantics of the data frame shape inference, applying the abstract semantics defined for the supported data frame functions, access operations, and replacement functions (see DataFrameSemantics).
Besides the defined semantics, all other replacement functions applied to a data frame are over-approximated by mapping the modified data frame operand to the
unknownabstract operation.The semantics store the abstract data frame operations the expressions of the analyzed program are mapped to, which can be retrieved with getAbstractOperations after the analysis was performed.