module greed.function

class TAC_Function

This class represents a TAC function.

method __init__

__init__(
    id: str,
    signature: str,
    name: str,
    public: bool,
    blocks: List[Block],
    arguments: List[str]
)

Args:

• id: The id of the function
• signature: The signature of the function
• name: The name of the function
• public: Whether the function is public or not
• blocks: The list of blocks that compose the function
• arguments: The list of arguments of the function

method build_cfg

build_cfg(factory: Factory, tac_block_succ: Mapping[str, List[str]])

Building the intra-functional CFG of a target function.

Args:

• factory: The factory object
• tac_block_succ: The mapping between block ids and their successors

method build_use_def_graph

build_use_def_graph()

Building the use-def graph of a target function.

method dump_use_def_graph

dump_use_def_graph(filename)

Dump the use-def graph to a .dot file.

Args:

• filename: The name of the output file.

This file was automatically generated via lazydocs.