Exponenta Banner

- исходный файл списка

Задайте файл, содержащий список источников

Синтаксис

-sources-list-file file_path

Описание

-sources-list-file file_path задает абсолютный путь к текстовому файлу, который перечисляет каждое имя файла, которое вы хотите анализировать.

Чтобы задать ваши источники в текстовом файле, на каждой строке, задают путь к исходному файлу. Можно задать абсолютный путь или путь относительно папки, от которой вы запускаете анализ. Например:

C:\Sources\myfile.c
C:\Sources2\myfile2.c

Примеры

Запустите анализ файлов, перечисленных в files.txt:

  • Средство поиска ошибки:

    polyspace-bug-finder -sources-list-file "C:\Analysis\files.txt"
polyspace-bug-finder -sources-list-file "/home/polyspace/files.txt"

  • Программа автоматического доказательства кода:

    polyspace-code-prover -sources-list-file "C:\Analysis\files.txt
polyspace-code-prover -sources-list-file "/home/polyspace/files.txt"

  • Сервер средства поиска ошибки:

    polyspace-bug-finder-server -sources-list-file "C:\Analysis\files.txt"
polyspace-bug-finder-server -sources-list-file "/home/polyspace/files.txt"

  • Сервер программы автоматического доказательства кода:

    polyspace-code-prover-server -sources-list-file "C:\Analysis\files.txt
polyspace-code-prover-server -sources-list-file "/home/polyspace/files.txt"

Смотрите также

Темы

Документация Polyspace Code Prover
Поддержка