Abstract:Binary code function search has been used as the core basis of various security and software engineering applications, including malware clustering, code clone detection, and vulnerability audits. Recognizing logically similar assembly functions, however, remains a challenge. Most binary code search tools rely on program structure-level information, such as control flow and data flow graphs, that is extracted using program analysis techniques or deep neural networks (DNNs). However, DNN-based techniques capture lexical-, control structure-, or data flow-level information of binary code for representation learning, which is often too coarse-grained and does not accurately denote program functionality. Additionally, it may exhibit low robustness to a variety of challenging settings, such as compiler optimizations and obfuscations. This paper proposes a general solution for enhancing the top-$k$k ranked candidates in DNN-based binary code function search. The key idea is to design a low-cost and comprehensive equivalence check that quickly exposes functionality deviations between the target function and its top-$k$k matched functions. Functions that fail this equivalence check can be shaved from the top-$k$k list, and functions that pass the check can be revisited to move ahead on the top-$k$k ranked candidates, in a deliberate way. We design a practical and efficient equivalence check, named BinUSE, using under-constrained symbolic execution (USE). USE, a variant of symbolic execution, improves scalability by initiating symbolic execution directly from function entry points and relaxing constraints on function parameters. It eliminates the overhead incurred by path explosion and costly constraints. BinUSE is specifically designed to deliver an assembly function-level equivalence check, enhancing DNN-based binary code search by reducing its false alarms with low cost. Our evaluation shows that BinUSE can enable a general and effective enhancement of four state-of-the-art DNN-based binary code search tools when confronted with challenges posed by different compilers, optimizations, obfuscations, and architectures.

Identifying Functions in Binary Code with Reverse Extended Control Flow Graphs

Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode

Call graph discovery in binary programs from unknown instruction set architectures

A New Algorithm for Identifying Loops in Decompilation

A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries

Assembly Function Recognition in Embedded Systems as an Optimization Problem

Automatically resolving virtual function calls in binary executables

Is Function Similarity Over-Engineered? Building a Benchmark

Binary Code Continent

Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking

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

Function-level Obfuscation Detection Method Based on Graph Convolutional Networks

Where's Crypto?: Automated Identification and Classification of Proprietary Cryptographic Primitives in Binary Code

Towards Optimal Use of Exception Handling Information for Function Detection

OCFI: Make Function Entry Identification Hard Again.

FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs

Scalable and Accurate Binary Search Method Based on Simhash and Partial Trace

Investigating Neural-based Function Name Reassignment from the Perspective of Binary Code Representation

Assessing the Effectiveness of Binary-Level CFI Techniques

Learning to Find Usages of Library Functions in Optimized Binaries

Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases