microprobe.target.env.Environment

class Environment[source]

Bases: microprobe.property.PropertyHolder

abstract __init__()[source]

Methods

__init__()

elf_abi(stack_size, start_symbol)

full_report()

function_call(target[, return_address_reg])

function_return([return_address_reg])

list_properties([tabs])

register_name(register)

param register

register_property(prop[, force])

param prop

set_target(target)

param target

set_threads(num_threads)

param num_threads

unregister_property(prop)

param prop

Attributes

default_wrapper

description

environment_reserved_registers

isa

name

properties

stack_direction

stack_pointer

target

threads

volatile_registers



abstract property name
abstract property description
abstract property isa
abstract property environment_reserved_registers
abstract property threads
abstract set_threads(num_threads)[source]
Parameters

num_threads –

abstract register_name(register)[source]
Parameters

register –

abstract full_report()[source]
abstract property default_wrapper
abstract property stack_pointer
abstract property stack_direction
abstract elf_abi(stack_size, start_symbol)[source]
abstract function_call(target, return_address_reg=None)[source]
abstract function_return(return_address_reg=None)[source]
abstract property volatile_registers
abstract set_target(target)[source]
Parameters

target –

abstract property target
list_properties(tabs=0)
property properties
register_property(prop, force=False)
Parameters

prop –

unregister_property(prop)
Parameters

prop –