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 …

Compiler bugs pose a significant threat to safety-critical applications, and promptly and
effectively isolating these bugs is crucial for assuring the quality of compilers. However, the …

It is a widely-adopted strategy for developers to monitor the values of program variables
when debugging in practice. In particular, developers often set breakpoints at specific …

Android applications (apps) widely use third-party libraries (TPLs) to reuse functionalities
and simplify the development process. Unfortunately, these TPLs often suffer from …

Compilers are one of the most fundamental software systems. A large number of software
systems rely on compilers for execution. Compiler bugs can significantly hinder software …

Compiler bugs pose a significant threat to safety-critical applications, and promptly as well
as effectively isolating these bugs is crucial for assuring the quality of compilers. However …

Just-in-Time (JIT) compilers are ubiquitous in modern computing systems and are used in a
wide variety of software. Dynamic code generation bugs, where the JIT compiler silently …

This dissertation presents a new approach to the automatic localization of dynamic code
generation bugs in Just-in-Time (JIT) compilers. JIT compilers are widely utilized to improve …

컴파일러는 컴파일 과정에서 프로그램의 런타임 성능을 향상하기 위한 최적화를 수행한다.
그러나복잡한 최적화 과정으로 인해 개발자의 의도와 다른 동작을 수행하는 버그를 내포할 …