KasperskyOS Community Edition 1.1

nk-psl-gen-c

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

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

Синтаксис использования компилятора nk-psl-gen-c:

Параметры:

• FILE

  Путь к PSL-описанию политики безопасности решения (security.psl)

• -I,--include-dir PATH

  Путь к директории, содержащей вспомогательные файлы, необходимые для генерации транспортных методов и типов. По умолчанию эти файлы располагаются в директории /opt/KasperskyOS-Community-Edition-<version>/sysroot-aarch64-kos/include.

  Компилятору nk-psl-gen-c потребуется доступ ко всем EDL- CDL- и IDL-описаниям. Для того, чтобы компилятор nk-psl-gen-c мог найти эти описания, нужно передать пути к расположению этих описаний в параметре -I.

  Чтобы указать более одной директории, можно использовать несколько параметров -I.

• -o,--output PATH

  Путь к создаваемому файлу, содержащему код модуля безопасности.

• -t, --tests ARG

  Флаг контроля генерации кода и запуска тестов для политики безопасности решения. Может принимать следующие значения:

  • skip – код тестов не генерируется. Это значение используется по умолчанию, если флаг --tests не указан.
  • generate – код тестов генерируется, но не компилируется и не запускается.
  • run – код тестов генерируется, компилируется с помощью компилятора gcc и запускается.
• -a, --audit PATH

  Путь к создаваемому файлу, содержащему код декодера аудита.

• -h, --help

  Отображает текст справки.

• --version

  Отображает версию nk-psl-gen-c.