Created by: nextsilicon-itay-bookstein
In x86, jcxz has an 0x67 prefix. In x64, jecxz has an 0x67 prefix. The code in instr_is_cti_short_rewrite() does not take that into account when the pc argument is not NULL. The code in instr_invert_cbr does not take that into account when verifying and inverting the cbr, using wrong offsets in that case. This fix checks for the 0x67 prefix in both unaddressed cases so that the checks against the instruction bytes pass as they should.
Issue: #4299 (closed)