Skip to content

SemASTer: Cross-Architecture Binary Code Similarity Detection via AST-Driven Semantic Compensation

Aug 2026 · International journal of software engineering and knowledge engineering · 0 citations

TL;DR

SemASTer is proposed, a robust framework for cross-architecture binary code similarity detection that leverages Abstract Syntax Tree (AST) as its semantic backbone and introduces two complementary compensation pathways: behavioral semantic compensation to recover lost runtime dynamics, and control-flow compensation to reconstruct disrupted logical dependencies.

Abstract

Binary Code Similarity Detection (BCSD) plays a crucial role in vulnerability discovery and malware analysis. However, it faces two major challenges in cross-architecture scenarios: syntactic variations arising from architectural differences and semantic distortions induced by compiler optimizations. To address these issues, we propose SemASTer, a robust framework for cross-architecture binary code similarity detection that leverages Abstract Syntax Tree (AST) as its semantic backbone. A degradation-aware channel attention mechanism dynamically incorporates compensatory information only when the AST backbone is deemed unreliable due to aggressive optimizations. Furthermore, we introduce two complementary compensation pathways: behavioral semantic compensation to recover lost runtime dynamics, and control-flow compensation to reconstruct disrupted logical dependencies. Experimental results demonstrate that SemASTer achieves an 8.3% improvement in Recall@1 over the current state-of-the-art method in cross-architecture tasks, and an 11.4% gain under fully heterogeneous compilation settings (varying architectures, compilers, and optimization levels). Moreover, its effectiveness and robustness are validated through real-world vulnerability detection scenarios.

View source

Similar papers

Sep 2026

InterFuse: Scalable Detection of Memory Safety Violations via Differential Reasoning and Hierarchical Context Fusion

This work proposes InterFuse, a framework for differential path reasoning that builds compact interprocedural control-flow graphs with targeted pruning, samples high-contrast paths via genetic optimization, and uses hierarchical fusion with a lightweight concatenation-based module to enhance discriminative signals.

Yao Zhang, Rui-Jie Cai, Xiao-Kang Yin et al. · 0 citations
Preprint Sep 2026

SEMA-GUARD: Semantic and Graph-Based Vulnerability Detection in Assembly Code

This article presents SEMA-GUARD, a framework that uses semantic analysis and graph neural networks to identify flaws in assembly code, and results imply that including semantic information in graph-based models may be a successful method for identifying vulnerabilities in compiled code.

H. Dursunoglu, Kaan Sulkalar · 0 citations
Preprint Aug 2026

Decoupling is a Necessity: Transformation-Agnostic Decompiled Code Recovery under Optimization and Obfuscation

ReSource is presented, the first multi-phase LLM framework designed for transformation-agnostic source recovery, which maintains robust semantic identifiability where state-of-the-art baselines severely overfit or degrade, provides a scalable and reliable foundation for downstream security analysis.

Zhi-Ping Zhou, Xiaohong Li, Ruitao Feng et al. · 0 citations
Conference Aug 2026

An Empirical Study on the Transferability of Transformer-Based Models for Software Vulnerability Detection

Despite the dominance of Transformer-based models in software vulnerability detection, the extent to which their learned security logic generalizes across different programming languages remains a critical open question. To address this, we propose a comprehensive evaluation framework organized into three phases spanni...

Nhien Huu Dinh, Chau The, Thai Hung Van et al. · 0 citations
#artificial intelligence Preprint Sep 2026

Beyond Vector Similarity: Hierarchical Context-Aware Graph RAG vs Standard RAG in Enterprise Code Migration

As enterprises modernize legacy monolithic systems to microservices, Large Language Models (LLMs) are heavily utilized for automated code translation. However, traditional vector-based Retrieval-Augmented Generation (Standard RAG) struggles to capture topological relationships. It fetches isolated chunks that sever inh...

Nilesh Jaiswal, Aniket Agrawal, Arjit Shukla et al. · 0 citations
2026

LLMKernelBench: Benchmarking Large Language Models on Software Vulnerability Detection in Linux Kernel

Large language models (LLMs) demonstrate strong capabilities in code-related tasks, however their effectiveness in software vulnerability detection (SVD) remains poorly understood due to inadequate evaluation frameworks. Existing benchmarks suffer from training data contamination, isolated function evaluation without c...

Arastoo Zibaeirad, Rodrigo Pato Nogueira, Marco Vieira · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.