angr.engines.soot.values.strref¶
- class angr.engines.soot.values.strref.SimSootValue_StringRef¶
Bases:
SimSootValue- __init__(heap_alloc_id)¶
- id
- type
- classmethod from_sootvalue(soot_value, state)¶
- static new_string(state, value)¶
Allocate and initialize a new string in the context of the state passed.
The method returns the reference to the newly allocated string
- Parameters:
state (SimState) – angr state where we want to allocate the string
value (claripy.String) – value of the string to initialize
- Returns:
SimSootValue_StringRef