Decompilers, one of the widely used security tools, transform low-level binary programs
back into their high-level source representations, such as C/C++. While state-of-the-art …

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 …

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 …

This article introduces a process framework for debugging quantum circuits, focusing on
three distinct types of circuit blocks: amplitude–permutation, phase-modulation, and …

Sanitizers are widely used compiler features that detect undefined behavior and resulting
vulnerabilities by injecting runtime checks into programs. For better performance, sanitizers …

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

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 …

Manually writing parallel programs is difficult and error-prone. Automatic parallelization
could address this issue, but profitability can be limited by not having facts known only to the …

Compiled Domain Specific Languages are taking over various high-performance domains
because of their ability to exploit the domain knowledge and apply optimizations that …

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 …