Sound Transpilation from Binary to Machine-Independent Code

Roberto Metere, Andreas Lindner, Roberto Guanciale

In order to handle the complexity and heterogeneity of mod- ern instruction set architectures, analysis platforms share a common design, the adoption of hardware-independent interm…