sys/linux: add netlabel descriptions

This commit is contained in:
Dmitry Vyukov 2020-01-03 09:58:45 +01:00
parent 21d4f173c5
commit 4e3e3c8d4b
24 changed files with 7207 additions and 30 deletions

12
executor/defs.h generated
View File

@ -70,7 +70,7 @@
#if GOARCH_386
#define GOARCH "386"
#define SYZ_REVISION "bdfd343311f6861eba00e6289c12dd6a220c64e7"
#define SYZ_REVISION "7a677a67aa0fc117d1f9abe2ff37e7f54e3281fa"
#define SYZ_EXECUTOR_USES_FORK_SERVER 1
#define SYZ_EXECUTOR_USES_SHMEM 1
#define SYZ_PAGE_SIZE 4096
@ -80,7 +80,7 @@
#if GOARCH_amd64
#define GOARCH "amd64"
#define SYZ_REVISION "957cf7cb89be50a8b01e8ec36726e7c90da62e80"
#define SYZ_REVISION "10db21b7d8208facd04670775a3dbd60e1556d85"
#define SYZ_EXECUTOR_USES_FORK_SERVER 1
#define SYZ_EXECUTOR_USES_SHMEM 1
#define SYZ_PAGE_SIZE 4096
@ -90,7 +90,7 @@
#if GOARCH_arm
#define GOARCH "arm"
#define SYZ_REVISION "366f3e2b62a75624908f985c6c51967a4e2c156c"
#define SYZ_REVISION "70741613bdd81f3e4d8893cc5d9091550412e769"
#define SYZ_EXECUTOR_USES_FORK_SERVER 1
#define SYZ_EXECUTOR_USES_SHMEM 1
#define SYZ_PAGE_SIZE 4096
@ -100,7 +100,7 @@
#if GOARCH_arm64
#define GOARCH "arm64"
#define SYZ_REVISION "ab724238815da28bd8b5888ee082f257c398c909"
#define SYZ_REVISION "b346578b5c62dbf7d05004406b898edfb6c49816"
#define SYZ_EXECUTOR_USES_FORK_SERVER 1
#define SYZ_EXECUTOR_USES_SHMEM 1
#define SYZ_PAGE_SIZE 4096
@ -110,7 +110,7 @@
#if GOARCH_mips64le
#define GOARCH "mips64le"
#define SYZ_REVISION "3f7ba58c325cb6fd01adc9924869ae726b2dd290"
#define SYZ_REVISION "9ec454242677d05977953f4b5d1d88f858cd3a75"
#define SYZ_EXECUTOR_USES_FORK_SERVER 1
#define SYZ_EXECUTOR_USES_SHMEM 1
#define SYZ_PAGE_SIZE 4096
@ -120,7 +120,7 @@
#if GOARCH_ppc64le
#define GOARCH "ppc64le"
#define SYZ_REVISION "cfb9580cdd7aaa26d37084e76cfae9344a00e1ae"
#define SYZ_REVISION "482a1a6823af8deef65d2e1727f013e514bd9163"
#define SYZ_EXECUTOR_USES_FORK_SERVER 1
#define SYZ_EXECUTOR_USES_SHMEM 1
#define SYZ_PAGE_SIZE 4096

View File

@ -4280,6 +4280,30 @@ const call_t syscalls[] = {
{"sendmsg$NBD_CMD_STATUS", 370},
{"sendmsg$NET_DM_CMD_START", 370},
{"sendmsg$NET_DM_CMD_STOP", 370},
{"sendmsg$NLBL_CALIPSO_C_ADD", 370},
{"sendmsg$NLBL_CALIPSO_C_LIST", 370},
{"sendmsg$NLBL_CALIPSO_C_LISTALL", 370},
{"sendmsg$NLBL_CALIPSO_C_REMOVE", 370},
{"sendmsg$NLBL_CIPSOV4_C_ADD", 370},
{"sendmsg$NLBL_CIPSOV4_C_LIST", 370},
{"sendmsg$NLBL_CIPSOV4_C_LISTALL", 370},
{"sendmsg$NLBL_CIPSOV4_C_REMOVE", 370},
{"sendmsg$NLBL_MGMT_C_ADD", 370},
{"sendmsg$NLBL_MGMT_C_ADDDEF", 370},
{"sendmsg$NLBL_MGMT_C_LISTALL", 370},
{"sendmsg$NLBL_MGMT_C_LISTDEF", 370},
{"sendmsg$NLBL_MGMT_C_PROTOCOLS", 370},
{"sendmsg$NLBL_MGMT_C_REMOVE", 370},
{"sendmsg$NLBL_MGMT_C_REMOVEDEF", 370},
{"sendmsg$NLBL_MGMT_C_VERSION", 370},
{"sendmsg$NLBL_UNLABEL_C_ACCEPT", 370},
{"sendmsg$NLBL_UNLABEL_C_LIST", 370},
{"sendmsg$NLBL_UNLABEL_C_STATICADD", 370},
{"sendmsg$NLBL_UNLABEL_C_STATICADDDEF", 370},
{"sendmsg$NLBL_UNLABEL_C_STATICLIST", 370},
{"sendmsg$NLBL_UNLABEL_C_STATICLISTDEF", 370},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVE", 370},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF", 370},
{"sendmsg$SEG6_CMD_DUMPHMAC", 370},
{"sendmsg$SEG6_CMD_GET_TUNSRC", 370},
{"sendmsg$SEG6_CMD_SETHMAC", 370},
@ -4780,6 +4804,10 @@ const call_t syscalls[] = {
{"syz_genetlink_get_family_id$l2tp", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$nbd", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$net_dm", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_calipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_cipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_mgmt", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_unlabel", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$team", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc2", 0, (syscall_t)syz_genetlink_get_family_id},
@ -7363,6 +7391,30 @@ const call_t syscalls[] = {
{"sendmsg$NBD_CMD_STATUS", 46},
{"sendmsg$NET_DM_CMD_START", 46},
{"sendmsg$NET_DM_CMD_STOP", 46},
{"sendmsg$NLBL_CALIPSO_C_ADD", 46},
{"sendmsg$NLBL_CALIPSO_C_LIST", 46},
{"sendmsg$NLBL_CALIPSO_C_LISTALL", 46},
{"sendmsg$NLBL_CALIPSO_C_REMOVE", 46},
{"sendmsg$NLBL_CIPSOV4_C_ADD", 46},
{"sendmsg$NLBL_CIPSOV4_C_LIST", 46},
{"sendmsg$NLBL_CIPSOV4_C_LISTALL", 46},
{"sendmsg$NLBL_CIPSOV4_C_REMOVE", 46},
{"sendmsg$NLBL_MGMT_C_ADD", 46},
{"sendmsg$NLBL_MGMT_C_ADDDEF", 46},
{"sendmsg$NLBL_MGMT_C_LISTALL", 46},
{"sendmsg$NLBL_MGMT_C_LISTDEF", 46},
{"sendmsg$NLBL_MGMT_C_PROTOCOLS", 46},
{"sendmsg$NLBL_MGMT_C_REMOVE", 46},
{"sendmsg$NLBL_MGMT_C_REMOVEDEF", 46},
{"sendmsg$NLBL_MGMT_C_VERSION", 46},
{"sendmsg$NLBL_UNLABEL_C_ACCEPT", 46},
{"sendmsg$NLBL_UNLABEL_C_LIST", 46},
{"sendmsg$NLBL_UNLABEL_C_STATICADD", 46},
{"sendmsg$NLBL_UNLABEL_C_STATICADDDEF", 46},
{"sendmsg$NLBL_UNLABEL_C_STATICLIST", 46},
{"sendmsg$NLBL_UNLABEL_C_STATICLISTDEF", 46},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVE", 46},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF", 46},
{"sendmsg$SEG6_CMD_DUMPHMAC", 46},
{"sendmsg$SEG6_CMD_GET_TUNSRC", 46},
{"sendmsg$SEG6_CMD_SETHMAC", 46},
@ -7862,6 +7914,10 @@ const call_t syscalls[] = {
{"syz_genetlink_get_family_id$l2tp", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$nbd", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$net_dm", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_calipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_cipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_mgmt", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_unlabel", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$team", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc2", 0, (syscall_t)syz_genetlink_get_family_id},
@ -10401,6 +10457,30 @@ const call_t syscalls[] = {
{"sendmsg$NBD_CMD_STATUS", 296},
{"sendmsg$NET_DM_CMD_START", 296},
{"sendmsg$NET_DM_CMD_STOP", 296},
{"sendmsg$NLBL_CALIPSO_C_ADD", 296},
{"sendmsg$NLBL_CALIPSO_C_LIST", 296},
{"sendmsg$NLBL_CALIPSO_C_LISTALL", 296},
{"sendmsg$NLBL_CALIPSO_C_REMOVE", 296},
{"sendmsg$NLBL_CIPSOV4_C_ADD", 296},
{"sendmsg$NLBL_CIPSOV4_C_LIST", 296},
{"sendmsg$NLBL_CIPSOV4_C_LISTALL", 296},
{"sendmsg$NLBL_CIPSOV4_C_REMOVE", 296},
{"sendmsg$NLBL_MGMT_C_ADD", 296},
{"sendmsg$NLBL_MGMT_C_ADDDEF", 296},
{"sendmsg$NLBL_MGMT_C_LISTALL", 296},
{"sendmsg$NLBL_MGMT_C_LISTDEF", 296},
{"sendmsg$NLBL_MGMT_C_PROTOCOLS", 296},
{"sendmsg$NLBL_MGMT_C_REMOVE", 296},
{"sendmsg$NLBL_MGMT_C_REMOVEDEF", 296},
{"sendmsg$NLBL_MGMT_C_VERSION", 296},
{"sendmsg$NLBL_UNLABEL_C_ACCEPT", 296},
{"sendmsg$NLBL_UNLABEL_C_LIST", 296},
{"sendmsg$NLBL_UNLABEL_C_STATICADD", 296},
{"sendmsg$NLBL_UNLABEL_C_STATICADDDEF", 296},
{"sendmsg$NLBL_UNLABEL_C_STATICLIST", 296},
{"sendmsg$NLBL_UNLABEL_C_STATICLISTDEF", 296},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVE", 296},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF", 296},
{"sendmsg$SEG6_CMD_DUMPHMAC", 296},
{"sendmsg$SEG6_CMD_GET_TUNSRC", 296},
{"sendmsg$SEG6_CMD_SETHMAC", 296},
@ -10899,6 +10979,10 @@ const call_t syscalls[] = {
{"syz_genetlink_get_family_id$l2tp", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$nbd", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$net_dm", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_calipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_cipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_mgmt", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_unlabel", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$team", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc2", 0, (syscall_t)syz_genetlink_get_family_id},
@ -13415,6 +13499,30 @@ const call_t syscalls[] = {
{"sendmsg$NBD_CMD_STATUS", 211},
{"sendmsg$NET_DM_CMD_START", 211},
{"sendmsg$NET_DM_CMD_STOP", 211},
{"sendmsg$NLBL_CALIPSO_C_ADD", 211},
{"sendmsg$NLBL_CALIPSO_C_LIST", 211},
{"sendmsg$NLBL_CALIPSO_C_LISTALL", 211},
{"sendmsg$NLBL_CALIPSO_C_REMOVE", 211},
{"sendmsg$NLBL_CIPSOV4_C_ADD", 211},
{"sendmsg$NLBL_CIPSOV4_C_LIST", 211},
{"sendmsg$NLBL_CIPSOV4_C_LISTALL", 211},
{"sendmsg$NLBL_CIPSOV4_C_REMOVE", 211},
{"sendmsg$NLBL_MGMT_C_ADD", 211},
{"sendmsg$NLBL_MGMT_C_ADDDEF", 211},
{"sendmsg$NLBL_MGMT_C_LISTALL", 211},
{"sendmsg$NLBL_MGMT_C_LISTDEF", 211},
{"sendmsg$NLBL_MGMT_C_PROTOCOLS", 211},
{"sendmsg$NLBL_MGMT_C_REMOVE", 211},
{"sendmsg$NLBL_MGMT_C_REMOVEDEF", 211},
{"sendmsg$NLBL_MGMT_C_VERSION", 211},
{"sendmsg$NLBL_UNLABEL_C_ACCEPT", 211},
{"sendmsg$NLBL_UNLABEL_C_LIST", 211},
{"sendmsg$NLBL_UNLABEL_C_STATICADD", 211},
{"sendmsg$NLBL_UNLABEL_C_STATICADDDEF", 211},
{"sendmsg$NLBL_UNLABEL_C_STATICLIST", 211},
{"sendmsg$NLBL_UNLABEL_C_STATICLISTDEF", 211},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVE", 211},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF", 211},
{"sendmsg$SEG6_CMD_DUMPHMAC", 211},
{"sendmsg$SEG6_CMD_GET_TUNSRC", 211},
{"sendmsg$SEG6_CMD_SETHMAC", 211},
@ -13907,6 +14015,10 @@ const call_t syscalls[] = {
{"syz_genetlink_get_family_id$l2tp", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$nbd", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$net_dm", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_calipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_cipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_mgmt", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_unlabel", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$team", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc2", 0, (syscall_t)syz_genetlink_get_family_id},
@ -16332,6 +16444,30 @@ const call_t syscalls[] = {
{"sendmsg$NBD_CMD_STATUS", 5045},
{"sendmsg$NET_DM_CMD_START", 5045},
{"sendmsg$NET_DM_CMD_STOP", 5045},
{"sendmsg$NLBL_CALIPSO_C_ADD", 5045},
{"sendmsg$NLBL_CALIPSO_C_LIST", 5045},
{"sendmsg$NLBL_CALIPSO_C_LISTALL", 5045},
{"sendmsg$NLBL_CALIPSO_C_REMOVE", 5045},
{"sendmsg$NLBL_CIPSOV4_C_ADD", 5045},
{"sendmsg$NLBL_CIPSOV4_C_LIST", 5045},
{"sendmsg$NLBL_CIPSOV4_C_LISTALL", 5045},
{"sendmsg$NLBL_CIPSOV4_C_REMOVE", 5045},
{"sendmsg$NLBL_MGMT_C_ADD", 5045},
{"sendmsg$NLBL_MGMT_C_ADDDEF", 5045},
{"sendmsg$NLBL_MGMT_C_LISTALL", 5045},
{"sendmsg$NLBL_MGMT_C_LISTDEF", 5045},
{"sendmsg$NLBL_MGMT_C_PROTOCOLS", 5045},
{"sendmsg$NLBL_MGMT_C_REMOVE", 5045},
{"sendmsg$NLBL_MGMT_C_REMOVEDEF", 5045},
{"sendmsg$NLBL_MGMT_C_VERSION", 5045},
{"sendmsg$NLBL_UNLABEL_C_ACCEPT", 5045},
{"sendmsg$NLBL_UNLABEL_C_LIST", 5045},
{"sendmsg$NLBL_UNLABEL_C_STATICADD", 5045},
{"sendmsg$NLBL_UNLABEL_C_STATICADDDEF", 5045},
{"sendmsg$NLBL_UNLABEL_C_STATICLIST", 5045},
{"sendmsg$NLBL_UNLABEL_C_STATICLISTDEF", 5045},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVE", 5045},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF", 5045},
{"sendmsg$SEG6_CMD_DUMPHMAC", 5045},
{"sendmsg$SEG6_CMD_GET_TUNSRC", 5045},
{"sendmsg$SEG6_CMD_SETHMAC", 5045},
@ -16831,6 +16967,10 @@ const call_t syscalls[] = {
{"syz_genetlink_get_family_id$l2tp", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$nbd", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$net_dm", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_calipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_cipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_mgmt", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_unlabel", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$team", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc2", 0, (syscall_t)syz_genetlink_get_family_id},
@ -19364,6 +19504,30 @@ const call_t syscalls[] = {
{"sendmsg$NBD_CMD_STATUS", 341},
{"sendmsg$NET_DM_CMD_START", 341},
{"sendmsg$NET_DM_CMD_STOP", 341},
{"sendmsg$NLBL_CALIPSO_C_ADD", 341},
{"sendmsg$NLBL_CALIPSO_C_LIST", 341},
{"sendmsg$NLBL_CALIPSO_C_LISTALL", 341},
{"sendmsg$NLBL_CALIPSO_C_REMOVE", 341},
{"sendmsg$NLBL_CIPSOV4_C_ADD", 341},
{"sendmsg$NLBL_CIPSOV4_C_LIST", 341},
{"sendmsg$NLBL_CIPSOV4_C_LISTALL", 341},
{"sendmsg$NLBL_CIPSOV4_C_REMOVE", 341},
{"sendmsg$NLBL_MGMT_C_ADD", 341},
{"sendmsg$NLBL_MGMT_C_ADDDEF", 341},
{"sendmsg$NLBL_MGMT_C_LISTALL", 341},
{"sendmsg$NLBL_MGMT_C_LISTDEF", 341},
{"sendmsg$NLBL_MGMT_C_PROTOCOLS", 341},
{"sendmsg$NLBL_MGMT_C_REMOVE", 341},
{"sendmsg$NLBL_MGMT_C_REMOVEDEF", 341},
{"sendmsg$NLBL_MGMT_C_VERSION", 341},
{"sendmsg$NLBL_UNLABEL_C_ACCEPT", 341},
{"sendmsg$NLBL_UNLABEL_C_LIST", 341},
{"sendmsg$NLBL_UNLABEL_C_STATICADD", 341},
{"sendmsg$NLBL_UNLABEL_C_STATICADDDEF", 341},
{"sendmsg$NLBL_UNLABEL_C_STATICLIST", 341},
{"sendmsg$NLBL_UNLABEL_C_STATICLISTDEF", 341},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVE", 341},
{"sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF", 341},
{"sendmsg$SEG6_CMD_DUMPHMAC", 341},
{"sendmsg$SEG6_CMD_GET_TUNSRC", 341},
{"sendmsg$SEG6_CMD_SETHMAC", 341},
@ -19861,6 +20025,10 @@ const call_t syscalls[] = {
{"syz_genetlink_get_family_id$l2tp", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$nbd", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$net_dm", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_calipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_cipso", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_mgmt", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$netlbl_unlabel", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$team", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc", 0, (syscall_t)syz_genetlink_get_family_id},
{"syz_genetlink_get_family_id$tipc2", 0, (syscall_t)syz_genetlink_get_family_id},

1048
sys/linux/gen/386.go generated

File diff suppressed because one or more lines are too long

1096
sys/linux/gen/amd64.go generated

File diff suppressed because one or more lines are too long

1048
sys/linux/gen/arm.go generated

File diff suppressed because one or more lines are too long

1096
sys/linux/gen/arm64.go generated

File diff suppressed because one or more lines are too long

1096
sys/linux/gen/mips64le.go generated

File diff suppressed because one or more lines are too long

1096
sys/linux/gen/ppc64le.go generated

File diff suppressed because one or more lines are too long

View File

@ -1,6 +1,6 @@
bad-field-number: sockaddr_nl: syz=3 kernel=4
bad-field-size: sockaddr_nl.kern/nl_family: syz=12 kernel=2
bad-field-offset: sockaddr_nl.proc/nl_pad: syz=12 kernel=2
bad-field-size: sockaddr_nl.proc/nl_pad: syz=12 kernel=2
bad-field-size: sockaddr_nl.unspec/nl_pid: syz=12 kernel=4
bad-field-offset: sockaddr_nl.unspec/nl_pid: syz=24 kernel=4
no-such-struct: sockaddr_nl_send

View File

@ -0,0 +1,120 @@
# Copyright 2020 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
include <linux/net.h>
include <uapi/linux/netlink.h>
include <uapi/linux/genetlink.h>
include <net/netlabel.h>
include <net/cipso_ipv4.h>
include <net/calipso.h>
include <net/netlabel/netlabel_mgmt.h>
include <net/netlabel/netlabel_unlabeled.h>
include <net/netlabel/netlabel_cipso_v4.h>
include <net/netlabel/netlabel_calipso.h>
# MGMT
resource netlbl_mgmt_family_id[int16]
type msghdr_netlbl_mgmt[CMD] msghdr_netlink[netlink_msg_t[netlbl_mgmt_family_id, genlmsghdr_t[CMD], netlbl_mgmt_genl_policy]]
syz_genetlink_get_family_id$netlbl_mgmt(name ptr[in, string["NLBL_MGMT"]]) netlbl_mgmt_family_id
sendmsg$NLBL_MGMT_C_ADD(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_ADD]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_REMOVE(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_REMOVE]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_LISTALL(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_LISTALL]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_ADDDEF(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_ADDDEF]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_REMOVEDEF(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_REMOVEDEF]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_LISTDEF(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_LISTDEF]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_PROTOCOLS(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_PROTOCOLS]], f flags[send_flags])
sendmsg$NLBL_MGMT_C_VERSION(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_mgmt[NLBL_MGMT_C_VERSION]], f flags[send_flags])
netlbl_mgmt_genl_policy [
# NLBL_MGMT_A_VERSION, NLBL_MGMT_A_ADDRSELECTOR, NLBL_MGMT_A_SELECTORLIST are output.
NLBL_MGMT_A_DOMAIN nlattr[NLBL_MGMT_A_DOMAIN, string]
NLBL_MGMT_A_PROTOCOL nlattr[NLBL_MGMT_A_PROTOCOL, flags[nlbl_mgmt_protocol, int32]]
NLBL_MGMT_A_CV4DOI nlattr[NLBL_MGMT_A_CV4DOI, flags[cipso_doi, int32]]
NLBL_MGMT_A_FAMILY nlattr[NLBL_MGMT_A_FAMILY, flags[socket_domain, int16]]
NLBL_MGMT_A_CLPDOI nlattr[NLBL_MGMT_A_CLPDOI, flags[calipso_doi, int32]]
NLBL_MGMT_A_IPV6ADDR nlattr[NLBL_MGMT_A_IPV6ADDR, ipv6_addr]
NLBL_MGMT_A_IPV6MASK nlattr[NLBL_MGMT_A_IPV6MASK, ipv6_addr]
NLBL_MGMT_A_IPV4ADDR nlattr[NLBL_MGMT_A_IPV4ADDR, ipv4_addr]
NLBL_MGMT_A_IPV4MASK nlattr[NLBL_MGMT_A_IPV4MASK, ipv4_addr]
] [varlen]
nlbl_mgmt_protocol = NETLBL_NLTYPE_UNLABELED, NETLBL_NLTYPE_CIPSOV4, NETLBL_NLTYPE_CALIPSO
# UNLABELLED
resource netlbl_unlabel_family_id[int16]
type msghdr_netlbl_unlabel[CMD] msghdr_netlink[netlink_msg_t[netlbl_unlabel_family_id, genlmsghdr_t[CMD], netlbl_unlabel_genl_policy]]
syz_genetlink_get_family_id$netlbl_unlabel(name ptr[in, string["NLBL_UNLBL"]]) netlbl_unlabel_family_id
sendmsg$NLBL_UNLABEL_C_STATICADD(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_STATICADD]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_STATICREMOVE(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_STATICREMOVE]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_STATICLIST(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_STATICLIST]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_STATICADDDEF(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_STATICADDDEF]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_STATICREMOVEDEF(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_STATICREMOVEDEF]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_STATICLISTDEF(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_STATICLISTDEF]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_ACCEPT(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_ACCEPT]], f flags[send_flags])
sendmsg$NLBL_UNLABEL_C_LIST(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_unlabel[NLBL_UNLABEL_C_LIST]], f flags[send_flags])
netlbl_unlabel_genl_policy [
NLBL_UNLABEL_A_ACPTFLG nlattr[NLBL_UNLABEL_A_ACPTFLG, bool8]
NLBL_UNLABEL_A_IPV6ADDR nlattr[NLBL_UNLABEL_A_IPV6ADDR, ipv6_addr]
NLBL_UNLABEL_A_IPV6MASK nlattr[NLBL_UNLABEL_A_IPV6MASK, ipv6_addr]
NLBL_UNLABEL_A_IPV4ADDR nlattr[NLBL_UNLABEL_A_IPV4ADDR, ipv4_addr]
NLBL_UNLABEL_A_IPV4MASK nlattr[NLBL_UNLABEL_A_IPV4MASK, ipv4_addr]
NLBL_UNLABEL_A_IFACE nlattr[NLBL_UNLABEL_A_IFACE, devname]
NLBL_UNLABEL_A_SECCTX nlattr[NLBL_UNLABEL_A_SECCTX, string[selinux_security_context]]
] [varlen]
# CIPSO v4
resource netlbl_cipsov4_family_id[int16]
type msghdr_netlbl_cipsov4[CMD] msghdr_netlink[netlink_msg_t[netlbl_cipsov4_family_id, genlmsghdr_t[CMD], netlbl_cipsov4_genl_policy]]
syz_genetlink_get_family_id$netlbl_cipso(name ptr[in, string["NLBL_CIPSOv4"]]) netlbl_cipsov4_family_id
sendmsg$NLBL_CIPSOV4_C_ADD(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_cipsov4[NLBL_CIPSOV4_C_ADD]], f flags[send_flags])
sendmsg$NLBL_CIPSOV4_C_REMOVE(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_cipsov4[NLBL_CIPSOV4_C_REMOVE]], f flags[send_flags])
sendmsg$NLBL_CIPSOV4_C_LIST(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_cipsov4[NLBL_CIPSOV4_C_LIST]], f flags[send_flags])
sendmsg$NLBL_CIPSOV4_C_LISTALL(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_cipsov4[NLBL_CIPSOV4_C_LISTALL]], f flags[send_flags])
netlbl_cipsov4_genl_policy [
NLBL_CIPSOV4_A_DOI nlattr[NLBL_CIPSOV4_A_DOI, flags[cipso_doi, int32]]
NLBL_CIPSOV4_A_MTYPE nlattr[NLBL_CIPSOV4_A_MTYPE, flags[cipsov4_type, int32]]
NLBL_CIPSOV4_A_TAGLST nlattr[NLBL_CIPSOV4_A_TAGLST, array[nlattr[NLBL_CIPSOV4_A_TAG, flags[cipsov4_tags, int8]]]]
NLBL_CIPSOV4_A_MLSLVLLST nlattr[NLBL_CIPSOV4_A_MLSLVLLST, array[nlattr[NLBL_CIPSOV4_A_MLSLVL, array[netlbl_cipsov4_mlslvl_policy]]]]
NLBL_CIPSOV4_A_MLSCATLST nlattr[NLBL_CIPSOV4_A_MLSCATLST, array[nlattr[NLBL_CIPSOV4_A_MLSCAT, array[netlbl_cipsov4_mlscat_policy]]]]
] [varlen]
netlbl_cipsov4_mlslvl_policy [
NLBL_CIPSOV4_A_MLSLVLLOC nlattr[NLBL_CIPSOV4_A_MLSLVLLOC, int32[0:CIPSO_V4_MAX_LOC_LVLS]]
NLBL_CIPSOV4_A_MLSLVLREM nlattr[NLBL_CIPSOV4_A_MLSLVLREM, int32[0:CIPSO_V4_MAX_REM_LVLS]]
] [varlen]
netlbl_cipsov4_mlscat_policy [
NLBL_CIPSOV4_A_MLSCATLOC nlattr[NLBL_CIPSOV4_A_MLSCATLOC, int32[0:CIPSO_V4_MAX_LOC_CATS]]
NLBL_CIPSOV4_A_MLSCATREM nlattr[NLBL_CIPSOV4_A_MLSCATREM, int32[0:CIPSO_V4_MAX_REM_CATS]]
] [varlen]
cipsov4_type = CIPSO_V4_MAP_TRANS, CIPSO_V4_MAP_PASS, CIPSO_V4_MAP_LOCAL
cipsov4_tags = CIPSO_V4_TAG_INVALID, CIPSO_V4_TAG_RBITMAP, CIPSO_V4_TAG_ENUM, CIPSO_V4_TAG_RANGE, CIPSO_V4_TAG_PBITMAP, CIPSO_V4_TAG_FREEFORM
# CALIPSO
resource netlbl_calipso_family_id[int16]
type msghdr_netlbl_calipso[CMD] msghdr_netlink[netlink_msg_t[netlbl_calipso_family_id, genlmsghdr_t[CMD], calipso_genl_policy]]
syz_genetlink_get_family_id$netlbl_calipso(name ptr[in, string["NLBL_CALIPSO"]]) netlbl_calipso_family_id
sendmsg$NLBL_CALIPSO_C_ADD(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_calipso[NLBL_CALIPSO_C_ADD]], f flags[send_flags])
sendmsg$NLBL_CALIPSO_C_REMOVE(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_calipso[NLBL_CALIPSO_C_REMOVE]], f flags[send_flags])
sendmsg$NLBL_CALIPSO_C_LIST(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_calipso[NLBL_CALIPSO_C_LIST]], f flags[send_flags])
sendmsg$NLBL_CALIPSO_C_LISTALL(fd sock_nl_generic, msg ptr[in, msghdr_netlbl_calipso[NLBL_CALIPSO_C_LISTALL]], f flags[send_flags])
calipso_genl_policy [
NLBL_CALIPSO_A_DOI nlattr[NLBL_CALIPSO_A_DOI, flags[calipso_doi, int32]]
NLBL_CALIPSO_A_MTYPE nlattr[NLBL_CALIPSO_A_MTYPE, const[CALIPSO_MAP_PASS, int32]]
] [varlen]

View File

@ -0,0 +1,73 @@
# AUTOGENERATED FILE
CALIPSO_MAP_PASS = 2
CIPSO_V4_MAP_LOCAL = 3
CIPSO_V4_MAP_PASS = 2
CIPSO_V4_MAP_TRANS = 1
CIPSO_V4_MAX_LOC_CATS = 2147483647
CIPSO_V4_MAX_LOC_LVLS = 2147483647
CIPSO_V4_MAX_REM_CATS = 65534
CIPSO_V4_MAX_REM_LVLS = 255
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0
CIPSO_V4_TAG_PBITMAP = 6
CIPSO_V4_TAG_RANGE = 5
CIPSO_V4_TAG_RBITMAP = 1
NETLBL_NLTYPE_CALIPSO = 7
NETLBL_NLTYPE_CIPSOV4 = 3
NETLBL_NLTYPE_UNLABELED = 5
NLBL_CALIPSO_A_DOI = 1
NLBL_CALIPSO_A_MTYPE = 2
NLBL_CALIPSO_C_ADD = 1
NLBL_CALIPSO_C_LIST = 3
NLBL_CALIPSO_C_LISTALL = 4
NLBL_CALIPSO_C_REMOVE = 2
NLBL_CIPSOV4_A_DOI = 1
NLBL_CIPSOV4_A_MLSCAT = 11
NLBL_CIPSOV4_A_MLSCATLOC = 9
NLBL_CIPSOV4_A_MLSCATLST = 12
NLBL_CIPSOV4_A_MLSCATREM = 10
NLBL_CIPSOV4_A_MLSLVL = 7
NLBL_CIPSOV4_A_MLSLVLLOC = 5
NLBL_CIPSOV4_A_MLSLVLLST = 8
NLBL_CIPSOV4_A_MLSLVLREM = 6
NLBL_CIPSOV4_A_MTYPE = 2
NLBL_CIPSOV4_A_TAG = 3
NLBL_CIPSOV4_A_TAGLST = 4
NLBL_CIPSOV4_C_ADD = 1
NLBL_CIPSOV4_C_LIST = 3
NLBL_CIPSOV4_C_LISTALL = 4
NLBL_CIPSOV4_C_REMOVE = 2
NLBL_MGMT_A_CLPDOI = 12
NLBL_MGMT_A_CV4DOI = 4
NLBL_MGMT_A_DOMAIN = 1
NLBL_MGMT_A_FAMILY = 11
NLBL_MGMT_A_IPV4ADDR = 7
NLBL_MGMT_A_IPV4MASK = 8
NLBL_MGMT_A_IPV6ADDR = 5
NLBL_MGMT_A_IPV6MASK = 6
NLBL_MGMT_A_PROTOCOL = 2
NLBL_MGMT_C_ADD = 1
NLBL_MGMT_C_ADDDEF = 4
NLBL_MGMT_C_LISTALL = 3
NLBL_MGMT_C_LISTDEF = 6
NLBL_MGMT_C_PROTOCOLS = 7
NLBL_MGMT_C_REMOVE = 2
NLBL_MGMT_C_REMOVEDEF = 5
NLBL_MGMT_C_VERSION = 8
NLBL_UNLABEL_A_ACPTFLG = 1
NLBL_UNLABEL_A_IFACE = 6
NLBL_UNLABEL_A_IPV4ADDR = 4
NLBL_UNLABEL_A_IPV4MASK = 5
NLBL_UNLABEL_A_IPV6ADDR = 2
NLBL_UNLABEL_A_IPV6MASK = 3
NLBL_UNLABEL_A_SECCTX = 7
NLBL_UNLABEL_C_ACCEPT = 1
NLBL_UNLABEL_C_LIST = 2
NLBL_UNLABEL_C_STATICADD = 3
NLBL_UNLABEL_C_STATICADDDEF = 6
NLBL_UNLABEL_C_STATICLIST = 5
NLBL_UNLABEL_C_STATICLISTDEF = 8
NLBL_UNLABEL_C_STATICREMOVE = 4
NLBL_UNLABEL_C_STATICREMOVEDEF = 7
__NR_sendmsg = 370

View File

@ -0,0 +1,73 @@
# AUTOGENERATED FILE
CALIPSO_MAP_PASS = 2
CIPSO_V4_MAP_LOCAL = 3
CIPSO_V4_MAP_PASS = 2
CIPSO_V4_MAP_TRANS = 1
CIPSO_V4_MAX_LOC_CATS = 2147483647
CIPSO_V4_MAX_LOC_LVLS = 2147483647
CIPSO_V4_MAX_REM_CATS = 65534
CIPSO_V4_MAX_REM_LVLS = 255
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0
CIPSO_V4_TAG_PBITMAP = 6
CIPSO_V4_TAG_RANGE = 5
CIPSO_V4_TAG_RBITMAP = 1
NETLBL_NLTYPE_CALIPSO = 7
NETLBL_NLTYPE_CIPSOV4 = 3
NETLBL_NLTYPE_UNLABELED = 5
NLBL_CALIPSO_A_DOI = 1
NLBL_CALIPSO_A_MTYPE = 2
NLBL_CALIPSO_C_ADD = 1
NLBL_CALIPSO_C_LIST = 3
NLBL_CALIPSO_C_LISTALL = 4
NLBL_CALIPSO_C_REMOVE = 2
NLBL_CIPSOV4_A_DOI = 1
NLBL_CIPSOV4_A_MLSCAT = 11
NLBL_CIPSOV4_A_MLSCATLOC = 9
NLBL_CIPSOV4_A_MLSCATLST = 12
NLBL_CIPSOV4_A_MLSCATREM = 10
NLBL_CIPSOV4_A_MLSLVL = 7
NLBL_CIPSOV4_A_MLSLVLLOC = 5
NLBL_CIPSOV4_A_MLSLVLLST = 8
NLBL_CIPSOV4_A_MLSLVLREM = 6
NLBL_CIPSOV4_A_MTYPE = 2
NLBL_CIPSOV4_A_TAG = 3
NLBL_CIPSOV4_A_TAGLST = 4
NLBL_CIPSOV4_C_ADD = 1
NLBL_CIPSOV4_C_LIST = 3
NLBL_CIPSOV4_C_LISTALL = 4
NLBL_CIPSOV4_C_REMOVE = 2
NLBL_MGMT_A_CLPDOI = 12
NLBL_MGMT_A_CV4DOI = 4
NLBL_MGMT_A_DOMAIN = 1
NLBL_MGMT_A_FAMILY = 11
NLBL_MGMT_A_IPV4ADDR = 7
NLBL_MGMT_A_IPV4MASK = 8
NLBL_MGMT_A_IPV6ADDR = 5
NLBL_MGMT_A_IPV6MASK = 6
NLBL_MGMT_A_PROTOCOL = 2
NLBL_MGMT_C_ADD = 1
NLBL_MGMT_C_ADDDEF = 4
NLBL_MGMT_C_LISTALL = 3
NLBL_MGMT_C_LISTDEF = 6
NLBL_MGMT_C_PROTOCOLS = 7
NLBL_MGMT_C_REMOVE = 2
NLBL_MGMT_C_REMOVEDEF = 5
NLBL_MGMT_C_VERSION = 8
NLBL_UNLABEL_A_ACPTFLG = 1
NLBL_UNLABEL_A_IFACE = 6
NLBL_UNLABEL_A_IPV4ADDR = 4
NLBL_UNLABEL_A_IPV4MASK = 5
NLBL_UNLABEL_A_IPV6ADDR = 2
NLBL_UNLABEL_A_IPV6MASK = 3
NLBL_UNLABEL_A_SECCTX = 7
NLBL_UNLABEL_C_ACCEPT = 1
NLBL_UNLABEL_C_LIST = 2
NLBL_UNLABEL_C_STATICADD = 3
NLBL_UNLABEL_C_STATICADDDEF = 6
NLBL_UNLABEL_C_STATICLIST = 5
NLBL_UNLABEL_C_STATICLISTDEF = 8
NLBL_UNLABEL_C_STATICREMOVE = 4
NLBL_UNLABEL_C_STATICREMOVEDEF = 7
__NR_sendmsg = 46

View File

@ -0,0 +1,73 @@
# AUTOGENERATED FILE
CALIPSO_MAP_PASS = 2
CIPSO_V4_MAP_LOCAL = 3
CIPSO_V4_MAP_PASS = 2
CIPSO_V4_MAP_TRANS = 1
CIPSO_V4_MAX_LOC_CATS = 2147483647
CIPSO_V4_MAX_LOC_LVLS = 2147483647
CIPSO_V4_MAX_REM_CATS = 65534
CIPSO_V4_MAX_REM_LVLS = 255
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0
CIPSO_V4_TAG_PBITMAP = 6
CIPSO_V4_TAG_RANGE = 5
CIPSO_V4_TAG_RBITMAP = 1
NETLBL_NLTYPE_CALIPSO = 7
NETLBL_NLTYPE_CIPSOV4 = 3
NETLBL_NLTYPE_UNLABELED = 5
NLBL_CALIPSO_A_DOI = 1
NLBL_CALIPSO_A_MTYPE = 2
NLBL_CALIPSO_C_ADD = 1
NLBL_CALIPSO_C_LIST = 3
NLBL_CALIPSO_C_LISTALL = 4
NLBL_CALIPSO_C_REMOVE = 2
NLBL_CIPSOV4_A_DOI = 1
NLBL_CIPSOV4_A_MLSCAT = 11
NLBL_CIPSOV4_A_MLSCATLOC = 9
NLBL_CIPSOV4_A_MLSCATLST = 12
NLBL_CIPSOV4_A_MLSCATREM = 10
NLBL_CIPSOV4_A_MLSLVL = 7
NLBL_CIPSOV4_A_MLSLVLLOC = 5
NLBL_CIPSOV4_A_MLSLVLLST = 8
NLBL_CIPSOV4_A_MLSLVLREM = 6
NLBL_CIPSOV4_A_MTYPE = 2
NLBL_CIPSOV4_A_TAG = 3
NLBL_CIPSOV4_A_TAGLST = 4
NLBL_CIPSOV4_C_ADD = 1
NLBL_CIPSOV4_C_LIST = 3
NLBL_CIPSOV4_C_LISTALL = 4
NLBL_CIPSOV4_C_REMOVE = 2
NLBL_MGMT_A_CLPDOI = 12
NLBL_MGMT_A_CV4DOI = 4
NLBL_MGMT_A_DOMAIN = 1
NLBL_MGMT_A_FAMILY = 11
NLBL_MGMT_A_IPV4ADDR = 7
NLBL_MGMT_A_IPV4MASK = 8
NLBL_MGMT_A_IPV6ADDR = 5
NLBL_MGMT_A_IPV6MASK = 6
NLBL_MGMT_A_PROTOCOL = 2
NLBL_MGMT_C_ADD = 1
NLBL_MGMT_C_ADDDEF = 4
NLBL_MGMT_C_LISTALL = 3
NLBL_MGMT_C_LISTDEF = 6
NLBL_MGMT_C_PROTOCOLS = 7
NLBL_MGMT_C_REMOVE = 2
NLBL_MGMT_C_REMOVEDEF = 5
NLBL_MGMT_C_VERSION = 8
NLBL_UNLABEL_A_ACPTFLG = 1
NLBL_UNLABEL_A_IFACE = 6
NLBL_UNLABEL_A_IPV4ADDR = 4
NLBL_UNLABEL_A_IPV4MASK = 5
NLBL_UNLABEL_A_IPV6ADDR = 2
NLBL_UNLABEL_A_IPV6MASK = 3
NLBL_UNLABEL_A_SECCTX = 7
NLBL_UNLABEL_C_ACCEPT = 1
NLBL_UNLABEL_C_LIST = 2
NLBL_UNLABEL_C_STATICADD = 3
NLBL_UNLABEL_C_STATICADDDEF = 6
NLBL_UNLABEL_C_STATICLIST = 5
NLBL_UNLABEL_C_STATICLISTDEF = 8
NLBL_UNLABEL_C_STATICREMOVE = 4
NLBL_UNLABEL_C_STATICREMOVEDEF = 7
__NR_sendmsg = 296

View File

@ -0,0 +1,73 @@
# AUTOGENERATED FILE
CALIPSO_MAP_PASS = 2
CIPSO_V4_MAP_LOCAL = 3
CIPSO_V4_MAP_PASS = 2
CIPSO_V4_MAP_TRANS = 1
CIPSO_V4_MAX_LOC_CATS = 2147483647
CIPSO_V4_MAX_LOC_LVLS = 2147483647
CIPSO_V4_MAX_REM_CATS = 65534
CIPSO_V4_MAX_REM_LVLS = 255
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0
CIPSO_V4_TAG_PBITMAP = 6
CIPSO_V4_TAG_RANGE = 5
CIPSO_V4_TAG_RBITMAP = 1
NETLBL_NLTYPE_CALIPSO = 7
NETLBL_NLTYPE_CIPSOV4 = 3
NETLBL_NLTYPE_UNLABELED = 5
NLBL_CALIPSO_A_DOI = 1
NLBL_CALIPSO_A_MTYPE = 2
NLBL_CALIPSO_C_ADD = 1
NLBL_CALIPSO_C_LIST = 3
NLBL_CALIPSO_C_LISTALL = 4
NLBL_CALIPSO_C_REMOVE = 2
NLBL_CIPSOV4_A_DOI = 1
NLBL_CIPSOV4_A_MLSCAT = 11
NLBL_CIPSOV4_A_MLSCATLOC = 9
NLBL_CIPSOV4_A_MLSCATLST = 12
NLBL_CIPSOV4_A_MLSCATREM = 10
NLBL_CIPSOV4_A_MLSLVL = 7
NLBL_CIPSOV4_A_MLSLVLLOC = 5
NLBL_CIPSOV4_A_MLSLVLLST = 8
NLBL_CIPSOV4_A_MLSLVLREM = 6
NLBL_CIPSOV4_A_MTYPE = 2
NLBL_CIPSOV4_A_TAG = 3
NLBL_CIPSOV4_A_TAGLST = 4
NLBL_CIPSOV4_C_ADD = 1
NLBL_CIPSOV4_C_LIST = 3
NLBL_CIPSOV4_C_LISTALL = 4
NLBL_CIPSOV4_C_REMOVE = 2
NLBL_MGMT_A_CLPDOI = 12
NLBL_MGMT_A_CV4DOI = 4
NLBL_MGMT_A_DOMAIN = 1
NLBL_MGMT_A_FAMILY = 11
NLBL_MGMT_A_IPV4ADDR = 7
NLBL_MGMT_A_IPV4MASK = 8
NLBL_MGMT_A_IPV6ADDR = 5
NLBL_MGMT_A_IPV6MASK = 6
NLBL_MGMT_A_PROTOCOL = 2
NLBL_MGMT_C_ADD = 1
NLBL_MGMT_C_ADDDEF = 4
NLBL_MGMT_C_LISTALL = 3
NLBL_MGMT_C_LISTDEF = 6
NLBL_MGMT_C_PROTOCOLS = 7
NLBL_MGMT_C_REMOVE = 2
NLBL_MGMT_C_REMOVEDEF = 5
NLBL_MGMT_C_VERSION = 8
NLBL_UNLABEL_A_ACPTFLG = 1
NLBL_UNLABEL_A_IFACE = 6
NLBL_UNLABEL_A_IPV4ADDR = 4
NLBL_UNLABEL_A_IPV4MASK = 5
NLBL_UNLABEL_A_IPV6ADDR = 2
NLBL_UNLABEL_A_IPV6MASK = 3
NLBL_UNLABEL_A_SECCTX = 7
NLBL_UNLABEL_C_ACCEPT = 1
NLBL_UNLABEL_C_LIST = 2
NLBL_UNLABEL_C_STATICADD = 3
NLBL_UNLABEL_C_STATICADDDEF = 6
NLBL_UNLABEL_C_STATICLIST = 5
NLBL_UNLABEL_C_STATICLISTDEF = 8
NLBL_UNLABEL_C_STATICREMOVE = 4
NLBL_UNLABEL_C_STATICREMOVEDEF = 7
__NR_sendmsg = 211

