|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
V. O. Afanasyev, A. E. Borodin, A. A. Belevancev, “Static analysis for Scala”, Proceedings of ISP RAS, 36:3 (2024), 9–20  |
|
2023 |
| 2. |
V. O. Afanasyev, A. E. Borodin, K. I. Vihliancev, A. A. Belevancev, “Static analysis based on the unified abstract syntax tree”, Proceedings of ISP RAS, 35:6 (2023), 103–120 |
| 3. |
R. A. Buchatskiy, Ya. A. Churkin, K. A. Chibisov, M. V. Pantilimonov, E. V. Dolgodvorov, A. V. Vyazovtsev, A. G. Volokhov, V. V. Trunov, G. H. Mirakyan, K. N. Kitaev, A. A. Belevancev, “Checking programs for compliance with MISRA C standard using the clang framework”, Proceedings of ISP RAS, 35:5 (2023), 169–192 |
|
2022 |
| 4. |
N. V. Shimchik, V. N. Ignatyev, A. A. Belevancev, “Irbis: static taint analyzer for vulnerabilities detection in C/C++”, Proceedings of ISP RAS, 34:6 (2022), 51–66 |
| 5. |
U. V. Tsiazhkorob, V. N. Ignatyev, A. A. Belevancev, “Detection of uses of disposed resources in C# source code using static analysis”, Proceedings of ISP RAS, 34:6 (2022), 41–50 |
|
2021 |
| 6. |
V. O. Afanasyev, S. A. Polyakov, A. E. Borodin, A. A. Belevancev, “Kotlin from the perspective of a static analyzer developer”, Proceedings of ISP RAS, 33:6 (2021), 67–82 |
1
|
| 7. |
A. E. Borodin, A. V. Goremykin, S. P. Vartanov, A. A. Belevantsev, “Searching for tainted vulnerabilities in static analysis tool Svace”, Proceedings of ISP RAS, 33:1 (2021), 7–32 |
3
|
|
2017 |
| 8. |
M. V. Belyaev, N. V. Shimchik, V. N. Ignatyev, A. A. Belevancev, “Comparative analysis of two approaches to the static taint analysis”, Proceedings of ISP RAS, 29:3 (2017), 99–116  |
2
|
| 9. |
A. P. Merkulov, S. A. Polyakov, A. A. Belevantsev, “Supporting Java programming in the Svace static analyzer”, Proceedings of ISP RAS, 29:3 (2017), 57–74 |
7
|
|
2015 |
| 10. |
A. Borodin, A. Belevancev, “A static analysis tool Svace as a collection of analyzers with various complexity levels”, Proceedings of ISP RAS, 27:6 (2015), 111–134 |
17
|
| 11. |
A. Belevantsev, E. Velesevich, “Analyzing C/C++ code entities and relations for program understanding”, Proceedings of ISP RAS, 27:2 (2015), 53–64 |
2
|
| 12. |
Sevak Sargsyan, Shamil Kurmangaleev, Andrey Belevantsev, Hayk Aslanyan, Artiom Baloian, “Scalable code clone detection tool based on semantic analysis”, Proceedings of ISP RAS, 27:1 (2015), 39–50 |
3
|
|
| Organisations |
|
| |
|
|
Contact us: