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

Поддержка