angr.engines.soot.expressions¶

class angr.engines.soot.expressions.SimSootExpr_ArrayRef: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_Binop

Bases: SimSootExpr

binop_str_to_function = {'add': <built-in function add>, 'and': <built-in function and_>, 'cmp': <built-in function ne>, 'cmpl': <built-in function lt>, 'div': <built-in function truediv>, 'mul': <built-in function mul>, 'or': <built-in function or_>, 'rem': <built-in function imod>, 'shl': <built-in function lshift>, 'shr': <built-in function rshift>, 'sub': <built-in function sub>, 'xor': <built-in function xor>}¶

class angr.engines.soot.expressions.SimSootExpr_Cast: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_ClassConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_Condition

Bases: SimSootExpr

condition_str_to_function = {'eq': <built-in function eq>, 'ge': <function op.<locals>._op>, 'gt': <function op.<locals>._op>, 'le': <function op.<locals>._op>, 'lt': <function op.<locals>._op>, 'ne': <built-in function ne>}¶

class angr.engines.soot.expressions.SimSootExpr_DoubleConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_FloatConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_InstanceFieldRef: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_InstanceOf: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_IntConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_InterfaceInvoke: Bases: SimSootExpr_VirtualInvoke

class angr.engines.soot.expressions.SimSootExpr_Length: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_Local: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_LongConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_New: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_NewArray

Bases: SimSootExpr

static new_array(state, element_type, size): Allocates a new array in memory and returns the reference to the base.

class angr.engines.soot.expressions.SimSootExpr_NewMultiArray

Bases: SimSootExpr

static new_array(state, element_type, size, default_value_generator=None): Allocates a new multi array in memory and returns the reference to the base.

class angr.engines.soot.expressions.SimSootExpr_NullConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_ParamRef: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_Phi: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_SpecialInvoke

Bases: InvokeBase

Special invocations are used either for invoking instance methods of a superclass or a constructor. Compared to virtual invokes, the class containing the method is passed explicitly in the invoke expression (@expr.class_name) rather than determined dynamically by the type of the base objects.

class angr.engines.soot.expressions.SimSootExpr_StaticFieldRef: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_StaticInvoke: Bases: InvokeBase

class angr.engines.soot.expressions.SimSootExpr_StringConstant: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_ThisRef: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_Unsupported: Bases: SimSootExpr

class angr.engines.soot.expressions.SimSootExpr_VirtualInvoke

Bases: InvokeBase

Instance methods are dynamically resolved by the actual type of the base object (i.e. the object on which the method is invoked) and not by the type of the variable storing the reference.

angr.engines.soot.expressions.translate_expr(expr, state)¶

Submodules

`arrayref`
`base`
`binop`
`cast`
`condition`
`constants`
`instanceOf`
`instancefieldref`
`invoke`
`length`
`local`
`new`
`newArray`
`newMultiArray`
`paramref`
`phi`
`staticfieldref`
`thisref`
`unsupported`