Расширенные настройки

Постаналитические команды, скрипты, неофициальные опции

Чтобы задать команды или скрипты, которые могут выполняться после верификации, или задавать опции, которые являются единственными командной строкой в пользовательском интерфейсе Polyspace^®, используйте расширенные настройки.

Аналитические опции

развернуть все

Отправьте верификацию

Command/script to apply after the end of the code verification (-post-analysis-command) Задайте команду или скрипт, который будет выполняться после анализа

Другие опции Polyspace

Other Задайте дополнительные флаги для анализа

Темы

Задайте аналитические опции Polyspace

Задайте аналитические опции Polyspace в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

Документация Polyspace Bug Finder

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.