На Хабре время от времени появляются статьи, посвященные статическому анализатору кода PVS-Studio (также рассматриваются и иные анализаторы), в которых то и дело делаются проверки того или иного проекта с публикацией найденных проблемных мест. Не так давно был представлен новый продукт CppCat— облегченная версия за небольшие, относительно PVS-Studio, деньги. Некоторое описание проекта PVS-Studio для Visual C++ можно найти здесь и здесь, а описание нового проекта можно найти в статье «Альтернатива PVS-Studio за $250».
Данная статья будет ориентирована не на всевозможные технические подробности, связанные с продуктами, а на позиционирование продукта на рынке на той или иной платформе, немного о компании и т.д.
Во многих статьях о продуктах компании в комментариях можно найти вопросы о поддержке такой платформы, как Linux. Здесь также затронут этот вопрос и получен исчерпывающий ответ.
На заданные мною вопросы отвечает Андрей Карпов Andrey2008 — технический директор проектов PVS-Studio и CppCat. Также Андрей делится некоторыми рассуждениями о языке программирования, продуктах иных компаний и взаимодействии с этими самыми компаниями.