Комментарии 2
Кому не сложно, посоветуйте, пожалуйста, материалы по теме.
Из того, с яем уже ознакомился, могу посоветовать материалы pvs studio и ростелеком-солар.
Стоит отметить что доказательство отсутствия уязвимостей - задача нерешаемая в общем случае и крайне сложная в тех нетривиальных случаях где она всё же решаема.
Т.е. можно доказать только наличие конкретных уязвимостей, но никак не их отсутствие.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Поиск уязвимостей в исходном коде с помощью ручного статического анализа