module greed.state_plugins.sha_resolver

class ShaSolution

method __init__

__init__(symbol_name, argOffset, argSize, inputBuffer, shaResult)

class ShaResolver

A plugin that finds solutions for the observed sha3 operations in a SimState.

method __init__

__init__(breakpoints_stmt_ids=None, breakpoints_stmt=None)

method clear_sha_frame

clear_sha_frame()

method clear_solutions

clear_solutions()

method copy

copy()

Deep copy this state plugin.

method fix_shas

fix_shas()

method get_keccak256

get_keccak256(input_buffer, sha_size)

This file was automatically generated via lazydocs.