Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior. - Roman V. Baev; Leonid V. Skvortsov; Evgeny A. Kudryashov; Ruben Buchatskiy; Roman Zhuykov (Program. Comput. Softw., 2022)