angr.engines.vex.claripy.irop¶
This module contains symbolic implementations of VEX operations.
- angr.engines.vex.claripy.irop.op_attrs(p)¶
- angr.engines.vex.claripy.irop.make_operations()¶
- angr.engines.vex.claripy.irop.supports_vector(f)¶
- class angr.engines.vex.claripy.irop.SimIROp¶
Bases:
objectA symbolic version of a Vex IR operation.
- __init__(name, **attrs)¶
- name
- op_attrs
- calculate(*args)¶
- extend_size(o)¶
- property is_signed¶
- NO_RM = {'Abs', 'Neg'}¶
- vector_args(args)¶
Yields each of the individual lane pairs from the arguments, in order from most significan to least significant
- generic_minmax(args, cmp_op)¶
- generic_compare(args, comparison)¶
- generic_shift_thing(args, op)¶
- static pow(rm, arg, n)¶
- angr.engines.vex.claripy.irop.vexop_to_simop(op, extended=True, fp=True)¶