nk-psl-gen-c

Компилятор nk-psl-gen-c генерирует исходный код модуля безопасности Kaspersky Security Module на языке C на основе описания политики безопасности решения и IDL-, CDL-, EDL-описаний. Этот код используется скриптом makekss.

Компилятор nk-psl-gen-c также позволяет генерировать исходный код тестов политики безопасности решения на языке C на основе тестов политики безопасности решения на языке PAL.

Синтаксис shell-команды для запуска компилятора nk-psl-gen-c:

nk-psl-gen-c [{-I|--include-dir} <DIR>]... [{-o|--output} <FILE>] [--out-tests <FILE>]

[{-t|--tests} <ARG>] [{-a|--audit} <FILE>] [-h|--help] [--version] <INPUT>

Параметры:

• INPUT

  Путь к верхнеуровневому файлу описания политики безопасности решения. Как правило, это файл security.psl.

• {-I|--include-dir} <DIR>

  Через эти параметры задаются пути к директориям с IDL-, CDL-, EDL-файлам, относящимися к решению, и пути к директориям, которые содержат вспомогательные файлы из состава KasperskyOS SDK (common, sysroot-*-kos/include, toolchain/include).

• {-o|--output} <FILE>

  Путь к файлу, в который будет сохранен исходный код модуля безопасности Kaspersky Security Module и опционально исходный код тестов политики безопасности решения. Путь должен включать существующие директории.

• --out-tests <FILE>

  Путь к файлу, в который будет сохранен исходный код тестов политики безопасности решения.

• {-t|--tests} <ARG>

  Задает, нужно ли генерировать исходный код тестов политики безопасности решения. ARG может принимать следующие значения:

  • skip – исходный код тестов не генерируется. Это значение используется по умолчанию, если параметр -t, --tests <ARG> не указан.
  • generate – исходный код тестов генерируется. Если исходный код тестов генерируется, то рекомендуется использовать параметр --out-tests <FILE>, иначе исходный код тестов будет сохранен в одном файле с исходным кодом модуля безопасности Kaspersky Security Module, что может привести к ошибкам при сборке.
• {-a|--audit} <FILE>

  Путь к файлу, в который будет сохранен исходный код декодера аудита на языке C.

• -h|--help

  Выводит текст справки.

• --version

  Выводит версию компилятора nk-psl-gen-c.

В начало