reven2.preview.prototypes.prototype.Prototype

class documentation

class Prototype(object):

Information about a function prototype and its calling convention. Can be used to read arguments and return value at given points in the trace.

Method	`__init__`	No summary
Method	`call_site_values`	Get helper to acces arguments and return value on a `call` transition.
Method	`read_args`	Read arguments at given context.
Method	`read_ret`	Read ret value at given context.
Property	`calling_convention`	No summary
Property	`function`	No summary
Method	`_try_deref_or_read_value`	Undocumented
Instance Variable	`_callconv`	Undocumented
Instance Variable	`_function`	Undocumented

def __init__(self, function_signature, calling_convention):

Parameters
function_signature:`Function`	function from a parsed C or C++ source.
calling_convention:`_CallConvHelper`	the calling convention to use to resolve arguments and return value.

def call_site_values(self, call_tr):

Get helper to acces arguments and return value on a `call` transition.

Parameters
call_tr:`Transition`	`call` transition `reven2.trace.Transition`
Returns
`CallSiteValues`	`CallSiteValues` helper

def read_args(self, call_ctx):

Read arguments at given context.

Parameters
call_ctx:`Context`	context `reven2.trace.Context` after the call
Returns
`_Iterator[ResolvedArgumentValue]`	iterator of `ResolvedArgumentValue`

def read_ret(self, ret_ctx):

Read ret value at given context.

Parameters
ret_ctx:`Context`	context `reven2.trace.Context` after the ret.
Returns
`_Optional[ResolvedRetValue]`	`ResolvedRetValue` or None.

@property
calling_convention: _CallConvHelper =

Returns
the calling convention used for argument and return value resolution.

@property
function: Function =

Returns
the parsed function information

def _try_deref_or_read_value(self, ctx, target, parsed_type):

Undocumented

_callconv =

Undocumented

_function =

Undocumented