Ignatyev Valery Nikolayevich

Publications in Math-Net.Ru

1. Static analysis of Visual Basic .NET language
   
   Proceedings of ISP RAS, 37:6(2) (2025),  37–52
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. Static analysis on abstract syntax trees based on finite automata
   
   Proceedings of ISP RAS, 37:1 (2025),  41–54
5. Support of Visual Basic .NET in SharpChecker static analyzer
   
   Proceedings of ISP RAS, 36:3 (2024),  49–62
6. Irbis: static taint analyzer for vulnerabilities detection in C/C++
   
   Proceedings of ISP RAS, 34:6 (2022),  51–66
7. Detection of uses of disposed resources in C# source code using static analysis
   
   Proceedings of ISP RAS, 34:6 (2022),  41–50
8. Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value
   
   Proceedings of ISP RAS, 34:6 (2022),  29–40
9. Detection of erroneous usage of synchronization monitor in С# via static analysis
   
   Proceedings of ISP RAS, 34:4 (2022),  63–78
10. Modeling of library functions in an industrial static code analyzer
    
    Proceedings of ISP RAS, 32:3 (2020),  21–31
11. Vulnerabilities detection via static taint analysis
    
    Proceedings of ISP RAS, 31:3 (2019),  177–190
12. Comparative analysis of two approaches to the static taint analysis
    
    Proceedings of ISP RAS, 29:3 (2017),  99–116
13. C# static analysis framework
    
    Proceedings of ISP RAS, 28:1 (2016),  21–40
14. Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
    
    Proceedings of ISP RAS, 27:5 (2015),  59–86