module greed.factory

class Factory

This class is used as a constructor of different objects:
- SimulationManager - SimState - Block - TAC_Statement - TAC_Function

method __init__

__init__(project: 'Project')

method block

block(block_id: str) → Block

method entry_state

entry_state(
    xid: str,
    init_ctx: dict = None,
    options: dict = None,
    max_calldatasize: int = None,
    partial_concrete_storage: bool = False
) → SymbolicEVMState

method function

function(function_id: str) → TAC_Function

method simgr

simgr(entry_state: SymbolicEVMState) → SimulationManager

method statement

statement(stmt_id: str) → TAC_Statement

This file was automatically generated via lazydocs.