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

Heykuki News

34 points

a year ago

6 comments

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