Abstract:WebAssembly (abbreviated Wasm) has emerged as a cornerstone of web development, offering a compact binary format that allows high-performance applications to run at near-native speeds in web browsers. Despite its advantages, Wasm's binary nature presents significant challenges for developers and researchers, particularly regarding readability when debugging or analyzing web applications. Therefore, effective decompilation becomes crucial. Unfortunately, traditional decompilers often struggle with producing readable outputs. While some large language model (LLM)-based decompilers have shown good compatibility with general binary files, they still face specific challenges when dealing with Wasm. In this paper, we introduce a novel approach, WaDec, which is the first use of a fine-tuned LLM to interpret and decompile Wasm binary code into a higher-level, more comprehensible source code representation. The LLM was meticulously fine-tuned using a specialized dataset of wat-c code snippets, employing self-supervised learning techniques. This enables WaDec to effectively decompile not only complete wat functions but also finer-grained wat code snippets. Our experiments demonstrate that WaDec markedly outperforms current state-of-the-art tools, offering substantial improvements across several metrics. It achieves a code inflation rate of only 3.34%, a dramatic 97% reduction compared to the state-of-the-art's 116.94%. Unlike baselines' output that cannot be directly compiled or executed, WaDec maintains a recompilability rate of 52.11%, a re-execution rate of 43.55%, and an output consistency of 27.15%. Additionally, it significantly exceeds state-of-the-art performance in AST edit distance similarity by 185%, cyclomatic complexity by 8%, and cosine similarity by 41%, achieving an average code similarity above 50%.

Decompile Research of PowerPC Assembly Program

A refined decompiler to generate C code with high readability

A Novel Lightweight Virtual Machine Based Decompiler to Generate C / C + + Code with High Readability

Parema: an Unpacking Framework for Demystifying VM-based Android Packers.

A Neural-based Program Decompiler

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask

An Empirical Study of Smart Contract Decompilers

D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling.

A Comprehensive Study on ARM Disassembly Tools

A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms

Self-Constructed Context Decompilation with Fined-grained Alignment Enhancement

Binary Obfuscation Based Reassemble

Disassembly Method Based on Control Flow Refining

WaDec: Decompiling WebAssembly Using Large Language Model

Boosting Neural Networks to Decompile Optimized Binaries

HexT5: Unified Pre-Training for Stripped Binary Code Information Inference.

Demystifying and Assessing Code Understandability in Java Decompilation

Study of the Optimization of Control Flow in C＋＋ Decompiler

Datalog Disassembly

CP-BCS: Binary Code Summarization Guided by Control Flow Graph and Pseudo Code

IRaDT: LLVM IR as Target for Efficient Neural Decompilation