Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)
27 points
3 days ago
| 3 comments
| dl.acm.org
| HN
newAccount2025
4 hours ago
[-]
Real computer science is so cool.
reply
yjftsjthsd-h
6 hours ago
[-]
So it's a disassembler that preserves formally proven properties?
reply
charcircuit
2 hours 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.

reply
nolist_policy
6 hours ago
[-]
Where is the source code?
reply
snackbroken
4 hours ago
[-]
reply