Shimchik Nikita Vladimirovich

Publications in Math-Net.Ru

1. Increasing precision of static code analysis using large language models
   
   Proceedings of ISP RAS, 37:6(1) (2025),  83–100
2. Irbis: static taint analyzer for vulnerabilities detection in C/C++
   
   Proceedings of ISP RAS, 34:6 (2022),  51–66
3. Vulnerabilities detection via static taint analysis
   
   Proceedings of ISP RAS, 31:3 (2019),  177–190
4. Comparative analysis of two approaches to the static taint analysis
   
   Proceedings of ISP RAS, 29:3 (2017),  99–116