Interface FunctionDossierOracle

Positive semantic facts required from one source-owned Hopper fixture.

interface FunctionDossierOracle {
    callee_address?: string;
    caller_address?: string;
    comment?: string;
    procedure_address: string;
    referenced_name?: string;
    referenced_string?: string;
    require_assembly?: boolean;
    require_cfg_successor?: boolean;
}

Index

Properties

callee_address? caller_address? comment? procedure_address referenced_name? referenced_string? require_assembly? require_cfg_successor?

Properties

`Optional` `Readonly`callee_address

callee_address?: string

`Optional` `Readonly`caller_address

caller_address?: string

`Optional` `Readonly`comment

comment?: string

`Readonly`procedure_address

procedure_address: string

`Optional` `Readonly`referenced_name

referenced_name?: string

`Optional` `Readonly`referenced_string

referenced_string?: string

`Optional` `Readonly`require_assembly

require_assembly?: boolean

`Optional` `Readonly`require_cfg_successor

require_cfg_successor?: boolean