module greed.TAC.flow_ops

class TAC_Jump

This class represents a JUMP TAC statement.

method handle

handle(state: SymbolicEVMState)

class TAC_Jumpi

method handle

handle(state: SymbolicEVMState)

class TAC_BaseCall

This class represents super class for all CALL TAC statements.

method set_likeyl_known_target_func

set_likeyl_known_target_func(target_function)

class TAC_Call

method handle

handle(state: SymbolicEVMState)

method set_likeyl_known_target_func

set_likeyl_known_target_func(target_function)

class TAC_Callcode

method handle

handle(state: SymbolicEVMState)

method set_likeyl_known_target_func

set_likeyl_known_target_func(target_function)

class TAC_Delegatecall

method handle

handle(state: SymbolicEVMState)

method set_likeyl_known_target_func

set_likeyl_known_target_func(target_function)

class TAC_Staticcall

method handle

handle(state: SymbolicEVMState)

method set_likeyl_known_target_func

set_likeyl_known_target_func(target_function)

This file was automatically generated via lazydocs.