[HN Gopher] Verifiably Correct Lifting of Position-Independent x...
       ___________________________________________________________________
        
       Verifiably Correct Lifting of Position-Independent x86-64 Binaries
       (2024)
        
       Author : etiams
       Score  : 23 points
       Date   : 2025-06-25 12:41 UTC (3 days ago)
        
 (HTM) web link (dl.acm.org)
 (TXT) w3m dump (dl.acm.org)
        
       | yjftsjthsd-h wrote:
       | So it's a disassembler that preserves formally proven properties?
        
         | charcircuit wrote:
         | 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 wrote:
       | Where is the source code?
        
         | snackbroken wrote:
         | https://doi.org/10.5281/zenodo.12721325 Edit: alternatively,
         | https://github.com/ssrg-vt/FoxDec
        
       | newAccount2025 wrote:
       | Real computer science is so cool.
        
       ___________________________________________________________________
       (page generated 2025-06-28 23:01 UTC)