Malyshev Nikita Evgen'evich

Publications in Math-Net.Ru

1. Detecting memory and resource leaks in the Svace static analyzer
   
   Proceedings of ISP RAS, 37:3 (2025),  291–302
2. An approach to the c string analysis for buffer overflow detection
   
   Proceedings of ISP RAS, 30:5 (2018),  55–74