Chibisov Kirill Alekseevich

Publications in Math-Net.Ru

1. TSAR: tool for static analyzers ranking
   
   Proceedings of ISP RAS, 37:2 (2025),  79–96
2. Checking programs for compliance with MISRA C standard using the clang framework
   
   Proceedings of ISP RAS, 35:5 (2023),  169–192