Polyspace® когда вы Кодируете, обнаруживает набор дефектов по умолчанию. Смотрите Средства проверки Дефектов Polyspace Bug Finder, Enabled по умолчанию.
Чтобы активировать набор дефекта и кодирования стандартных средств проверки, который удовлетворяет ваши требования, создайте, измените или импортируйте выбор средства проверки при помощи своего IDE или командной строки.
Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в Eclipse
Создайте, измените или импортируйте выбор средств проверки дефекта Polyspace и кодирующий нарушения правила.
Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в Visual Studio
Создайте, измените или импортируйте выбор средств проверки дефекта Polyspace и кодирующий нарушения правила.
Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в коде Visual Studio
Создайте, измените или импортируйте выбор средств проверки дефекта Polyspace и кодирующий нарушения правила.
Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в командной строке
Создайте, измените или импортируйте выбор средств проверки дефекта Polyspace и кодирующий нарушения правила.
Средства проверки дефекта Bug Finder классифицируются в группы, такие как поток данных, параллелизм, числовой, и так далее.
Аналитический осциллограф Polyspace, когда вы кодируете
Polyspace, когда Вы Кодируете, является программным обеспечением инструмента статического анализа кода, предназначенным для регулярного использования разработчиками C/C++ в их Интегрированных средах разработки (ИДЫ).
Уменьшайте сложность программного обеспечения при помощи средств проверки Polyspace
Включите и сконфигурируйте средства проверки сложности программного обеспечения, чтобы идентифицировать проблемы, которые делают ваш код трудным читать, понять, и отладка.
