Defining All Undefined Behavior and Leveraging Compiler Transformation APIs Stefanos Baziotis' B 2 years ago