View File

@ -0,0 +1,73 @@
# AUTOGENERATED FILE
CALIPSO_MAP_PASS = 2
CIPSO_V4_MAP_LOCAL = 3
CIPSO_V4_MAP_PASS = 2
CIPSO_V4_MAP_TRANS = 1
CIPSO_V4_MAX_LOC_CATS = 2147483647
CIPSO_V4_MAX_LOC_LVLS = 2147483647
CIPSO_V4_MAX_REM_CATS = 65534
CIPSO_V4_MAX_REM_LVLS = 255
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0
CIPSO_V4_TAG_PBITMAP = 6
CIPSO_V4_TAG_RANGE = 5
CIPSO_V4_TAG_RBITMAP = 1
NETLBL_NLTYPE_CALIPSO = 7
NETLBL_NLTYPE_CIPSOV4 = 3
NETLBL_NLTYPE_UNLABELED = 5
NLBL_CALIPSO_A_DOI = 1
NLBL_CALIPSO_A_MTYPE = 2
NLBL_CALIPSO_C_ADD = 1
NLBL_CALIPSO_C_LIST = 3
NLBL_CALIPSO_C_LISTALL = 4
NLBL_CALIPSO_C_REMOVE = 2
NLBL_CIPSOV4_A_DOI = 1
NLBL_CIPSOV4_A_MLSCAT = 11
NLBL_CIPSOV4_A_MLSCATLOC = 9
NLBL_CIPSOV4_A_MLSCATLST = 12
NLBL_CIPSOV4_A_MLSCATREM = 10
NLBL_CIPSOV4_A_MLSLVL = 7
NLBL_CIPSOV4_A_MLSLVLLOC = 5
NLBL_CIPSOV4_A_MLSLVLLST = 8
NLBL_CIPSOV4_A_MLSLVLREM = 6
NLBL_CIPSOV4_A_MTYPE = 2
NLBL_CIPSOV4_A_TAG = 3
NLBL_CIPSOV4_A_TAGLST = 4
NLBL_CIPSOV4_C_ADD = 1
NLBL_CIPSOV4_C_LIST = 3
NLBL_CIPSOV4_C_LISTALL = 4
NLBL_CIPSOV4_C_REMOVE = 2
NLBL_MGMT_A_CLPDOI = 12
NLBL_MGMT_A_CV4DOI = 4
NLBL_MGMT_A_DOMAIN = 1
NLBL_MGMT_A_FAMILY = 11
NLBL_MGMT_A_IPV4ADDR = 7
NLBL_MGMT_A_IPV4MASK = 8
NLBL_MGMT_A_IPV6ADDR = 5
NLBL_MGMT_A_IPV6MASK = 6
NLBL_MGMT_A_PROTOCOL = 2
NLBL_MGMT_C_ADD = 1
NLBL_MGMT_C_ADDDEF = 4
NLBL_MGMT_C_LISTALL = 3
NLBL_MGMT_C_LISTDEF = 6
NLBL_MGMT_C_PROTOCOLS = 7
NLBL_MGMT_C_REMOVE = 2
NLBL_MGMT_C_REMOVEDEF = 5
NLBL_MGMT_C_VERSION = 8
NLBL_UNLABEL_A_ACPTFLG = 1
NLBL_UNLABEL_A_IFACE = 6
NLBL_UNLABEL_A_IPV4ADDR = 4
NLBL_UNLABEL_A_IPV4MASK = 5
NLBL_UNLABEL_A_IPV6ADDR = 2
NLBL_UNLABEL_A_IPV6MASK = 3
NLBL_UNLABEL_A_SECCTX = 7
NLBL_UNLABEL_C_ACCEPT = 1
NLBL_UNLABEL_C_LIST = 2
NLBL_UNLABEL_C_STATICADD = 3
NLBL_UNLABEL_C_STATICADDDEF = 6
NLBL_UNLABEL_C_STATICLIST = 5
NLBL_UNLABEL_C_STATICLISTDEF = 8
NLBL_UNLABEL_C_STATICREMOVE = 4
NLBL_UNLABEL_C_STATICREMOVEDEF = 7
__NR_sendmsg = 5045

View File

