angr.analyses.typehoon.translator

class angr.analyses.typehoon.translator.SimTypeTempRef

Bases: SimType

Represents a temporary reference to another type. TypeVariableReference is translated to SimTypeTempRef.

c_repr(name=None, full=0, memo=None, indent=0, name_parens=True)
Return type:

str

Parameters:

  • indent (int | None)

  • name_parens (bool)

class angr.analyses.typehoon.translator.TypeTranslator

Bases: object

Translate type constants to SimType and SimType to type constants.

__init__(arch)
Parameters:

arch (Arch)

arch: Arch
translated: dict[TypeConstant, SimType]
translated_simtypes: dict[SimType, TypeConstant]
structs
memo
named_struct_id_counter
struct_name_to_idx
struct_name()
tc2simtype(tc)
simtype2tc(simtype)
Return type:

TypeConstant

Parameters:

simtype (SimType)

lift(simtype)
Return type:

TypeConstant

Parameters:

simtype (SimType)

concretize(tc)
backpatch(st, translated)
Parameters:
Returns: