LCOV - code coverage report
Current view: top level - discof/restore/generated - fd_snapld_tile_seccomp.h (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 0 89 0.0 %
Date: 2025-12-06 04:45:29 Functions: 0 1 0.0 %

          Line data    Source code
       1             : /* THIS FILE WAS GENERATED BY generate_filters.py. DO NOT EDIT BY HAND! */
       2             : #ifndef HEADER_fd_src_discof_restore_generated_fd_snapld_tile_seccomp_h
       3             : #define HEADER_fd_src_discof_restore_generated_fd_snapld_tile_seccomp_h
       4             : 
       5             : #if defined(__linux__)
       6             : 
       7             : #include "../../../../src/util/fd_util_base.h"
       8             : #include <linux/audit.h>
       9             : #include <linux/capability.h>
      10             : #include <linux/filter.h>
      11             : #include <linux/seccomp.h>
      12             : #include <linux/bpf.h>
      13             : #include <linux/unistd.h>
      14             : #include <sys/syscall.h>
      15             : #include <signal.h>
      16             : #include <stddef.h>
      17             : 
      18             : #if defined(__i386__)
      19             : # define ARCH_NR  AUDIT_ARCH_I386
      20             : #elif defined(__x86_64__)
      21             : # define ARCH_NR  AUDIT_ARCH_X86_64
      22             : #elif defined(__aarch64__)
      23             : # define ARCH_NR AUDIT_ARCH_AARCH64
      24             : #else
      25             : # error "Target architecture is unsupported by seccomp."
      26             : #endif
      27             : static const unsigned int sock_filter_policy_fd_snapld_tile_instr_cnt = 84;
      28             : 
      29           0 : static void populate_sock_filter_policy_fd_snapld_tile( ulong out_cnt, struct sock_filter * out, uint logfile_fd, uint in_full_fd, uint in_incr_fd, uint sockfd ) {
      30           0 :   FD_TEST( out_cnt >= 84 );
      31           0 :   struct sock_filter filter[84] = {
      32             :     /* Check: Jump to RET_KILL_PROCESS if the script's arch != the runtime arch */
      33           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, ( offsetof( struct seccomp_data, arch ) ) ),
      34           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ARCH_NR, 0, /* RET_KILL_PROCESS */ 80 ),
      35             :     /* loading syscall number in accumulator */
      36           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, ( offsetof( struct seccomp_data, nr ) ) ),
      37             :     /* allow write based on expression */
      38           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_write, /* check_write */ 14, 0 ),
      39             :     /* allow fsync based on expression */
      40           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_fsync, /* check_fsync */ 19, 0 ),
      41             :     /* allow read based on expression */
      42           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_read, /* check_read */ 20, 0 ),
      43             :     /* allow lseek based on expression */
      44           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_lseek, /* check_lseek */ 25, 0 ),
      45             :     /* allow socket based on expression */
      46           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_socket, /* check_socket */ 32, 0 ),
      47             :     /* allow connect based on expression */
      48           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_connect, /* check_connect */ 37, 0 ),
      49             :     /* allow close based on expression */
      50           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_close, /* check_close */ 44, 0 ),
      51             :     /* allow sendto based on expression */
      52           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_sendto, /* check_sendto */ 51, 0 ),
      53             :     /* allow recvfrom based on expression */
      54           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_recvfrom, /* check_recvfrom */ 58, 0 ),
      55             :     /* allow ppoll based on expression */
      56           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_ppoll, /* check_ppoll */ 65, 0 ),
      57             :     /* simply allow clock_nanosleep */
      58           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_clock_nanosleep, /* RET_ALLOW */ 69, 0 ),
      59             :     /* simply allow getpid */
      60           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_getpid, /* RET_ALLOW */ 68, 0 ),
      61             :     /* simply allow getrandom */
      62           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_getrandom, /* RET_ALLOW */ 67, 0 ),
      63             :     /* allow exit based on expression */
      64           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_exit, /* check_exit */ 63, 0 ),
      65             :     /* none of the syscalls matched */
      66           0 :     { BPF_JMP | BPF_JA, 0, 0, /* RET_KILL_PROCESS */ 64 },
      67             : //  check_write:
      68             :     /* load syscall argument 0 in accumulator */
      69           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      70           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 2, /* RET_ALLOW */ 63, /* lbl_1 */ 0 ),
      71             : //  lbl_1:
      72             :     /* load syscall argument 0 in accumulator */
      73           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      74           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, logfile_fd, /* RET_ALLOW */ 61, /* lbl_2 */ 0 ),
      75             : //  lbl_2:
      76             :     /* load syscall argument 0 in accumulator */
      77           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      78           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, sockfd, /* RET_ALLOW */ 59, /* RET_KILL_PROCESS */ 58 ),
      79             : //  check_fsync:
      80             :     /* load syscall argument 0 in accumulator */
      81           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      82           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, logfile_fd, /* RET_ALLOW */ 57, /* RET_KILL_PROCESS */ 56 ),
      83             : //  check_read:
      84             :     /* load syscall argument 0 in accumulator */
      85           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      86           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_full_fd, /* RET_ALLOW */ 55, /* lbl_3 */ 0 ),
      87             : //  lbl_3:
      88             :     /* load syscall argument 0 in accumulator */
      89           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      90           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_incr_fd, /* RET_ALLOW */ 53, /* lbl_4 */ 0 ),
      91             : //  lbl_4:
      92             :     /* load syscall argument 0 in accumulator */
      93           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      94           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, sockfd, /* RET_ALLOW */ 51, /* RET_KILL_PROCESS */ 50 ),
      95             : //  check_lseek:
      96             :     /* load syscall argument 0 in accumulator */
      97           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
      98           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_full_fd, /* lbl_5 */ 2, /* lbl_6 */ 0 ),
      99             : //  lbl_6:
     100             :     /* load syscall argument 0 in accumulator */
     101           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     102           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_incr_fd, /* lbl_5 */ 0, /* RET_KILL_PROCESS */ 46 ),
     103             : //  lbl_5:
     104             :     /* load syscall argument 1 in accumulator */
     105           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[1])),
     106           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0, /* lbl_7 */ 0, /* RET_KILL_PROCESS */ 44 ),
     107             : //  lbl_7:
     108             :     /* load syscall argument 2 in accumulator */
     109           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[2])),
     110           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SEEK_SET, /* RET_ALLOW */ 43, /* RET_KILL_PROCESS */ 42 ),
     111             : //  check_socket:
     112             :     /* load syscall argument 0 in accumulator */
     113           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     114           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, AF_INET, /* lbl_8 */ 0, /* RET_KILL_PROCESS */ 40 ),
     115             : //  lbl_8:
     116             :     /* load syscall argument 1 in accumulator */
     117           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[1])),
     118           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SOCK_STREAM|SOCK_NONBLOCK, /* lbl_9 */ 0, /* RET_KILL_PROCESS */ 38 ),
     119             : //  lbl_9:
     120             :     /* load syscall argument 2 in accumulator */
     121           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[2])),
     122           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0, /* RET_ALLOW */ 37, /* RET_KILL_PROCESS */ 36 ),
     123             : //  check_connect:
     124             :     /* load syscall argument 0 in accumulator */
     125           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     126           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 2, /* RET_KILL_PROCESS */ 34, /* lbl_10 */ 0 ),
     127             : //  lbl_10:
     128             :     /* load syscall argument 0 in accumulator */
     129           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     130           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, logfile_fd, /* RET_KILL_PROCESS */ 32, /* lbl_11 */ 0 ),
     131             : //  lbl_11:
     132             :     /* load syscall argument 0 in accumulator */
     133           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     134           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_full_fd, /* RET_KILL_PROCESS */ 30, /* lbl_12 */ 0 ),
     135             : //  lbl_12:
     136             :     /* load syscall argument 0 in accumulator */
     137           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     138           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_incr_fd, /* RET_KILL_PROCESS */ 28, /* RET_ALLOW */ 29 ),
     139             : //  check_close:
     140             :     /* load syscall argument 0 in accumulator */
     141           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     142           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 2, /* RET_KILL_PROCESS */ 26, /* lbl_13 */ 0 ),
     143             : //  lbl_13:
     144             :     /* load syscall argument 0 in accumulator */
     145           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     146           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, logfile_fd, /* RET_KILL_PROCESS */ 24, /* lbl_14 */ 0 ),
     147             : //  lbl_14:
     148             :     /* load syscall argument 0 in accumulator */
     149           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     150           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_full_fd, /* RET_KILL_PROCESS */ 22, /* lbl_15 */ 0 ),
     151             : //  lbl_15:
     152             :     /* load syscall argument 0 in accumulator */
     153           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     154           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_incr_fd, /* RET_KILL_PROCESS */ 20, /* RET_ALLOW */ 21 ),
     155             : //  check_sendto:
     156             :     /* load syscall argument 0 in accumulator */
     157           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     158           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 2, /* RET_KILL_PROCESS */ 18, /* lbl_16 */ 0 ),
     159             : //  lbl_16:
     160             :     /* load syscall argument 0 in accumulator */
     161           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     162           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, logfile_fd, /* RET_KILL_PROCESS */ 16, /* lbl_17 */ 0 ),
     163             : //  lbl_17:
     164             :     /* load syscall argument 0 in accumulator */
     165           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     166           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_full_fd, /* RET_KILL_PROCESS */ 14, /* lbl_18 */ 0 ),
     167             : //  lbl_18:
     168             :     /* load syscall argument 0 in accumulator */
     169           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     170           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_incr_fd, /* RET_KILL_PROCESS */ 12, /* RET_ALLOW */ 13 ),
     171             : //  check_recvfrom:
     172             :     /* load syscall argument 0 in accumulator */
     173           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     174           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 2, /* RET_KILL_PROCESS */ 10, /* lbl_19 */ 0 ),
     175             : //  lbl_19:
     176             :     /* load syscall argument 0 in accumulator */
     177           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     178           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, logfile_fd, /* RET_KILL_PROCESS */ 8, /* lbl_20 */ 0 ),
     179             : //  lbl_20:
     180             :     /* load syscall argument 0 in accumulator */
     181           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     182           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_full_fd, /* RET_KILL_PROCESS */ 6, /* lbl_21 */ 0 ),
     183             : //  lbl_21:
     184             :     /* load syscall argument 0 in accumulator */
     185           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     186           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, in_incr_fd, /* RET_KILL_PROCESS */ 4, /* RET_ALLOW */ 5 ),
     187             : //  check_ppoll:
     188             :     /* load syscall argument 1 in accumulator */
     189           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[1])),
     190           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 1, /* RET_ALLOW */ 3, /* RET_KILL_PROCESS */ 2 ),
     191             : //  check_exit:
     192             :     /* load syscall argument 0 in accumulator */
     193           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, offsetof(struct seccomp_data, args[0])),
     194           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0, /* RET_ALLOW */ 1, /* RET_KILL_PROCESS */ 0 ),
     195             : //  RET_KILL_PROCESS:
     196             :     /* KILL_PROCESS is placed before ALLOW since it's the fallthrough case. */
     197           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     198             : //  RET_ALLOW:
     199             :     /* ALLOW has to be reached by jumping */
     200             :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     201           0 :   };
     202           0 :   fd_memcpy( out, filter, sizeof( filter ) );
     203           0 : }
     204             : 
     205             : #endif /* defined(__linux__) */
     206             : 
     207             : #endif /* HEADER_fd_src_discof_restore_generated_fd_snapld_tile_seccomp_h */

Generated by: LCOV version 1.14