Доклад на конференции Certification Day 2024.
1 апреля 2024 года введён в действие ГОСТ Р 71207-2024: Статический анализ программного обеспечения. Он определяет, что должны уметь инструменты анализа кода, и как с их использованием должен строиться процесс безопасной разработки. Рассмотрим на практических примерах, какие критические ошибки должны выявлять инструменты и каким другим требованиям удовлетворять, чтобы их можно было использовать при разработке безопасного ПО.
English
Français
24