This repository is comprised of RR logs, test cases, recorded program traces and tainting results, which be used to detect uninitialized variables leaks from Windows kernel through differential replay. The complete theory and method is available in our paper
