Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024) (opens in new tab)

(dl.acm.org)

34 pointsetiams9mo ago6 comments

6 comments

newAccount20259mo ago

Real computer science is so cool.

jeffrallen9mo ago

What, you don't think npm's left-pad is cutting edge? :)

yjftsjthsd-h9mo ago

So it's a disassembler that preserves formally proven properties?

charcircuit9mo ago

Usually when you disassemble a binary you can't just add instructions since it messes up the offsets of everything.

This disassembler tries to find all offsets and replace them with symbols that way if instructions are inserted or removed when it gets reassembled the correct offsets are used.

nolist_policy9mo ago

Where is the source code?

snackbroken9mo ago

https://doi.org/10.5281/zenodo.12721325 Edit: alternatively, https://github.com/ssrg-vt/FoxDec

j / k navigate · click thread line to collapse