Several ARM instructions assign multiple registers in a single instructions, e.g., all of the LDMxx instructions. The current implementation for the introduction of register variables assumes that a single (known) register is being assigned to per instruction.
testcase: malloc_overflow_work_O2_lifting_bug_report_04_19
Several ARM instructions assign multiple registers in a single instructions, e.g., all of the LDMxx instructions. The current implementation for the introduction of register variables assumes that a single (known) register is being assigned to per instruction.
testcase: malloc_overflow_work_O2_lifting_bug_report_04_19