Belyaev Mikhail Vladimirovich

Publications in Math-Net.Ru

1. Machine learning-based validation of warnings in an industrial static code analyzer
   
   Proceedings of ISP RAS, 37:6(1) (2025),  101–120
2. Modeling of library functions in an industrial static code analyzer
   
   Proceedings of ISP RAS, 32:3 (2020),  21–31
3. Comparative analysis of two approaches to the static taint analysis
   
   Proceedings of ISP RAS, 29:3 (2017),  99–116