Instruction.backward_df()
Returns a list of all previous instructions/arguments/variables of the current point in the data flow graph.
Last updated
Returns a list of all previous instructions/arguments/variables of the current point in the data flow graph.
Last updated
backward_df() →
[
]
The backward_df()
function is an intra-procedural analysis function. This means that the function does not operate recursively and instead returns instruction/argument/variable
within the current function instruction set.
The function returns the derived classes from , such as , , , etc.
For the same contract, this query showcases that the return list elements are type-casted from Point: