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

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

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

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