mythril.interfaces package

Submodules

mythril.interfaces.cli module

mythril.py: Bug hunting on the Ethereum blockchain

http://www.github.com/ConsenSys/mythril

mythril.interfaces.cli.add_analysis_args(options)

Adds arguments for analysis

Parameters:

options – Analysis Options

mythril.interfaces.cli.add_fwrg_analysis_args(options)

mythril.interfaces.cli.add_fwrg_arguments(args: Namespace)

collect the values for the global parameters defined in fdg.global_config.py.

mythril.interfaces.cli.add_graph_commands(parser: ArgumentParser)

mythril.interfaces.cli.contract_hash_to_address(args: Namespace)

prints the hash from function signature :param args: :return:

mythril.interfaces.cli.create_analyzer_parser(analyzer_parser: ArgumentParser)

Modify parser to handle analyze command :param analyzer_parser: :return:

mythril.interfaces.cli.create_concolic_parser(parser: ArgumentParser) → ArgumentParser

Get parser which handles arguments for concolic branch flipping

mythril.interfaces.cli.create_disassemble_parser(parser: ArgumentParser)

Modify parser to handle disassembly :param parser: :return:

mythril.interfaces.cli.create_foundry_parser(foundry_parser: ArgumentParser)

mythril.interfaces.cli.create_func_to_hash_parser(parser: ArgumentParser)

Modify parser to handle func_to_hash command :param parser: :return:

mythril.interfaces.cli.create_hash_to_addr_parser(hash_parser: ArgumentParser)

Modify parser to handle hash_to_addr command :param hash_parser: :return:

mythril.interfaces.cli.create_read_storage_parser(read_storage_parser: ArgumentParser)

Modify parser to handle storage slots :param read_storage_parser: :return:

mythril.interfaces.cli.create_safe_functions_parser(parser: ArgumentParser)

The duplication exists between safe-functions and analyze as some of them have different default values. :param parser: Parser

mythril.interfaces.cli.execute_command(disassembler: MythrilDisassembler, address: str, parser: ArgumentParser, args: Namespace)

Execute command :param disassembler: :param address: :param parser: :param args: :return:

mythril.interfaces.cli.exit_with_error(format_, message)

Exits with error :param format_: The format of the message :param message: message

mythril.interfaces.cli.get_creation_input_parser() → ArgumentParser

Returns Parser which handles input :return: Parser which handles input

mythril.interfaces.cli.get_output_parser() → ArgumentParser

Get parser which handles output :return: Parser which handles output

mythril.interfaces.cli.get_rpc_parser() → ArgumentParser

Get parser which handles RPC flags :return: Parser which handles rpc inputs

mythril.interfaces.cli.get_runtime_input_parser() → ArgumentParser

Returns Parser which handles input :return: Parser which handles input

mythril.interfaces.cli.get_safe_functions_parser() → ArgumentParser

Returns Parser which handles checking for safe functions :return: Parser which handles checking for safe functions

mythril.interfaces.cli.get_utilities_parser() → ArgumentParser

Get parser which handles utilities flags :return: Parser which handles utility flags

mythril.interfaces.cli.load_code(disassembler: MythrilDisassembler, args: Namespace)

Loads code into disassembly and returns address :param disassembler: :param args: :return: Address

mythril.interfaces.cli.main() → None

The main CLI interface entry point.

mythril.interfaces.cli.parse_args_and_execute(parser: ArgumentParser, args: Namespace) → None

Parses the arguments :param parser: The parser :param args: The args

mythril.interfaces.cli.parse_list_of_lists(value)

mythril.interfaces.cli.print_function_report(myth_disassembler: MythrilDisassembler, report: Report)

Prints the function report :param report: Mythril’s report :return:

mythril.interfaces.cli.set_config(args: Namespace)

Set config based on args :param args: :return: modified config

mythril.interfaces.cli.validate_args(args: Namespace)

Validate cli args :param args: :return:

mythril.interfaces.epic module

Don’t ask.

class mythril.interfaces.epic.LolCat(mode=256, output=<_io.TextIOWrapper name='<stdout>' mode='w' encoding='utf-8'>)

Bases: object

Cats lel.

ansi(rgb)

Parameters:

rgb

Returns:

cat(fd, options)

Parameters:

• fd

• options

println(s, options)

Parameters:

• s

• options

println_ani(s, options)

Parameters:

• s

• options

Returns:

println_plain(s, options)

Parameters:

• s

• options

rainbow(freq, i)

Parameters:

• freq

• i

Returns:

wrap(*codes)

Parameters:

codes

Returns:

mythril.interfaces.epic.detect_mode(term_hint='xterm-256color')

Poor-mans color mode detection.

mythril.interfaces.epic.reset()

mythril.interfaces.epic.run()

Main entry point.

Module contents