Automatically detecting software vulnerabilities is an important problem that has attracted
much attention from the academic research community. However, existing vulnerability …

Statically analyzing information flow, or how data influences other data within a program, is a
challenging task in imperative languages. Analyzing pointers and mutations requires access …

To effectively test program changes using mutation testing, one needs to use mutants that
are relevant to the altered program behaviours. In view of this, we introduce MuDelta, an …

The advent of Persistent Memory (PM) devices enables systems to actively persist
information at low costs, including program state traditionally in volatile memory. However …

DG is a library written in C++ that provides several types of program analysis for LLVM
bitcode. The main parts of DG are a parametric points-to analysis, a call graph construction …

Symbolic execution techniques are widely adopted in diverse fields, including software
quality analysis, software defect detection and so on. Symbolic execution engines assist …

Automatically detecting software vulnerabilities is an important problem that has attracted
much attention from the academic research community. However, existing vulnerability …

Cache side-channel attacks pose real threats to computer system security. Prior work called
Cloak leverages commodity hardware transactional memory (HTM) to protect sensitive data …

DG is a C++ library providing elements for building program analysis tools. Its main
components are a points-to analysis, a data dependence analysis, a control dependence …

Program slicing is the technique of automatically identifying the subset of a program that is
relevant to a particular piece of code. In theory, slicing addresses one of the core challenges …