Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior

Roman V. Baev, Leonid V. Skvortsov, Evgeny A. Kudryashov, Ruben Buchatskiy, Roman Zhuykov. Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior. Programming and Computer Software, 48(7):445-454, 2022. [doi]

Abstract

Abstract is missing.