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