How Different Tokenization Algorithms Impact LLMs and Transformer Models for Binary Code Analysis

TL;DR

This paper systematically evaluates how different tokenization algorithms affect the performance of transformer-based models in binary code analysis, highlighting the importance of tokenizer choice for downstream tasks.

Contribution

It provides a comprehensive analysis of tokenization methods tailored for assembly code, exploring their intrinsic properties and impact on model effectiveness in binary analysis tasks.

Findings

Tokenizer choice significantly impacts downstream performance.

Intrinsic metrics only partially predict extrinsic evaluation outcomes.

Trade-offs exist between tokenizer efficiency and semantic fidelity.

Abstract

Tokenization is fundamental in assembly code analysis, impacting intrinsic characteristics like vocabulary size, semantic coverage, and extrinsic performance in downstream tasks. Despite its significance, tokenization in the context of assembly code remains an underexplored area. This study aims to address this gap by evaluating the intrinsic properties of Natural Language Processing (NLP) tokenization models and parameter choices, such as vocabulary size. We explore preprocessing customization options and pre-tokenization rules tailored to the unique characteristics of assembly code. Additionally, we assess their impact on downstream tasks like function signature prediction -- a critical problem in binary code analysis. To this end, we conduct a thorough study on various tokenization models, systematically analyzing their efficiency in encoding assembly instructions and capturing semantic nuances. Through intrinsic evaluations, we compare tokenizers based on tokenization efficiency, vocabulary compression, and representational fidelity for assembly code. Using state-of-the-art pre-trained models such as the decoder-only Large Language Model (LLM) Llama 3.2, the encoder-only transformer BERT, and the encoder-decoder model BART, we evaluate the effectiveness of these tokenizers across multiple performance metrics. Preliminary findings indicate that tokenizer choice significantly influences downstream performance, with intrinsic metrics providing partial but incomplete predictability of extrinsic evaluation outcomes. These results reveal complex trade-offs between intrinsic tokenizer properties and their utility in practical assembly code tasks. Ultimately, this study provides valuable insights into optimizing tokenization models for low-level code analysis, contributing to the robustness and scalability of Natural Language Model (NLM)-based binary analysis workflows.