A major impediment to practical symbolic execution is speed, especially when compared to
near-native speed solutions like fuzz testing. We propose a compilation-based approach to …

Symbolic execution is a powerful technique for software analysis and bug detection.
Compilation-based symbolic execution is a recently proposed flavor that has been shown to …

We present a novel approach for predicting debug information in stripped binaries. Using
machine learning, we first train probabilistic models on thousands of non-stripped binaries …

Binary code similarity analysis (BCSA) is widely used for diverse security applications,
including plagiarism detection, software license violation detection, and vulnerability …

AC decompiler converts an executable (the output from a C compiler) into source code. The
recovered C source code, once recompiled, will produce an executable with the same …

Modern programming follows the continuous integration (CI) and continuous deployment
(CD) approach rather than the traditional waterfall model. Even the development of modern …

This article tackles the problem of designing efficient binary-level verification for a subset of
information flow properties encompassing constant-time and secret-erasure. These …

Binary code clone analysis is an important technique which has a wide range of applications
in software engineering (eg, plagiarism detection, bug detection). The main challenge of the …

Debugging symbols in binary executables carry the names of functions and global variables.
When present, they greatly simplify the process of reverse engineering, but they are almost …

Binary lifters convert executables into an intermediate representation (IR) of a compiler
framework. The recovered IR code is generally deemed “analysis friendly,” bridging low …