angr.engines.vex.claripy.ccall

angr.engines.vex.claripy.ccall.calc_paritybit(p, msb=7, lsb=0)

angr.engines.vex.claripy.ccall.calc_zerobit(p)

angr.engines.vex.claripy.ccall.boolean_extend(O, a, b, size)

angr.engines.vex.claripy.ccall.op_concretize(op)

angr.engines.vex.claripy.ccall.strip_simaction(val)

exception angr.engines.vex.claripy.ccall.CCallMultivaluedException

Bases: Exception

angr.engines.vex.claripy.ccall.pc_preamble(nbits)

angr.engines.vex.claripy.ccall.pc_make_rdata(nbits, cf, pf, af, zf, sf, of, platform=None)

angr.engines.vex.claripy.ccall.pc_make_rdata_if_necessary(nbits, cf, pf, af, zf, sf, of, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_ADD(state, nbits, arg_l, arg_r, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_SUB(state, nbits, arg_l, arg_r, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_LOGIC(state, nbits, arg_l, arg_r, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_DEC(state, nbits, res, _, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_ADC(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_ADCX(state, nbits, cc_dep1, cc_dep2, cc_ndep, is_adc, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_ANDN(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_BLSI(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_BLSMSK(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_BLSR(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_SBB(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_INC(state, nbits, res, _, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_SHL(state, nbits, remaining, shifted, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_SHR(state, nbits, remaining, shifted, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_ROL(state, nbits, res, _, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_ROR(state, nbits, res, _, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_UMUL(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_UMULQ(*args, **kwargs)

angr.engines.vex.claripy.ccall.pc_actions_SMUL(state, nbits, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_SMULQ(*args, **kwargs)

angr.engines.vex.claripy.ccall.pc_calculate_rdata_all_WRK(state, cc_op, cc_dep1_formal, cc_dep2_formal, cc_ndep_formal, platform=None)

angr.engines.vex.claripy.ccall.pc_calculate_rdata_all(state, cc_op, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_calculate_condition(state, cond, cc_op, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.pc_actions_op_SUB(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_op_DEC(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_op_INC(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_op_SHR(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_op_SHL(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_op_ADD(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_op_LOGIC(arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondZ(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondNZ(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondS(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondB(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondBE(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondNBE(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondL(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondLE(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_cond_CondNLE(state, cc_expr)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondZ(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondNZ(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondB(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondBE(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondNBE(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondL(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondLE(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_actions_SUB_CondNLE(state, arg_l, arg_r, cc_ndep)

angr.engines.vex.claripy.ccall.pc_calculate_condition_simple(state, cond, cc_op, cc_dep1, cc_dep2, cc_ndep, platform=None)

A simplified version of pc_calculate_condition(). Please refer to the documentation of Simplified CCalls above.

Limitation: symbolic flags are not supported for now.

angr.engines.vex.claripy.ccall.pc_calculate_rdata_c(state, cc_op, cc_dep1, cc_dep2, cc_ndep, platform=None)

angr.engines.vex.claripy.ccall.generic_rotate_with_carry(state, left, arg, rot_amt, carry_bit_in, sz)

angr.engines.vex.claripy.ccall.amd64g_check_ldmxcsr(state, mxcsr)

angr.engines.vex.claripy.ccall.amd64g_create_mxcsr(state, sseround)

angr.engines.vex.claripy.ccall.amd64g_check_fldcw(state, fpucw)

angr.engines.vex.claripy.ccall.amd64g_create_fpucw(state, fpround)

angr.engines.vex.claripy.ccall.amd64g_calculate_RCL(state, arg, rot_amt, eflags_in, sz)

angr.engines.vex.claripy.ccall.amd64g_calculate_RCR(state, arg, rot_amt, eflags_in, sz)

angr.engines.vex.claripy.ccall.amd64g_calculate_mmx_pmaddwd(_state, xx, yy)

angr.engines.vex.claripy.ccall.amd64g_calculate_condition(state, cond, cc_op, cc_dep1, cc_dep2, cc_ndep)

angr.engines.vex.claripy.ccall.amd64g_calculate_rflags_all(state, cc_op, cc_dep1, cc_dep2, cc_ndep)

angr.engines.vex.claripy.ccall.amd64g_calculate_rflags_c(state, cc_op, cc_dep1, cc_dep2, cc_ndep)

angr.engines.vex.claripy.ccall.x86g_calculate_RCL(state, arg, rot_amt, eflags_in, sz)

angr.engines.vex.claripy.ccall.x86g_calculate_RCR(state, arg, rot_amt, eflags_in, sz)

angr.engines.vex.claripy.ccall.x86g_calculate_condition(state, cond, cc_op, cc_dep1, cc_dep2, cc_ndep)

angr.engines.vex.claripy.ccall.x86g_calculate_eflags_all(state, cc_op, cc_dep1, cc_dep2, cc_ndep)

angr.engines.vex.claripy.ccall.x86g_calculate_eflags_c(state, cc_op, cc_dep1, cc_dep2, cc_ndep)

angr.engines.vex.claripy.ccall.x86g_check_fldcw(state, fpucw)

angr.engines.vex.claripy.ccall.x86g_create_fpucw(state, fpround)

angr.engines.vex.claripy.ccall.x86g_calculate_daa_das_aaa_aas(state, flags_and_AX, opcode)

angr.engines.vex.claripy.ccall.x86g_calculate_aad_aam(state, flags_and_AX, opcode)

angr.engines.vex.claripy.ccall.get_segdescr_base(state, descriptor)

angr.engines.vex.claripy.ccall.get_segdescr_limit(state, descriptor)

angr.engines.vex.claripy.ccall.x86g_use_seg_selector(state, ldt, gdt, seg_selector, virtual_addr)

angr.engines.vex.claripy.ccall.armg_calculate_flag_n(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm_zerobit(state, x)

angr.engines.vex.claripy.ccall.armg_calculate_flag_z(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.armg_calculate_flag_c(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.armg_calculate_flag_v(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.armg_calculate_flags_nzcv(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.armg_calculate_condition(state, cond_n_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64g_calculate_flag_n(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64_zerobit(state, x)

angr.engines.vex.claripy.ccall.u64_to_u32(n)

angr.engines.vex.claripy.ccall.arm64g_32bit_truncate_operands(cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64g_calculate_flag_z(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64g_calculate_flag_c(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64g_calculate_flag_v(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64g_calculate_flags_nzcv(state, cc_op, cc_dep1, cc_dep2, cc_dep3)

angr.engines.vex.claripy.ccall.arm64g_calculate_condition(state, cond_n_op, cc_dep1, cc_dep2, cc_dep3)