search

trailofbits / binary_type_inference

GNU General Public License v3.0
11 stars 0 forks source link

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

Closed 2over12 closed 2 years ago

2over12 commented 2 years ago

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