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__
method parse_abi
method parse_blocks
method parse_blocks_in_loop
method parse_functions
method parse_guarded_slots
method parse_guarding_slots
method parse_induction_variable_increases_by_const
method parse_induction_variable_starts_at_const
method parse_induction_variable_upper_bounds
method parse_induction_variables
method parse_recovered_abi
method parse_statements
method stmt_sort_key
This file was automatically generated via lazydocs.