Using unreachable code analysis in static analysis tool for finding defects in source code

by R. R. Mulyukov, A. E. Borodin
Published 2018-10-01

Static analyzer Svace for finding of defects in program source code

by V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, A. I. Avetisyan, M. I. Leonov
Published 2018-10-01