Polyspace® проверки код C/C++ для ошибок, ошибок времени выполнения, кодируя стандартные нарушения и другие проблемы при помощи статического анализа. Можно запустить анализ Polyspace машин класса сервера и рассмотреть результаты анализа на веб-браузере с этими продуктами:
Polyspace Bug Finder™ Server™ для выполнения на серверах и Polyspace Bug Finder Access™ для основанного на веб-браузере анализа результатов
Сервер Polyspace Code Prover™ для выполнения на серверах и Polyspace Code Prover Access для основанного на веб-браузере анализа результатов
При помощи этих продуктов с инструментом автоматизации сборки можно включить анализ Polyspace в непрерывные системы интегрирования.
