Polyspace® проверки код C/C++ для ошибок, ошибок времени выполнения, кодируя стандартные нарушения и другие проблемы при помощи статического анализа. С десктопными решениями, Polyspace Bug Finder™ и Polyspace Code Prover™, можно выполнить эти проверки на отдельных рабочих столах до представления кода.
Установите десктопные решения Polyspace
Установите Polyspace Bug Finder или Polyspace Code Prover.
Установите плагин рабочего стола Polyspace для Eclipse
Установите плагин Polyspace, чтобы проверить код в вашем IDE Eclipse™.
Сконфигурируйте заимствование лицензии
Если ваш Продукт polyspace использует лицензию, которая требует менеджера лицензий, например, Коммерческой Параллельной лицензии, можно включить заимствование лицензии и одолжить лицензию.
Обновите Polyspace Bug Finder и Polyspace Code Prover (рабочий стол или установка сервера).
