-sfr-types)Задайте размеры типов sfr для кода, разработанного с компиляторами Keil или IAR
Задайте размеры типов sfr (типы, которые задают специальные функциональные регистры).
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Target & Compiler. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -sfr-types. Смотрите информацию о Командной строке.
Используйте эту опцию, если у вас есть операторы, такие как sfr addr = 0x80; в вашем коде. типы sfr не являются стандартными типами C. Поэтому необходимо задать их размеры явным образом для анализа Polyspace®.
Никакое значение по умолчанию
Перечислите каждое имя sfr и его размер в битах.
Эта опция доступна только, когда Compiler (-compiler) установлен в keil или iar.
Синтаксис:
|
| Никакое значение по умолчанию |
Значение имени: имя sfr, такое как sfr16. |
Значение размера:
8 | 16 | 32 |
Пример (средство поиска ошибки):
polyspace-bug-finder -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Пример (программа автоматического доказательства кода):
polyspace-code-prover -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Пример (сервер средства поиска ошибки): polyspace-bug-finder-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -lang c -compiler iar -sfr-types sfr=8,sfr16=16 ... |