arrow
Return

BinBert: Binary Code Understanding With a Fine-Tunable and Execution-Aware Transformer

delete2025-01-01
delete0
delete
OA
AI
F
Fiorella Artuso *
M
Marco Mormando
G
Giuseppe Antonio Di Luna
L
Leonardo Querzoni
DOI:10.1109/TDSC.2024.3397660delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
A recent trend in binary code analysis promotes the use of neural solutions based on instruction embedding models. An instruction embedding model is a neural network that transforms assembly instructions into embedding vectors. If the embedding network is able to processes sequences of assembly instructions transforming them into a sequence of embedding vectors, then the network effectively represents an assembly code model. In this paper we present BinBert, a novel assembly code model. BinBert is built on a transformer pre-trained on a huge dataset of both assembly instruction sequences and symbolic execution information. BinBert can be applied to assembly instructions sequences and it is fine-tunable, i.e. it can be re-trained as part of a neural architecture on task-specific data. Through fine-tuning, BinBert learns how to apply the general knowledge acquired with pre-training to the specific task. We evaluated BinBert on a multi-task benchmark that we specifically designed to test the understanding of assembly code. The benchmark is composed of several tasks, some taken from the literature, and a few novel tasks that we designed, with a mix of intrinsic and downstream tasks. Our results show that BinBert outperforms state-of-the-art models for binary instruction embedding, raising the bar for binary code understanding.
Keywords:
Assembly
Task analysis
Vectors
Transformers
Semantics
Binary codes
Benchmark testing
Binary analysis
machine learning

Journal

IEEE Transactions on Dependable and Secure Computing cover
IEEE Transactions on Dependable and Secure Computing
IF:
7.5
Papers:
2.6K
Citations:
9.6K

Organization

S
sapienza university rome
Scholars:
6.3W
Papers: 4.7W
Citations: 381
Cited Papers

Cited Papers

Chromosomal abnormality at 6p25.1–25.3 identifies a susceptibility locus for hypothalamic hamartoma associated with epilepsy
err2007-06-01
err0
PREAI
errJohn F. Kerrigan; Michael C. Kruer; Jason Corneveaux; Corrie B. Panganiban; Abraham Itty; David Reiman; Yu-tze Ng; Dietrich A. Stephan; David W. Craig
errShare
errSave
errShare
errSave
Matrix Effects in the Detection of Pb and Ba in Soils Using Laser-Induced Breakdown Spectroscopy
err1996-09-01
err0
PREAI
errAaron S. Eppler; David A. Cremers; Donald D. Hickmott; Monty J. Ferris; Aaron C. Koskelo
errShare
errSave
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
Spiking Suppression Precedes Cued Attentional Enhancement of Neural Responses in Primary Visual Cortex
err2017-11-23
err0
errOAAI
errMichele A Cox; Kacie Dougherty; Geoffrey K Adams; Eric A Reavis; Jacob A Westerberg; Brandon S Moore; David A Leopold; Alexander Maier
errShare
errSave
Editorial: Neurotransmitters and Emotions
err2020-01-29
err0
errOAAI
errFushun Wang; Jiongjiong Yang; Fang Pan; Roger C. Ho; Jason H. Huang
errShare
errSave
researcher View more