SmartExecutor Modules

Subpackages

• fdg.control package
  • Submodules
  • fdg.control.ftn_search_strategy module
    • BFS
      • BFS.assign_states()
      • BFS.initialize()
      • BFS.termination()
    • DFS
      • DFS.assign_states()
      • DFS.initialize()
      • DFS.termination()
    • FunctionSearchStrategy
      • FunctionSearchStrategy.assign_states()
      • FunctionSearchStrategy.delete_state()
      • FunctionSearchStrategy.get_states()
      • FunctionSearchStrategy.save_states()
      • FunctionSearchStrategy.termination()
    • RandomBaseline
      • RandomBaseline.assign_states()
      • RandomBaseline.initialize()
      • RandomBaseline.termination()
    • Seq
      • Seq.assign_states()
      • Seq.initialize()
      • Seq.termination()
  • fdg.control.function_assignment module
    • FunctionAssignment
      • FunctionAssignment.assign_all_functions()
      • FunctionAssignment.assign_functions()
      • FunctionAssignment.assign_functions_for_baseline()
      • FunctionAssignment.assign_functions_timeout()
      • FunctionAssignment.assign_functions_timeout_mine()
      • FunctionAssignment.can_reach_targets()
      • FunctionAssignment.consider_dk_functions_not_reachable()
      • FunctionAssignment.fallback_case()
      • FunctionAssignment.get_targets_be_reached()
      • FunctionAssignment.record_assignment()
      • FunctionAssignment.select_functions_randomly()
      • FunctionAssignment.when_no_children_assigned()
  • fdg.control.guider module
    • Guider
      • Guider.end_iteration()
      • Guider.get_start_sequence()
      • Guider.init()
      • Guider.organize_states()
      • Guider.save_genesis_states()
      • Guider.should_terminate()
      • Guider.start_iteration()
  • fdg.control.mine module
    • Mine
      • Mine.assign_states()
      • Mine.assign_states_normal()
      • Mine.assign_states_timeout()
      • Mine.break_a_tie()
      • Mine.filter_states()
      • Mine.get_written_slots_in_depth_str()
      • Mine.initialize()
      • Mine.pickup_a_state()
      • Mine.termination()
      • Mine.update_states()
  • fdg.control.weight_computation module
    • compute()
    • compute_mine()
    • simple_mean()
    • turn_write_features_to_a_value()
    • weighted_mean()
  • Module contents
• fdg.preprocessing package
  • Submodules
  • fdg.preprocessing.address_collection module
    • collect_addresses_in_constructor()
    • collect_value_for_sender()
  • fdg.preprocessing.instruction_coverage module
    • InstructionCoverage
      • InstructionCoverage.call_at_end_of_preprocessing()
      • InstructionCoverage.collect_function_instructions()
      • InstructionCoverage.compute_coverage()
      • InstructionCoverage.print_state_info()
      • InstructionCoverage.update_coverage()
  • fdg.preprocessing.preprocess module
    • Preprocessing
      • Preprocessing.main_preprocessing_end()
      • Preprocessing.main_preprocessing_start()
    • execute_preprocessing()
    • log
  • fdg.preprocessing.read_in_conditions module
    • ReadInCondition
      • ReadInCondition.add_conditions()
      • ReadInCondition.collect_conditions()
      • ReadInCondition.extract_read_slots_in_conditions()
      • ReadInCondition.print_read_slot_info()
  • fdg.preprocessing.write_read_info module
    • Function_Write_Read_Info
      • Function_Write_Read_Info.print_write_read_info()
      • Function_Write_Read_Info.refine_read_write_slots()
      • Function_Write_Read_Info.update_sload()
      • Function_Write_Read_Info.update_sstore()
  • Module contents

Submodules

fdg.fdg_pruner module

class fdg.fdg_pruner.FDG_pruner(instructionCoveragePlugin: InstructionCoveragePlugin)

Bases: LaserPlugin

get_depth_k_functions()

get_runtime_bytecode(state: WorldState, contract_address)

initialize(symbolic_vm: LaserEVM) → None

Initializes the FDG_pruner :param symbolic_vm

class fdg.fdg_pruner.FDG_prunerBuilder

Bases: PluginBuilder

name = 'fdg-pruner'

fdg.fwrg_manager module

class fdg.fwrg_manager.AcyclicPath(start_functions: list, dk_functions: list, fwrg: FWRG)

Bases: object

organize_paths()

class fdg.fwrg_manager.FWRG(ftn_reads_in_condition: dict, ftn_writes: dict)

Bases: object

get_reads_in_conditions(ftn_name: str)

class fdg.fwrg_manager.FWRG_manager(start_functions: list, dk_functions: list, preprocess: Preprocessing)

Bases: object

generate_graph_all_reads(writes: dict, all_reads: dict)

get_children_all_reads(ftn: str)

get_children_bf_update(ftn: str) → list

get_children_fwrg(ftn: str)

get_children_fwrg_T_A(ftn: str) → list

get_parents_frwg(ftn: str) → list

class fdg.fwrg_manager.UpdateFWRG(fdg: FWRG, paths: AcyclicPath)

Bases: object

add_edge_to_graph(from_: str, to_: str)

add_edges_1()

for each deep function, add edges to connect some of its paths

for each deep function, try to find a combined path :return:

construct_fwrg_targets()

identity_dk_function_not_reachable()

print_graphs(data: dict, file_name: str)

fdg.fwrg_manager.test_1()

fdg.fwrg_manager.test_2()

fdg.function_coverage module

class fdg.function_coverage.FunctionCoverage(coveragePlugin: InstructionCoveragePlugin)

Bases: object

compute_contract_coverage(runtime_bytecode: str)

compute_coverage()

compute_deep_functions()

get a deep functions based the code coverage of each functions

Returns:

feed_function_intruction_indices(function_instruction_indices: dict)

get_contract_coverage()

get_coverage_for_a_function(ftn_name: str)

get_deep_functions() → list

Returns:

a list of numbers indicating deep functions

get_deep_functions_1st_time()

print_coverage()

print_not_covered_instructions(ftn_name: str, instruction_list: list)

set_runtime_bytecode(runtime_bytecode: str)

fdg.instruction_modification module

class fdg.instruction_modification.InstructionModification(ftn_identifier: dict)

Bases: object

change the function dispatcher at the beginning part of the instruction list

feed_instructions(state: WorldState, contract_address)

new way to group instructions. :argument

modify_no_modification(state: WorldState)

modify_on_a_state__str(state: WorldState, functions: list)

update the instructions on multiple states

modity_on_multiple_states(states: [<class 'mythril.laser.ethereum.state.world_state.WorldState'>], functions: list)

fdg.global_config module

Important parameters

Module contents