|
|
|
#include <vminstrs.hpp>
|
|
|
|
|
|
|
|
namespace vm::instrs {
|
|
|
|
profiler_t shr = {
|
|
|
|
"SHRD",
|
|
|
|
mnemonic_t::shr,
|
|
|
|
{{// MOV REG, [VSP]
|
|
|
|
LOAD_VALUE,
|
|
|
|
// MOV REG, [VSP+OFFSET]
|
|
|
|
[](const zydis_reg_t vip, const zydis_reg_t vsp,
|
|
|
|
const zydis_decoded_instr_t& instr) -> bool {
|
|
|
|
return instr.mnemonic == ZYDIS_MNEMONIC_MOV &&
|
|
|
|
instr.operands[0].type == ZYDIS_OPERAND_TYPE_REGISTER &&
|
|
|
|
instr.operands[1].type == ZYDIS_OPERAND_TYPE_MEMORY &&
|
|
|
|
instr.operands[1].mem.base == vsp &&
|
|
|
|
instr.operands[1].mem.disp.has_displacement;
|
|
|
|
},
|
|
|
|
// SHR REG, REG
|
|
|
|
[](const zydis_reg_t vip, const zydis_reg_t vsp,
|
|
|
|
const zydis_decoded_instr_t& instr) -> bool {
|
|
|
|
return instr.mnemonic == ZYDIS_MNEMONIC_SHR &&
|
|
|
|
instr.operands[0].type == ZYDIS_OPERAND_TYPE_REGISTER &&
|
|
|
|
instr.operands[1].type == ZYDIS_OPERAND_TYPE_REGISTER;
|
|
|
|
},
|
|
|
|
// MOV [VSP+OFFSET], REG
|
|
|
|
[](const zydis_reg_t vip, const zydis_reg_t vsp,
|
|
|
|
const zydis_decoded_instr_t& instr) -> bool {
|
|
|
|
return instr.mnemonic == ZYDIS_MNEMONIC_MOV &&
|
|
|
|
instr.operands[0].type == ZYDIS_OPERAND_TYPE_MEMORY &&
|
|
|
|
instr.operands[0].mem.base == vsp &&
|
|
|
|
instr.operands[0].mem.disp.has_displacement &&
|
|
|
|
instr.operands[1].type == ZYDIS_OPERAND_TYPE_REGISTER;
|
|
|
|
},
|
|
|
|
// PUSHFQ
|
|
|
|
[](const zydis_reg_t vip, const zydis_reg_t vsp,
|
|
|
|
const zydis_decoded_instr_t& instr) -> bool {
|
|
|
|
return instr.mnemonic == ZYDIS_MNEMONIC_PUSHFQ;
|
|
|
|
},
|
|
|
|
// POP [VSP]
|
|
|
|
[](const zydis_reg_t vip, const zydis_reg_t vsp,
|
|
|
|
const zydis_decoded_instr_t& instr) -> bool {
|
|
|
|
return instr.mnemonic == ZYDIS_MNEMONIC_POP &&
|
|
|
|
instr.operands[0].type == ZYDIS_OPERAND_TYPE_MEMORY &&
|
|
|
|
instr.operands[0].mem.base == vsp;
|
|
|
|
}}},
|
|
|
|
[](zydis_reg_t& vip, zydis_reg_t& vsp,
|
|
|
|
hndlr_trace_t& hndlr) -> std::optional<vinstr_t> {
|
|
|
|
vinstr_t res{mnemonic_t::shr};
|
|
|
|
res.imm.has_imm = false;
|
|
|
|
|
|
|
|
const auto shr_reg = std::find_if(
|
|
|
|
hndlr.m_instrs.begin(), hndlr.m_instrs.end(),
|
|
|
|
[&](emu_instr_t& instr) -> bool {
|
|
|
|
const auto& i = instr.m_instr;
|
|
|
|
return i.mnemonic == ZYDIS_MNEMONIC_SHR &&
|
|
|
|
i.operands[0].type == ZYDIS_OPERAND_TYPE_REGISTER &&
|
|
|
|
i.operands[1].type == ZYDIS_OPERAND_TYPE_REGISTER;
|
|
|
|
});
|
|
|
|
|
|
|
|
res.stack_size = shr_reg->m_instr.operands[0].size;
|
|
|
|
return res;
|
|
|
|
}};
|
|
|
|
}
|