Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024) June 25, 2025 by kamal Comments