module greed.TAC.TAC_parser

Global Variables

  • tac_opcode_to_class_map

class TAC_parser

This class parses the TAC facts generated by Gigahorse and builds the CFG.

method __init__

__init__(factory: Factory, target_dir: str)

method parse_abi

parse_abi()

method parse_blocks

parse_blocks()

method parse_blocks_in_loop

parse_blocks_in_loop()

method parse_functions

parse_functions()

method parse_guarded_slots

parse_guarded_slots(guarding_slots, sstores_for_slot)

method parse_guarding_slots

parse_guarding_slots()

method parse_induction_variable_increases_by_const

parse_induction_variable_increases_by_const()

method parse_induction_variable_starts_at_const

parse_induction_variable_starts_at_const()

method parse_induction_variable_upper_bounds

parse_induction_variable_upper_bounds()

method parse_induction_variables

parse_induction_variables()

method parse_recovered_abi

parse_recovered_abi()

method parse_statements

parse_statements()

method stmt_sort_key

stmt_sort_key(stmt_id: str)  int

This file was automatically generated via lazydocs.