claripy.vsa.abstract_location.AbstractLocation

class documentation

class AbstractLocation(BackendObject): (source)

View In Hierarchy

Undocumented

Method __contains__ Undocumented
Method __init__ Undocumented
Method __repr__ Undocumented
Method copy Undocumented
Method merge Undocumented
Method update Undocumented
Property basicblock_key Undocumented
Property region Undocumented
Property segments Undocumented
Property statement_id Undocumented
Method _add_segment Undocumented
Instance Variable _bbl_key Undocumented
Instance Variable _region_id Undocumented
Instance Variable _segment_list Undocumented
Instance Variable _stmt_id Undocumented

Inherited from BackendObject:

Method to_claripy Claripy calls this to retrieve something that it can directly reason about.
Class Variable __slots__ Undocumented
def __contains__(self, offset): (source)

Undocumented

def __init__(self, bbl_key, stmt_id, region_id, segment_list=None, region_offset=None, size=None): (source)

Undocumented

def __repr__(self): (source)

Undocumented

def copy(self): (source)

Undocumented

def merge(self, other): (source)

Undocumented

def update(self, region_offset, size): (source)

Undocumented

@property
basicblock_key = (source)

Undocumented

@property
region = (source)

Undocumented

@property
segments = (source)

Undocumented

@property
statement_id = (source)

Undocumented

def _add_segment(self, offset, size): (source)

Undocumented

_bbl_key = (source)

Undocumented

_region_id = (source)

Undocumented

_segment_list = (source)

Undocumented

_stmt_id = (source)

Undocumented