nk-psl-gen-c

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

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

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

nk-psl-gen-c [-I PATH][-o PATH][--audit PATH][--tests ARG][--help][--version] FILE

Параметры:

• FILE

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

• -I,--include-dir PATH

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

В начало