Фильтры¶

При добавлении фильтров посредством SECCOMP_SET_MODE_FILTER, значение args указывает на программу фильтрации:

struct sock_fprog {


    unsigned short      len;    /* количество инструкций BPF */


    struct sock_filter *filter; /* указатель на массив


                                   инструкций BPF */
};

В каждой программе должно быть не менее одной инструкции BPF:

struct sock_filter {            /* блок фильтрации */


    __u16 code;                 /* действительный код фильтра */


    __u8  jt;                   /* переход при совпадении */


    __u8  jf;                   /* переход при несовпадении */


    __u32 k;                    /* общее поле для различных целей */
};

При выполнении инструкций информация о системном вызове (когда используется режим адресации BPF_ABS) программе BPF доступна из буфера (только для чтения) в виде:

struct seccomp_data {


    int   nr;                   /* номер системного вызова */


    __u32 arch;                 /* значение AUDIT_ARCH_*


                                   (смотрите <linux/audit.h>) */


    __u64 instruction_pointer;  /* указатель на инструкцию ЦП */


    __u64 args[6];              /* до 6 аргументов системного вызова */
};

Так как количество системных вызовов различно на разных архитектурах и некоторые архитектуры (например, x86-64) позволяют коду в пользовательском пространстве использовать соглашения о вызовах нескольких архитектур (и используемое соглашение может меняться на протяжении выполнения процесса, если он использует execve(2) для запуска выполняемых файлов, которые задействуют другие соглашения), то, обычно, необходимо проверять значение поля arch.

It is strongly recommended to use an allow-list approach whenever possible because such an approach is more robust and simple. A deny-list will have to be updated whenever a potentially dangerous system call is added (or a dangerous flag or option if those are deny-listed), and it is often possible to alter the representation of a value without altering its meaning, leading to a deny-list bypass. See also Caveats below.

Поле arch не уникально для всех соглашений о вызовах. В x86-64 ABI и x32 ABI в arch используется AUDIT_ARCH_X86_64, и они запускаются на одних и тех же процессорах. Чтобы отличать один ABI от другого используется маска __X32_SYSCALL_BIT с номером системного вызова.

This means that a policy must either deny all syscalls with __X32_SYSCALL_BIT or it must recognize syscalls with and without __X32_SYSCALL_BIT set. A list of system calls to be denied based on nr that does not also contain nr values with __X32_SYSCALL_BIT set can be bypassed by a malicious program that sets __X32_SYSCALL_BIT.

Additionally, kernels prior to Linux 5.4 incorrectly permitted nr in the ranges 512-547 as well as the corresponding non-x32 syscalls ORed with __X32_SYSCALL_BIT. For example, nr == 521 and nr == (101 | __X32_SYSCALL_BIT) would result in invocations of ptrace(2) with potentially confused x32-vs-x86_64 semantics in the kernel. Policies intended to work on kernels before Linux 5.4 must ensure that they deny or otherwise correctly handle these system calls. On Linux 5.4 and newer, such system calls will fail with the error ENOSYS, without doing anything.

В поле instruction_pointer содержится адрес инструкции машинного языка, который запускает системный вызов. Это может быть полезно вместе с /proc/[pid]/maps для выполнения проверок из какой области (отображение) программы делается системный вызов (вероятно, стоит блокировать системные вызовы mmap(2) и mprotect(2) для запрета программе удалять такие проверки).

When checking values from args, keep in mind that arguments are often silently truncated before being processed, but after the seccomp check. For example, this happens if the i386 ABI is used on an x86-64 kernel: although the kernel will normally not look beyond the 32 lowest bits of the arguments, the values of the full 64-bit registers will be present in the seccomp data. A less surprising example is that if the x86-64 ABI is used to perform a system call that takes an argument of type int, the more-significant half of the argument register is ignored by the system call, but visible in the seccomp data.

Фильтр seccomp возвращает 32-битное значение, состоящее из двух частей: в старших 16 битах (соответствует маске, определяемой константой SECCOMP_RET_ACTION_FULL) содержится одно из значений «действие», перечисленных далее; в младших 16 битах (определяется константой SECCOMP_RET_DATA) содержатся «данные», связанные с возвращаемым значением.

Если существует несколько фильтров, то все они выполняются в обратном порядке их добавления в дерево фильтров — то есть последние добавленные выполняются первыми (заметим, что все фильтры будут вызваны даже, если ранее выполнявшиеся фильтры вернули SECCOMP_RET_KILL. Это сделано для простоты кода ядра и предоставления крошечного ускорения выполнения набора фильтров, так как не выполняется проверка этого редкого случая). Возвращаемое значение для вычисления данного системного вызова —первое встреченного значение действия наивысшего приоритета (вместе с сопутствующими ему данными), возвращаемое выполнением всех фильтров.

Значения действий, которые могут возвращаться фильтром seccomp (в порядке уменьшения приоритета):

SECCOMP_RET_KILL_PROCESS (начиная с Linux 4.14)

Это значение возвращается при немедленном завершении процесса с образованием дампа. Системный вызов не выполняется. По сравнению с SECCOMP_RET_KILL_THREAD, описанном далее, завершаются все нити в группе нитей (группы нитей представлены в описании CLONE_THREAD в clone(2)).

Процесс завершается думая, что убит сигналом SIGSYS. Даже если обработчик сигнала SIGSYS был зарегистрирован, в этом случае он будет проигнорирован и процесс всегда прекращает выполнение. Родительскому процессу, который ждёт этот процесс (с помощью waitpid(2) или подобного вызова) возвращается wstatus, который будет показывать, что потомок завершился по сигналу SIGSYS.

SECCOMP_RET_KILL_THREAD (или SECCOMP_RET_KILL)

Это значение возвращается при немедленном завершении нити, сделавшей системный вызов. Системный вызов не выполняется. Другие нити в той же группе нитей продолжат выполнение.

Нить завершается думая, что убита сигналом SIGSYS. Смотрите описание SECCOMP_RET_KILL_PROCESS выше.

До Linux 4.11 любой процесс, завершавшийся таким образом, не вызывал образование дампа (несмотря на то, что описание SIGSYS в signal(7) сообщает, что по умолчанию завершение приводит к дампу). Начиная с Linux 4.11 для процесса с единственной нитью будет сделан дамп, если он завершается при таких обстоятельствах.

В дополнении к SECCOMP_RET_KILL_PROCESS в Linux 4.14 как синоним SECCOMP_RET_KILL добавлено значение SECCOMP_RET_KILL_THREAD, для более ясного различения двух этих действий.

Note: the use of SECCOMP_RET_KILL_THREAD to kill a single thread in a multithreaded process is likely to leave the process in a permanently inconsistent and possibly corrupt state.

SECCOMP_RET_TRAP

Это значение приводит к отправке ядром направленного в нить сигнала SIGSYS возбудившей нити (системный вызов не выполняется). Заполняются некоторые поля структуры siginfo_t (смотрите sigaction(2)), связанные с сигналом:

Программный счётчик будет таким же как при системном вызове (т. е., программный счётчик не будет указывать на инструкцию системного вызова). В регистре возвращаемого значения будет содержаться значение, зависящее от архитектуры; если выполнение продолжится, оно равно чему-нибудь подходящему для системного вызова (зависимость от архитектуры возникает из-за того, что при замене его на ENOSYS может перезаписаться какая-нибудь полезная информация).

SECCOMP_RET_ERRNO

Это значение приводит к тому, что часть SECCOMP_RET_DATA возвращаемого значения фильтра передаётся в пространство пользователя в виде значения errno без выполнения системного вызова.

SECCOMP_RET_TRACE

При возврате это значение заставит ядро попытаться уведомить трассировщик на основе ptrace(2) до выполнения системного вызова. Если трассировщика нет, то системный вызов не выполняется и возвращается состояние ошибки со значением errno равным ENOSYS.

Трассировщик будет уведомлён, если он запросил PTRACE_O_TRACESECCOMP посредством ptrace(PTRACE_SETOPTIONS). Трассировщик будет уведомлён о PTRACE_EVENT_SECCOMP, а часть SECCOMP_RET_DATA возвращаемого значения фильтра будет доступна через PTRACE_GETEVENTMSG.

Трассировщик может пропустить системный вызов, изменив номер системного вызова на -1. Или же он может изменить запрашиваемый системный вызов на системный вызов с другим номером. Если трассировщик просит пропустить системный вызов, то системный вызов появится в возвращаемом значении, которое трассировщик помещает в регистр возвращаемого значения.

До ядра 4.8 проверка seccomp не будет запущена ещё раз после уведомления трассировщика (для старых ядер это означает, что ограниченные окружения (sandbox) на основе seccomp не должны позволять использовать ptrace(2) — даже другим процессам в окружении — без максимальной предосторожности; ptracer-ы могут использовать этот механизм для выхода из окружения seccomp).

Note that a tracer process will not be notified if another filter returns an action value with a precedence greater than SECCOMP_RET_TRACE.

SECCOMP_RET_LOG (начиная с Linux 4.14)

Это значение приводит к выполнению системного вызова после протоколирования фильтра, возвращающего действие. Администратор может заменить протоколирование этого действия в файле /proc/sys/kernel/seccomp/actions_logged.

SECCOMP_RET_ALLOW

Это значение приводит к выполнению системного вызова.

Если значение действия ни одно из указанных выше, то действием фильтра считается или SECCOMP_RET_KILL_PROCESS (начиная с Linux 4.14), или SECCOMP_RET_KILL_THREAD (в Linux 4.13 и старее).

Интерфейс /proc¶

Файлы в каталоге /proc/sys/kernel/seccomp предоставляют дополнительную информацию seccomp и настройку:

actions_avail (начиная с Linux 4.14)

Доступный только для чтения упорядоченный список возвращаемых действий фильтром seccomp в виде строки. Список упорядочен слева направо в порядке уменьшения приоритета. Представляет собой набор возвращаемых фильтром seccomp действий, поддерживаемых ядром.

actions_logged (начиная с Linux 4.14)

Доступный для чтения-записи упорядоченный список возвращаемых действий фильтром seccomp, которые разрешено протоколировать. Записи в файл не нужно упорядочивать, но прочитанные данные будут упорядочены также как в файле actions_avail.

Важно отметить, что значение actions_logged не останавливает от протоколирования определённого фильтра возвращаемых действий, если подсистема аудита настроена на аудит задачи. Если действие не найдено в файле actions_logged, то конечное решение об аудите действия для этой задачи, в конечном итоге, основывается на действие подсистемы аудита для всех фильтров возвращающих действия, кроме SECCOMP_RET_ALLOW.

Строка «allow» недопустима в файле actions_logged, так как невозможно протоколирование действий SECCOMP_RET_ALLOW. Попытка записи «allow» в файле завершится ошибкой EINVAL.

Ведение журнала контроля действий seccomp¶

Начиная с Linux 4.14 ядро позволяет протоколировать действия, возвращаемые фильтрами seccomp в журнал контроля (audit log). Ядро принимает решение о протоколировании действие основываясь на типе действия, имеется ли действие в файле actions_logged и включён ли контроль в ядре (например, посредством параметра загрузки ядра audit=1). Правила следующие:

• Если действие — SECCOMP_RET_ALLOW, то оно не протоколируется.
• В противном случае, если действие SECCOMP_RET_KILL_PROCESS или SECCOMP_RET_KILL_THREAD, и это действие есть в файле actions_logged, то действие протоколируется.
• В противном случае, если для фильтра запрошено протоколирование (флаг SECCOMP_FILTER_FLAG_LOG) и действие есть в файле actions_logged, то действие протоколируется.
• В противном случае, если включён контроль в ядре и процесс контролируется (autrace(8)), то действие протоколируется.
• В противном случае действие не протоколируется.

Архитектурная поддержка seccomp BPF¶

Архитектурная поддержка фильтрации seccomp BPF доступна на следующих архитектурах:

• x86-64, i386, x32 (начиная с Linux 3.5)
• ARM (начиная с Linux 3.8)
• s390 (начиная с Linux 3.8)
• MIPS (начиная с Linux 3.16)
• ARM-64 (начиная с Linux 3.19)
• PowerPC (начиная с Linux 4.3)
• Tile (начиная с Linux 4.3)
• PA-RISC (начиная с Linux 4.6)

Предостережения¶

Есть различные тонкости, которые нужно учитывать при применении фильтров seccomp к программе:

• На многих архитектурах некоторые обычные системные вызовы реализованы в пользовательском пространстве в vdso(7). Заметными примерами можно считать clock_gettime(2), gettimeofday(2) и time(2). На таких архитектурах фильтрация seccomp данных системных вызовов не действует (однако, есть случаи где реализации vdso(7) могут вызвать реальный системный вызов и фильтры seccomp filters увидят такое обращение).
• Фильтрация seccomp работает по номерам системных вызовов. Однако, обычно, в приложениях системные вызовы вызываются не напрямую, а через обёрточные функции библиотеки C, которые, в свою очередь, вызывают системные вызовы. Следовательно, нужно учитывать следующее:

В следствии вышеупомянутого возможно понадобится фильтровать не тот системный вызов, который ожидался. В различных справочных страницах раздела 2 есть абзац Отличия между библиотекой C и ядром, в котором содержится полезная информация о различиях между оберточными функциями и нижележащими системными вызовами.

