Cover Image

Fast, Fine-Grained Equivalence Checking for Neural Decompilers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dramko, Luke, Goues, Claire Le, Schwartz, Edward J.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
by: Dramko, Luke, et al.
Published: (2025)

Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
by: Yang, Aidan Z. H., et al.
Published: (2024)

Decaf: Improving Neural Decompilation with Automatic Feedback and Search
by: Shypula, Alexander, et al.
Published: (2026)

Automatic, Expressive, and Scalable Fuzzing with Stitching
by: Green, Harrison, et al.
Published: (2026)

STRIDE: Simple Type Recognition In Decompiled Executables
by: Green, Harrison, et al.
Published: (2024)

VulCatch: Enhancing Binary Vulnerability Detection through CodeT5 Decompilation and KAN Advanced Feature Extraction
by: Chukkol, Abdulrahman Hamman Adama, et al.
Published: (2024)

D-LiFT: Improving LLM-based Decompiler Backend via Code Quality-driven Fine-tuning
by: Zou, Muqi, et al.
Published: (2025)

FidelityGPT: Correcting Decompilation Distortions with Retrieval Augmented Generation
by: Zhou, Zhiping, et al.
Published: (2025)

UniASM: Binary Code Similarity Detection without Fine-tuning
by: Gu, Yeming, et al.
Published: (2022)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

On Training a Neural Network to Explain Binaries
by: Interrante-Grant, Alexander, et al.
Published: (2024)

CodableLLM: Automating Decompiled and Source Code Mapping for LLM Dataset Generation
by: Manuel, Dylan, et al.
Published: (2025)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

Automatic Data Labeling for Software Vulnerability Prediction Models: How Far Are We?
by: Le, Triet H. M., et al.
Published: (2024)

Mitigating Data Imbalance for Software Vulnerability Assessment: Does Data Augmentation Help?
by: Le, Triet H. M., et al.
Published: (2024)

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage
by: Liu, Chang, et al.
Published: (2026)

SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
by: Dai, Han, et al.
Published: (2026)

Are Latent Vulnerabilities Hidden Gems for Software Vulnerability Prediction? An Empirical Study
by: Le, Triet H. M., et al.
Published: (2024)

MVD: A Multi-Lingual Software Vulnerability Detection Framework
by: Zhang, Boyu, et al.
Published: (2024)

Automated Code-centric Software Vulnerability Assessment: How Far Are We? An Empirical Study in C/C++
by: Nguyen, Anh The, et al.
Published: (2024)

Software Vulnerability Prediction in Low-Resource Languages: An Empirical Study of CodeBERT and ChatGPT
by: Le, Triet H. M., et al.
Published: (2024)

Inferring Properties of Graph Neural Networks
by: Nguyen, Dat, et al.
Published: (2024)

Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE
by: Steenhoek, Benjamin, et al.
Published: (2024)

To Err is Machine: Vulnerability Detection Challenges LLM Reasoning
by: Steenhoek, Benjamin, et al.
Published: (2024)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
by: Qin, Kaihua, et al.
Published: (2026)

Towards Causal Deep Learning for Vulnerability Detection
by: Rahman, Md Mahbubur, et al.
Published: (2023)

Security and Quality in LLM-Generated Code: A Multi-Language, Multi-Model Analysis
by: Kharma, Mohammed, et al.
Published: (2025)

RESCUE: Retrieval Augmented Secure Code Generation
by: Shi, Jiahao, et al.
Published: (2025)

THEMIS: Towards Practical Intellectual Property Protection for Post-Deployment On-Device Deep Learning Models
by: Huang, Yujin, et al.
Published: (2025)

Enhancing Cloud Security through Topic Modelling
by: Saleh, Sabbir M., et al.
Published: (2025)

Repairing vulnerabilities without invisible hands. A differentiated replication study on LLMs
by: Camporese, Maria, et al.
Published: (2025)

SeBERTis: A Framework for Producing Classifiers of Security-Related Issue Reports
by: Masoumzadeh, Sogol, et al.
Published: (2025)

How Safe Are AI-Generated Patches? A Large-scale Study on Security Risks in LLM and Agentic Automated Program Repair on SWE-bench
by: Sajadi, Amirali, et al.
Published: (2025)

Alleviating Attack Data Scarcity: SCANIA's Experience Towards Enhancing In-Vehicle Cyber Security Measures
by: Sundfeldt, Frida, et al.
Published: (2025)

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't
by: Camporese, Maria, et al.
Published: (2025)

Expanding ML-Documentation Standards For Better Security
by: Appel, Cara Ellen
Published: (2025)

XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants
by: Štorek, Adam, et al.
Published: (2025)

From Trace to Line: LLM Agent for Real-World OSS Vulnerability Localization
by: Xi, Haoran, et al.
Published: (2025)

From Lab to Reality: A Practical Evaluation of Deep Learning Models and LLMs for Vulnerability Detection
by: Lu, Chaomeng, et al.
Published: (2025)

From Coverage to Causes: Data-Centric Fuzzing for JavaScript Engines
by: Ganguly, Kishan Kumar, et al.
Published: (2025)