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)[0]
    instrs = []
    for ins in func.arguments().list()[0].forward_df():
        instrs.append(ins)
    return instrs

Output

{
    "contract": "0xd705c24267ed3c55458160104994c55c6492dfcf",
    "contract_name": "Token",
    "sol_function": "
        function balanceOf(address account) public view override returns (uint256) {
            return _balances[account];
        }
    ",
    "sol_instruction": "
        return _balances[account]
    "
}