A. A. Belevantsev

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 8

Top Topics

Static Analysis

Top Venues

Program. Comput. Softw.

Publications

V. O. Afanasyev, S. A. Polyakov, A. E. Borodin, A. A. Belevantsev
Kotlin from the Point of View of Static Analysis Developer. Program. Comput. Softw. 49 (7) (2023)
A. E. Borodin, A. V. Goremykin, Sergey P. Vartanov, A. A. Belevantsev
Searching for Taint Vulnerabilities with Svace Static Analysis Tool. Program. Comput. Softw. 47 (6) (2021)
M. V. Belyaev, N. V. Shimchik, V. N. Ignatyev, A. A. Belevantsev
Comparative Analysis of Two Approaches to Static Taint Analysis. Program. Comput. Softw. 44 (6) (2018)
I. A. Dudina, A. A. Belevantsev
Using static symbolic execution to detect buffer overflows. Program. Comput. Softw. 43 (5) (2017)
A. A. Belevantsev
Multilevel static analysis for improving program quality. Program. Comput. Softw. 43 (6) (2017)
V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, A. A. Belevantsev
SharpChecker: Static analysis tool for C# programs. Program. Comput. Softw. 43 (4) (2017)
A. A. Belevantsev, E. A. Veselevich, V. P. Ivannikov
Analysis of entities in C and C++ programs and relations between them for program understanding. Program. Comput. Softw. 42 (1) (2016)
Sevak Sargsyan, Shamil F. Kurmangaleev, A. A. Belevantsev, Arutyun Avetisyan
Scalable and accurate detection of code clones. Program. Comput. Softw. 42 (1) (2016)
V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan
Static analyzer Svace for finding defects in a source program code. Program. Comput. Softw. 40 (5) (2014)
A. A. Belevantsev, Sergey S. Gaisaryan, V. P. Ivannikov
Construction of speculative optimization algorithms. Program. Comput. Softw. 34 (3) (2008)