Belevancev Andrei Andreyevich

Publications in Math-Net.Ru

1. Devirtualization-based Python static analysis
   
   Proceedings of ISP RAS, 37:6(3) (2025),  109–120
2. Machine learning-based validation of warnings in an industrial static code analyzer
   
   Proceedings of ISP RAS, 37:6(1) (2025),  101–120
3. Increasing precision of static code analysis using large language models
   
   Proceedings of ISP RAS, 37:6(1) (2025),  83–100
4. LLM-based interactive code generation: empirical evaluation
   
   Proceedings of ISP RAS, 37:5 (2025),  123–130
5. Detecting memory and resource leaks in the Svace static analyzer
   
   Proceedings of ISP RAS, 37:3 (2025),  291–302
6. Machine learning based congestion control methods: a survey
   
   Proceedings of ISP RAS, 37:3 (2025),  251–276
7. TSAR: tool for static analyzers ranking
   
   Proceedings of ISP RAS, 37:2 (2025),  79–96
8. Static analysis for Scala
   
   Proceedings of ISP RAS, 36:3 (2024),  9–20
9. Ensuring trustworthy code: leveraging a static analyzer to identify and mitigate defects in generated code
   
   Zap. Nauchn. Sem. POMI, 540 (2024),  233–251
10. Static analysis based on the unified abstract syntax tree
    
    Proceedings of ISP RAS, 35:6 (2023),  103–120
11. Checking programs for compliance with MISRA C standard using the clang framework
    
    Proceedings of ISP RAS, 35:5 (2023),  169–192
12. Irbis: static taint analyzer for vulnerabilities detection in C/C++
    
    Proceedings of ISP RAS, 34:6 (2022),  51–66
13. Detection of uses of disposed resources in C# source code using static analysis
    
    Proceedings of ISP RAS, 34:6 (2022),  41–50
14. Kotlin from the perspective of a static analyzer developer
    
    Proceedings of ISP RAS, 33:6 (2021),  67–82
15. Searching for tainted vulnerabilities in static analysis tool Svace
    
    Proceedings of ISP RAS, 33:1 (2021),  7–32
16. Comparative analysis of two approaches to the static taint analysis
    
    Proceedings of ISP RAS, 29:3 (2017),  99–116
17. Supporting Java programming in the Svace static analyzer
    
    Proceedings of ISP RAS, 29:3 (2017),  57–74
18. A static analysis tool Svace as a collection of analyzers with various complexity levels
    
    Proceedings of ISP RAS, 27:6 (2015),  111–134
19. Analyzing C/C++ code entities and relations for program understanding
    
    Proceedings of ISP RAS, 27:2 (2015),  53–64
20. Scalable code clone detection tool based on semantic analysis
    
    Proceedings of ISP RAS, 27:1 (2015),  39–50


21. Denis Nikolaevich Sidorov (to Anniversary Since Birth)
    
    Vestnik YuUrGU. Ser. Mat. Model. Progr., 17:4 (2024),  106–108