Рассмотрите Polyspace, в то время как вы кодируете результаты в ИДАХ

Запустите однофайловый анализ и рассмотрите результаты вашего IDE или редактора

Запустите Polyspace, когда Вы Кодируете в своем IDE и рассматриваете результаты как маркеры исходного кода на файле, который в настоящее время открыт. ИДАМИ, которые поддерживаются с расширениями, является Visual Studio, Код Visual Studio и Eclipse. Для неподдерживаемых ИД вы видите результаты в своей консоли IDE или командной строке.