Exponenta Banner

-sources-list-file

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

Синтаксис

-sources-list-file file_path

Описание

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

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

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

Примеры

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

  • Bug Finder:

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

  • Code Prover:

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

  • Сервер Bug Finder:

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

  • Код Code Prover:

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

Совет

Вы не можете использовать эту опцию с Polyspace в качестве кода.

См. также

Темы

Документация Polyspace Code Prover

Поддержка