Binary lifting, which is to translate a binary executable to a high-level intermediate
representation, is a primary step in binary analysis. Despite its importance, there are only …

Function recognition is one of the key tasks in binary analysis, instrumentation and reverse
engineering. Previous approaches for this problem have relied on matching code patterns …

Translating low-level machine instructions into higher-level intermediate language (IL) is
one of the central steps in many binary analysis and instrumentation systems. Existing …

Extensible static checking tools, such as Sys and CodeQL, have successfully discovered
bugs in source code. These tools allow analysts to write application-specific rules, referred …

Binary analysis and instrumentation form the basis of many tools and frameworks for
software debugging, security hardening, and monitoring. Accurate modeling of instruction …

Fast numerical libraries have been a cornerstone of scientific computing for decades, but
this comes at a price. Programs may be tied to vendor specific software ecosystems resulting …

Real-time embedded systems have become pervasive in general industry. They also began
to be applied in such domains as avionics, automotive, aerospace, healthcare, and …

Binary analysis and instrumentation play a central role in COTS software security. They can
be used to detect and prevent vulnerabilities, mitigate exploits, enforce security policies, and …

Code translation is a staple component of program analysis. A lifter is a code translation unit
that translates low-level code to a higher-level intermediate representation (IR). Lifters thus …

The microprocessor is an icon of the information age today, which evolved from the
inventions of the transistor and the integrated circuit (IC). The extensiveness of the …