Kelly Kaoudis

Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis

2023

Subtle bugs that only manifest in certain software configurations are notoriously difficult to correctly trace. Sometimes called Heisenbugs, these runtime variability flaws can result from invoking undefined behavior in languages like C and C++, or …