SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications | IEEE Conference Publication | IEEE Xplore