Project summary

To enable the analysis of binary code, an analysis tool needs to be paired with a lifter which disassembles the binaries and lifts the resulting assembly into an intermediate representation suitable for further processing by the analysis tool. Such a prototypical lifter exists in the Binary Analysis Platform (BAP) but requires extensions for the ARMv8 instruction set architecture. This project aims to build on the existing infrastructure of the BAP framework and extend its scope.

As an alternative the project also investigates the partial evaluation of the ARM machine-readable specification language to automatically derive a lifter. This approach builds on the existing open-source implementation of ARM Specification Language interpreter (ASLi), a library of tools to parse and manipulate the machine-readable hardware specification.


View publications

Partner organization(s)


Project members

Lead investigator:

Associate Professor John Williams

Associate Professor
School of Electrical Engineering and Computer Science

Other investigator(s):