trailofbits/binary_type_inference

In Mooosl Test Missing Constraint for Copy RDI to Stack at 0x40

Closed this issue · 0 comments

2over12 commented

At insn 00101734 there is a MOV [RBP-56], RDI which corresponds to RSP-64 (with entry 0). No constraint is generated so we fail to bind this var to constraints for the in param