SemSan: A Configurable Sanitizer for Detecting Semantic Bugs

Moritz Sanft and Flavio Toffalini, Ruhr University Bochum