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]

@article{BaevSKBZ22,
  title = {Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior},
  author = {Roman V. Baev and Leonid V. Skvortsov and Evgeny A. Kudryashov and Ruben Buchatskiy and Roman Zhuykov},
  year = {2022},
  doi = {10.1134/S0361768822070027},
  url = {https://doi.org/10.1134/S0361768822070027},
  researchr = {https://researchr.org/publication/BaevSKBZ22},
  cites = {0},
  citedby = {0},
  journal = {Programming and Computer Software},
  volume = {48},
  number = {7},
  pages = {445-454},
}