Как стать автором
Поиск
Написать публикацию
Обновить

Поиск уязвимостей в исходном коде с помощью ручного статического анализа

Время на прочтение7 мин
Количество просмотров4.3K
Всего голосов 5: ↑2 и ↓3+3
Комментарии2

Комментарии 2

Кому не сложно, посоветуйте, пожалуйста, материалы по теме.
Из того, с яем уже ознакомился, могу посоветовать материалы pvs studio и ростелеком-солар.

Стоит отметить что доказательство отсутствия уязвимостей - задача нерешаемая в общем случае и крайне сложная в тех нетривиальных случаях где она всё же решаема.

Т.е. можно доказать только наличие конкретных уязвимостей, но никак не их отсутствие.

Зарегистрируйтесь на Хабре, чтобы оставить комментарий