Cross-platform binary analysis requires a common representation of binaries across
platforms, on which a specific analysis can be performed. Recent work proposed to learn …

Program developers spend significant time on optimizing and tuning programs. During this
iterative process, they apply optimizations, analyze the resulting code, and modify the …

In this paper, we propose a testing framework for validating sanitizer implementations in
compilers. Our core components are (1) a program generator specifically designed for …

Despite the advancements in software testing, bugs still plague deployed software and
result in crashes in production. When debugging issues—sometimes caused by …

The availability of debug information for optimized executables can largely ease crucial
tasks such as crash analysis. Source-level debuggers use this information to display …

Code coverage has been widely used as the basis for various software quality assurance
techniques. Therefore, it is of great importance to ensure that coverage profilers provide …

Compilation Consistency Modulo Debug Information (CCMD) is an essential compiler
property that a production compiler should support: the compiler should emit the same …

Binary similarity analysis is critical to many code-reuse-related issues, where function
matching is its fundamental task.“1-to-1” mechanism has been applied in most binary …

Static analysis has been widely used in large-scale software defect detection. Despite recent
advances, it is still not practical enough because it requires compilation interference to …

The correctness of debug information included in optimized binaries has been the subject of
recent attention by the research community. Indeed, it represents a practically important …