1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
use crate::color;
use crate::emu::Emu;
use iced_x86::Instruction;
pub fn execute(emu: &mut Emu, ins: &Instruction, instruction_sz: usize, _rep_step: bool) -> bool {
emu.show_instruction(color!("Green"), ins);
assert!(ins.op_count() == 2);
let value0 = match emu.get_operand_value(ins, 0, true) {
Some(v) => v,
None => return false,
};
let value1 = match emu.get_operand_value(ins, 1, true) {
Some(v) => v,
None => return false,
};
let sz = emu.get_operand_sz(ins, 0);
if value1 == 0 {
emu.flags_mut().f_zf = true;
if emu.cfg.verbose >= 1 {
log::trace!("/!\\ undefined behavior on BSF with src == 0");
}
} else {
emu.flags_mut().f_zf = false;
if !emu.set_operand_value(ins, 0, value1.trailing_zeros() as u64) {
return false;
}
}
// cf flag undefined behavior apple mac x86_64 problem
if emu.regs_mut().rip == 0x144ed424a {
if emu.cfg.verbose >= 1 {
log::trace!("/!\\ f_cf undefined behaviour");
}
emu.flags_mut().f_cf = false;
}
/*
if src == 0 {
emu.flags_mut().f_zf = true;
if emu.cfg.verbose >= 1 {
log::trace!("/!\\ bsf src == 0 is undefined behavior");
}
} else {
let sz = emu.get_operand_sz(&ins, 0);
let mut bitpos: u8 = 0;
let mut dest: u64 = 0;
while bitpos < sz && get_bit!(src, bitpos) == 0 {
dest += 1;
bitpos += 1;
}
if dest == 0 {
emu.flags_mut().f_zf = true;
} else {
emu.flags_mut().f_zf = false;
}
if !emu.set_operand_value(&ins, 0, dest) {
return false;
}
}*/
true
}