A. E. Borodin

According to our database, A. E. Borodin authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Kotlin from the Point of View of Static Analysis Developer.

V. O. Afanasyev, S. A. Polyakov, A. E. Borodin, A. A. Belevantsev

Program. Comput. Softw., December, 2023

2021

Searching for Taint Vulnerabilities with Svace Static Analysis Tool.

A. E. Borodin, A. V. Goremykin, Sergey P. Vartanov, A. A. Belevantsev

Program. Comput. Softw., 2021

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection.

A. E. Borodin, I. A. Dudina

Program. Comput. Softw., 2021

Interprocedural Static Analysis for Finding Bugs in Go Programs.

I. V. Bolotnikov, A. E. Borodin

Program. Comput. Softw., 2021

2014

Static analyzer Svace for finding defects in a source program code.

V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan

Program. Comput. Softw., 2014