@ -0,0 +1,73 @@
# AUTOGENERATED FILE
CALIPSO_MAP_PASS = 2
CIPSO_V4_MAP_LOCAL = 3
CIPSO_V4_MAP_PASS = 2
CIPSO_V4_MAP_TRANS = 1
CIPSO_V4_MAX_LOC_CATS = 2147483647
CIPSO_V4_MAX_LOC_LVLS = 2147483647
CIPSO_V4_MAX_REM_CATS = 65534
CIPSO_V4_MAX_REM_LVLS = 255
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0
CIPSO_V4_TAG_PBITMAP = 6
CIPSO_V4_TAG_RANGE = 5
CIPSO_V4_TAG_RBITMAP = 1
NETLBL_NLTYPE_CALIPSO = 7
NETLBL_NLTYPE_CIPSOV4 = 3
NETLBL_NLTYPE_UNLABELED = 5
NLBL_CALIPSO_A_DOI = 1
NLBL_CALIPSO_A_MTYPE = 2
NLBL_CALIPSO_C_ADD = 1
NLBL_CALIPSO_C_LIST = 3
NLBL_CALIPSO_C_LISTALL = 4
NLBL_CALIPSO_C_REMOVE = 2
NLBL_CIPSOV4_A_DOI = 1
NLBL_CIPSOV4_A_MLSCAT = 11
NLBL_CIPSOV4_A_MLSCATLOC = 9
NLBL_CIPSOV4_A_MLSCATLST = 12
NLBL_CIPSOV4_A_MLSCATREM = 10
NLBL_CIPSOV4_A_MLSLVL = 7
NLBL_CIPSOV4_A_MLSLVLLOC = 5
NLBL_CIPSOV4_A_MLSLVLLST = 8
NLBL_CIPSOV4_A_MLSLVLREM = 6
NLBL_CIPSOV4_A_MTYPE = 2
NLBL_CIPSOV4_A_TAG = 3
NLBL_CIPSOV4_A_TAGLST = 4
NLBL_CIPSOV4_C_ADD = 1
NLBL_CIPSOV4_C_LIST = 3
NLBL_CIPSOV4_C_LISTALL = 4
NLBL_CIPSOV4_C_REMOVE = 2
NLBL_MGMT_A_CLPDOI = 12
NLBL_MGMT_A_CV4DOI = 4
NLBL_MGMT_A_DOMAIN = 1
NLBL_MGMT_A_FAMILY = 11
NLBL_MGMT_A_IPV4ADDR = 7
NLBL_MGMT_A_IPV4MASK = 8
NLBL_MGMT_A_IPV6ADDR = 5
NLBL_MGMT_A_IPV6MASK = 6
NLBL_MGMT_A_PROTOCOL = 2
NLBL_MGMT_C_ADD = 1
NLBL_MGMT_C_ADDDEF = 4
NLBL_MGMT_C_LISTALL = 3
NLBL_MGMT_C_LISTDEF = 6
NLBL_MGMT_C_PROTOCOLS = 7
NLBL_MGMT_C_REMOVE = 2
NLBL_MGMT_C_REMOVEDEF = 5
NLBL_MGMT_C_VERSION = 8
NLBL_UNLABEL_A_ACPTFLG = 1
NLBL_UNLABEL_A_IFACE = 6
NLBL_UNLABEL_A_IPV4ADDR = 4
NLBL_UNLABEL_A_IPV4MASK = 5
NLBL_UNLABEL_A_IPV6ADDR = 2
NLBL_UNLABEL_A_IPV6MASK = 3
NLBL_UNLABEL_A_SECCTX = 7
NLBL_UNLABEL_C_ACCEPT = 1
NLBL_UNLABEL_C_LIST = 2
NLBL_UNLABEL_C_STATICADD = 3
NLBL_UNLABEL_C_STATICADDDEF = 6
NLBL_UNLABEL_C_STATICLIST = 5
NLBL_UNLABEL_C_STATICLISTDEF = 8
NLBL_UNLABEL_C_STATICREMOVE = 4
NLBL_UNLABEL_C_STATICREMOVEDEF = 7
__NR_sendmsg = 341

View File

@ -396,7 +396,7 @@ ipv4_option_cipso {
tags array[ipv4_option_cipso_tag]
} [packed]
cipso_doi = 0, 1, 2, SMACK_CIPSO_DOI_DEFAULT, SMACK_CIPSO_DOI_INVALID
cipso_doi = CIPSO_V4_DOI_UNKNOWN, SMACK_CIPSO_DOI_DEFAULT, SMACK_CIPSO_DOI_INVALID, 1, 2, 3
# https://tools.ietf.org/html/rfc2113
ipv4_option_ra {
@ -642,15 +642,16 @@ ipv6_tlv_calipso {
} [packed]
# TODO: checksum is generally incorrect.
# TODO: domain should be flags, but it's unclear if we have any domains registered by default.
ipv6_tlv_calipso_payload {
domain int32be
domain flags[calipso_doi, int32be]
compartment_length bytesize4[compartment_bitmap, int8]
sensitivity_level int8
checksum int16
compartment_bitmap array[int64]
} [packed]
calipso_doi = 0, 1, 2, 3
ipv6_tlv_hao {
type const[IPV6_TLV_HAO, int8]
len bytesize[addr, int8]

View File

@ -6,8 +6,7 @@ bad-field-number: mac_addr: syz=7 kernel=1
no-such-struct: vlan_tag_ad
no-such-struct: vlan_tag_q
no-such-struct: eth2_packet_t
no-such-struct: arp_ether_ipv4_packet
no-such-struct: arp_ether_ipv6_packet
no-such-struct: arp_packet_t
no-such-struct: ipx_network
no-such-struct: ipx_node
no-such-struct: ipx_addr
@ -16,6 +15,7 @@ no-such-struct: ipv4_addr_initdev
no-such-struct: ipv4_addr
no-such-struct: ipv4_option_end
no-such-struct: ipv4_option_noop
no-such-struct: ipv4_option_timestamp_timestamp
no-such-struct: ipv4_option_ra
no-such-struct: ipv6_addr_empty
no-such-struct: ipv6_addr_t

View File

@ -71,6 +71,7 @@ ARPOP_REPLY = 2
ARPOP_REQUEST = 1
ARPOP_RREPLY = 4
ARPOP_RREQUEST = 3
CIPSO_V4_DOI_UNKNOWN = 0
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0

View File

@ -71,6 +71,7 @@ ARPOP_REPLY = 2
ARPOP_REQUEST = 1
ARPOP_RREPLY = 4
ARPOP_RREQUEST = 3
CIPSO_V4_DOI_UNKNOWN = 0
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0

View File

@ -71,6 +71,7 @@ ARPOP_REPLY = 2
ARPOP_REQUEST = 1
ARPOP_RREPLY = 4
ARPOP_RREQUEST = 3
CIPSO_V4_DOI_UNKNOWN = 0
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0

View File

@ -71,6 +71,7 @@ ARPOP_REPLY = 2
ARPOP_REQUEST = 1
ARPOP_RREPLY = 4
ARPOP_RREQUEST = 3
CIPSO_V4_DOI_UNKNOWN = 0
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0

View File

@ -71,6 +71,7 @@ ARPOP_REPLY = 2
ARPOP_REQUEST = 1
ARPOP_RREPLY = 4
ARPOP_RREQUEST = 3
CIPSO_V4_DOI_UNKNOWN = 0
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0

View File

@ -71,6 +71,7 @@ ARPOP_REPLY = 2
ARPOP_REQUEST = 1
ARPOP_RREPLY = 4
ARPOP_RREQUEST = 3
CIPSO_V4_DOI_UNKNOWN = 0
CIPSO_V4_TAG_ENUM = 2
CIPSO_V4_TAG_FREEFORM = 7
CIPSO_V4_TAG_INVALID = 0