Для цитирования:

КОЗНОВ Д.В., УСАЧЕВ Д.А. Статический анализатор для распознавания массивов в С-программах для задач фаззинга. Труды Института системного программирования РАН. 2026;38(3):33-48. https://doi.org/10.15514/ISPRAS-2026-38(3)-20

For citation:

KOZNOV D.V., USACHEV D.A. Static Analyzer for Array Recognition in C Programs for Fuzzing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(3):33-48. (In Russ.) https://doi.org/10.15514/ISPRAS-2026-38(3)-20