AVTA Transition: Toolchain for Binary Decompilation and Alignment

Project: Research project

Project Details

Description

The AVTA Project has led to several innovations and tools that have improved the accuracy of binary decompilation [S&P'21,DSN'21], t,he ability to correlate transformed programs [OOPSLA'19,CAV'21], and techniques for verifying temporal properties of decompiled bina,ries [APLAS'19]. Despite these innovations in several aspects of the problem, the state-of-the-art lacks the ability to integrate th,ese three distinct areas all together.We now propose a transition plan, wherein these innovations are brought together, with some mo,dest extensions, to form a unified toolchain for analyzing transformed binaries. In particular, we propose three specific research,Tasks: (Task 1) Improving the accuracy of binary lifting, (Task 2) Automatically aligning transformed binaries, and (Task 3) Reducin,g the complexity of decompiled IR. The main outcomes of this project will be a single toolchain capable of taking input binaries, ac,curately decompiling them, and then automatically correlating the binaries to discover syntactic and semantic differences/similariti,es, as well as scientific results and publications covering solutions to the challenges in each task. The proposed work will lead to, tools that can analyze transformed binaries and detect and isolate what changes have been made, allowing users, e.g. within DoD, to, increase their confidence in the safety and security of those programs.

StatusActive
Effective start/end date1/09/22 → …

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.