Ни для кого не секрет, что для разработки безопасного ПО необходим статический анализатор кода. Однако оставались открытыми некоторые вопросы: какими свойствами необходимо обладать инструментам анализа, какие ошибки обязаны выявлять и как в целом должны выполняться проверки кода?

На все эти и другие вопросы отвечает Андрей Карпов в своем докладе. Приятного просмотра! 😊