Filter for only loads that modify pc

lifting-bits / remill

Library for lifting machine code to LLVM bitcode

Apache License 2.0

1.22k stars 141 forks source link

Filter for only loads that modify pc #584

Closed 2over12 closed 2 years ago

2over12 commented 2 years ago

This adds filtering to prevent invalidating next_pc for stores that store the value of pc. Not sure if there are any implications im missing with these cases

pgoodman commented 2 years ago

This was merged, but were any semantics affected, or were they previously assuming no write-able operand?