Use-After-Free (UAF) vulnerabilities constitute severe threats to software security. In contrast
to other memory errors, UAFs are more difficult to detect through manual or static analysis …

Mainframe systems are facing a critical shortage of developer workforce as the current
generation of COBOL developers retires. Furthermore, due to the limited availability of public …

The Microsoft Component Object Model (COM) is the foundation for many key Microsoft
technologies and we develop COMRace, the first data race vulnerability detection tool for …

The parallel execution of multiple threads of a web application will cause races if the web
application is not synchronized correctly. Detecting the race condition in web applications …

Due to the non-determinism of thread interleaving, predicting concurrency bugs has long
been an extremely difficult task. Recently, several sound bug-detecting approaches were …

A growing number of bugs have been reported by vulnerability discovery solutions. Among
them, some bugs are hard to diagnose or reproduce, including data race bugs caused by …