Vihliancev Konstantin Igorevich

Publications in Math-Net.Ru

1. Devirtualization-based Python static analysis
   
   Proceedings of ISP RAS, 37:6(3) (2025),  109–120
2. Static analysis based on the unified abstract syntax tree
   
   Proceedings of ISP RAS, 35:6 (2023),  103–120