CppCat — тульский анализатор кода C++ с большими амбициями
Сегодня мы разговаривали с Евгением Рыжковым, генеральным директором компании «Системы программной верификации», которая занимается разработкой программного обеспечения в области тестирования программ и систем статического анализа исходного кода. У них есть два продукта — PVS-Studio и свежий
подробнее »