Skip to content(if available)orjump to list(if available)

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

5 comments

·June 25, 2025
Visit

newAccount2025

Real computer science is so cool.

yjftsjthsd-h

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

charcircuit

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_policy

Where is the source code?

snackbroken

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