For citations:
BAEV R.V., SKVORTSOV L.V., KUDRYASHOV E.A., BUCHATSKIY R.A., ZHUYKOV R.A. Prevention of vulnerabilities arising from optimization of code with Undefined Behavior. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(4):195-210. (In Russ.) https://doi.org/10.15514/ISPRAS-2021-33(4)-14