angr.engines.soot.values.arrayref¶
- class angr.engines.soot.values.arrayref.SimSootValue_ArrayBaseRef¶
Bases:
SimSootValue- __init__(heap_alloc_id, element_type, size, default_value_generator=None)¶
- id
- element_type
- size
- type
- get_default_value(state)¶
- Returns:
Default value for array elements.
- add_default_value_generator(generator)¶
Add a generator for overwriting the default value for array elements.
- Parameters:
generator (function) – Function that given the state, returns a default value for array elements, e.g. generator = lambda state: claripy.BVV(0, 32)
- classmethod from_sootvalue(soot_value, state)¶