Argument.forward_df()

Returns a list of all instructions following the current point in the current data flow graph.

forward_df() → List[Instruction]

Example Query

from glider import *
def query():
    func = Contracts().non_interface_contracts().functions().with_arg_count(1).exec(1, 1)[0]
    instrs = []
    for ins in func.arguments().list()[0].forward_df():
        instrs.append(ins)
    return instrs

Output Example