Замените в директивах препроцессора
-regex-replace-rgx matchFileName -regex-replace-fmt replacementFileName
-regex-replace-rgx заменяет лексемы в директивах препроцессора в целях Polyspace® анализ. Исходный исходный код не изменился. Вы совпадаете с лексемой, используя регулярное выражение в файле matchFileName -regex-replace-fmt replacementFileName matchFileNamereplacementFileName.
Используйте эту опцию только для замены или удаления лексем в директивах препроцессора перед предварительной обработкой. Если лексема в вашем исходном коде вызывает ошибку компиляции, обычно можно заменить или удалить лексему из предварительно обработанного кода. Используйте более удобную опцию Command/script to apply to preprocessed files (-post-preprocessing-command). Вы не можете сделать замены в предварительно обработанном коде только для лексем в директивах препроцессора.
Если анализ запускается из пользовательского интерфейса (только для десктопных продуктов Polyspace), на панели Configuration можно ввести эту опцию в поле Other. См. Other.
В пользовательском интерфейсе задайте абсолютные пути к текстовым файлам с помощью шаблонов поиска и замены.
Предположим, вы хотите заменить &_rom_beg в этом #define директива:
#define ROM_BEG_ADDR (uint16_t)(&_rom_beg)
#define ROM_BEG_ADDR (0x4000u)
Задайте это регулярное выражение в файле match.txt:
^#define\s+ROM_BEG_ADDR\s+\(uint16_t\)\(\&_rom_beg\)
^ устанавливает положение в начале линии.
\s+ представляет один или несколько пробелов в символы.
Символы *, &, (и) в исходном выражении отделяются \. Полный список регулярных выражений см. в документации Perl.
Укажите замену в файле replace.txt.
#define ROM_BEG_ADDR \(0x4000u\)
Задайте два текстовых файлов во время анализа с опциями -regex-replace-rgx и -regex-replace-fmt:
Bug Finder:
polyspace-bug-finder -sources filename -regex-replace-rgx match.txt -regex-replace-fmt replace.txt
Code Prover:
polyspace-code-prover -sources filename -regex-replace-rgx match.txt -regex-replace-fmt replace.txt
Сервер Bug Finder:
polyspace-bug-finder-server -sources filename -regex-replace-rgx match.txt -regex-replace-fmt replace.txt
Код Code Prover:
polyspace-code-prover-server -sources filename -regex-replace-rgx match.txt -regex-replace-fmt replace.txt
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.