Статический анализ кода как средство для поиска неисправностей, уязвимостей и ошибок ПО АСУ ТП

В статье рассматривается применение методов статического анализа исходного кода для выявления дефектов и уязвимостей в программном обеспечении автоматизированных систем управления технологическими процессами. Анализируются особенности программного обеспечения автоматизированных систем управления технологическими процессами как объекта верификации, формулируются ключевые требования к инструментам статического анализа применительно к промышленной автоматизации. На примере анализатора Semgrep демонстрируется обнаружение типовых дефектов в коде SCADA-системы. Обосновывается необходимость внедрения статического анализа как обязательного этапа разработки критического промышленного программного обеспечения.