Кроме того, обратите внимание, что применение фильтров seccomp даже может привести к появлению дефектов приложений, когда фильтры вызывают неожиданные отказы для законных операций, которые приложение, возможно, должно было бы выполнить. Такие дефекты может оказаться нелегко обнаружить при тестировании фильтров seccomp, если дефекты возникают в редко используемых путях кода приложения.

Особенности seccomp в BPF¶

Заметим, что следующие особенности BPF относятся только к фильтрам seccomp:

• Модификаторы размера BPF_H и BPF_B не поддерживаются: все операции должны загружать и сохранять слова (4-байта) (BPF_W).
• Для доступа к содержимому буфера seccomp_data используйте модификатор режима адресации BPF_ABS.
• Модификатор режима адресации BPF_LEN выдаёт непосредственный операнд режима, чьё значение равно размеру буфера seccomp_data.

Исходный код программы¶

#include <errno.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <linux/audit.h>
#include <linux/filter.h>
#include <linux/seccomp.h>
#include <sys/prctl.h>
#define X32_SYSCALL_BIT 0x40000000
#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))
static int
install_filter(int syscall_nr, int t_arch, int f_errno)
{


    unsigned int upper_nr_limit = 0xffffffff;


    /* предполагается, что AUDIT_ARCH_X86_64 означает обычный x86-64 ABI


       (в x32 ABI у всех системных вызовов установлены 30 бит в поле


       'nr', то есть номера >= X32_SYSCALL_BIT) */


    if (t_arch == AUDIT_ARCH_X86_64)


        upper_nr_limit = X32_SYSCALL_BIT - 1;


    struct sock_filter filter[] = {


        /* [0] загружаем архитектуру из буфера 'seccomp_data' в


               аккумулятор */


        BPF_STMT(BPF_LD | BPF_W | BPF_ABS,


                 (offsetof(struct seccomp_data, arch))),


        /* [1] прыгаем вперёд на 5 инструкции, если архитектура не совпадает


               с 't_arch' */


        BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, t_arch, 0, 4),


        /* [2] загружаем номер системного вызова из буфера 'seccomp_data' в


               аккумулятор */


        BPF_STMT(BPF_LD | BPF_W | BPF_ABS,


                 (offsetof(struct seccomp_data, nr))),


        /* [3] Check ABI - only needed for x86-64 in deny-list use


               cases.  Use BPF_JGT instead of checking against the bit


               mask to avoid having to reload the syscall number. */


        BPF_JUMP(BPF_JMP | BPF_JGT | BPF_K, upper_nr_limit, 3, 0),


        /* [4] прыгаем вперёд на 1 инструкцию, если номер системного вызова


               не совпадает с 'syscall_nr' */


        BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, syscall_nr, 0, 1),


        /* [5] совпала архитектура и системный вызов: не выполняем


           системный вызов и возвращаем 'f_errno' в 'errno' */


        BPF_STMT(BPF_RET | BPF_K,


                 SECCOMP_RET_ERRNO | (f_errno & SECCOMP_RET_DATA)),


        /* [6] не совпал номер системного вызова: разрешаем


               работу других системных вызовов */


        BPF_STMT(BPF_RET | BPF_K, SECCOMP_RET_ALLOW),


        /* [7] Destination of architecture mismatch: kill process */


        BPF_STMT(BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS),


    };


    struct sock_fprog prog = {


        .len = ARRAY_SIZE(filter),


        .filter = filter,


    };


    if (seccomp(SECCOMP_SET_MODE_FILTER, 0, &prog)) {


        perror("seccomp");


        return 1;


    }


    return 0;
}
int
main(int argc, char **argv)
{


    if (argc < 5) {


        fprintf(stderr, "Использование: "


                "%s <syscall_nr> <arch> <errno> <prog> [<args>]\n"


                "Подсказка для <arch>: AUDIT_ARCH_I386: 0x%X\n"


                "                 AUDIT_ARCH_X86_64: 0x%X\n"


                "\n", argv[0], AUDIT_ARCH_I386, AUDIT_ARCH_X86_64);


        exit(EXIT_FAILURE);


    }


    if (prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0)) {


        perror("prctl");


        exit(EXIT_FAILURE);


    }


    if (install_filter(strtol(argv[1], NULL, 0),


                       strtol(argv[2], NULL, 0),


                       strtol(argv[3], NULL, 0)))


        exit(EXIT_FAILURE);


    execv(argv[4], &argv[4]);


    perror("execv");


    exit(EXIT_FAILURE);
}