2037 lines · 56.9 KB · C
RawDownload
/* * Testsuite for BPF interpreter and BPF JIT compiler * * Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com * * This program is free software; you can redistribute it and/or * modify it under the terms of version 2 of the GNU General Public * License as published by the Free Software Foundation. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * General Public License for more details. */ #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt #include <linux/init.h>#include <linux/module.h>#include <linux/filter.h>#include <linux/skbuff.h>#include <linux/netdevice.h>#include <linux/if_vlan.h> /* General test specific settings */#define MAX_SUBTESTS	3#define MAX_TESTRUNS	10000#define MAX_DATA	128#define MAX_INSNS	512#define MAX_K		0xffffFFFF /* Few constants used to init test 'skb' */#define SKB_TYPE	3#define SKB_MARK	0x1234aaaa#define SKB_HASH	0x1234aaab#define SKB_QUEUE_MAP	123#define SKB_VLAN_TCI	0xffff#define SKB_DEV_IFINDEX	577#define SKB_DEV_TYPE	588 /* Redefine REGs to make tests less verbose */#define R0		BPF_REG_0#define R1		BPF_REG_1#define R2		BPF_REG_2#define R3		BPF_REG_3#define R4		BPF_REG_4#define R5		BPF_REG_5#define R6		BPF_REG_6#define R7		BPF_REG_7#define R8		BPF_REG_8#define R9		BPF_REG_9#define R10		BPF_REG_10 /* Flags that can be passed to test cases */#define FLAG_NO_DATA		BIT(0)#define FLAG_EXPECTED_FAIL	BIT(1) enum {	CLASSIC  = BIT(6),	/* Old BPF instructions only. */	INTERNAL = BIT(7),	/* Extended instruction set.  */}; #define TEST_TYPE_MASK		(CLASSIC | INTERNAL) struct bpf_test {	const char *descr;	union {		struct sock_filter insns[MAX_INSNS];		struct bpf_insn insns_int[MAX_INSNS];	} u;	__u8 aux;	__u8 data[MAX_DATA];	struct {		int data_size;		__u32 result;	} test[MAX_SUBTESTS];}; static struct bpf_test tests[] = {	{		"TAX",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 1),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_ALU | BPF_NEG, 0), /* A == -3 */			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_LEN, 0),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_MISC | BPF_TAX, 0), /* X == len - 3 */			BPF_STMT(BPF_LD | BPF_B | BPF_IND, 1),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ 10, 20, 30, 40, 50 },		{ { 2, 10 }, { 3, 20 }, { 4, 30 } },	},	{		"TXA",		.u.insns = {			BPF_STMT(BPF_LDX | BPF_LEN, 0),			BPF_STMT(BPF_MISC | BPF_TXA, 0),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_RET | BPF_A, 0) /* A == len * 2 */		},		CLASSIC,		{ 10, 20, 30, 40, 50 },		{ { 1, 2 }, { 3, 6 }, { 4, 8 } },	},	{		"ADD_SUB_MUL_K",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 1),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 2),			BPF_STMT(BPF_LDX | BPF_IMM, 3),			BPF_STMT(BPF_ALU | BPF_SUB | BPF_X, 0),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 0xffffffff),			BPF_STMT(BPF_ALU | BPF_MUL | BPF_K, 3),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC | FLAG_NO_DATA,		{ },		{ { 0, 0xfffffffd } }	},	{		"DIV_MOD_KX",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 8),			BPF_STMT(BPF_ALU | BPF_DIV | BPF_K, 2),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_IMM, 0xffffffff),			BPF_STMT(BPF_ALU | BPF_DIV | BPF_X, 0),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_IMM, 0xffffffff),			BPF_STMT(BPF_ALU | BPF_DIV | BPF_K, 0x70000000),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_IMM, 0xffffffff),			BPF_STMT(BPF_ALU | BPF_MOD | BPF_X, 0),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_IMM, 0xffffffff),			BPF_STMT(BPF_ALU | BPF_MOD | BPF_K, 0x70000000),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC | FLAG_NO_DATA,		{ },		{ { 0, 0x20000000 } }	},	{		"AND_OR_LSH_K",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 0xff),			BPF_STMT(BPF_ALU | BPF_AND | BPF_K, 0xf0),			BPF_STMT(BPF_ALU | BPF_LSH | BPF_K, 27),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_IMM, 0xf),			BPF_STMT(BPF_ALU | BPF_OR | BPF_K, 0xf0),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC | FLAG_NO_DATA,		{ },		{ { 0, 0x800000ff }, { 1, 0x800000ff } },	},	{		"LD_IMM_0",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 0), /* ld #0 */			BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0, 1, 0),			BPF_STMT(BPF_RET | BPF_K, 0),			BPF_STMT(BPF_RET | BPF_K, 1),		},		CLASSIC,		{ },		{ { 1, 1 } },	},	{		"LD_IND",		.u.insns = {			BPF_STMT(BPF_LDX | BPF_LEN, 0),			BPF_STMT(BPF_LD | BPF_H | BPF_IND, MAX_K),			BPF_STMT(BPF_RET | BPF_K, 1)		},		CLASSIC,		{ },		{ { 1, 0 }, { 10, 0 }, { 60, 0 } },	},	{		"LD_ABS",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS, 1000),			BPF_STMT(BPF_RET | BPF_K, 1)		},		CLASSIC,		{ },		{ { 1, 0 }, { 10, 0 }, { 60, 0 } },	},	{		"LD_ABS_LL",		.u.insns = {			BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_LL_OFF),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_LL_OFF + 1),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ 1, 2, 3 },		{ { 1, 0 }, { 2, 3 } },	},	{		"LD_IND_LL",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, SKF_LL_OFF - 1),			BPF_STMT(BPF_LDX | BPF_LEN, 0),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_B | BPF_IND, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ 1, 2, 3, 0xff },		{ { 1, 1 }, { 3, 3 }, { 4, 0xff } },	},	{		"LD_ABS_NET",		.u.insns = {			BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_NET_OFF),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_NET_OFF + 1),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3 },		{ { 15, 0 }, { 16, 3 } },	},	{		"LD_IND_NET",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, SKF_NET_OFF - 15),			BPF_STMT(BPF_LDX | BPF_LEN, 0),			BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_B | BPF_IND, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3 },		{ { 14, 0 }, { 15, 1 }, { 17, 3 } },	},	{		"LD_PKTTYPE",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PKTTYPE),			BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, SKB_TYPE, 1, 0),			BPF_STMT(BPF_RET | BPF_K, 1),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PKTTYPE),			BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, SKB_TYPE, 1, 0),			BPF_STMT(BPF_RET | BPF_K, 1),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PKTTYPE),			BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, SKB_TYPE, 1, 0),			BPF_STMT(BPF_RET | BPF_K, 1),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, 3 }, { 10, 3 } },	},	{		"LD_MARK",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_MARK),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, SKB_MARK}, { 10, SKB_MARK} },	},	{		"LD_RXHASH",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_RXHASH),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, SKB_HASH}, { 10, SKB_HASH} },	},	{		"LD_QUEUE",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_QUEUE),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, SKB_QUEUE_MAP }, { 10, SKB_QUEUE_MAP } },	},	{		"LD_PROTOCOL",		.u.insns = {			BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 1),			BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 20, 1, 0),			BPF_STMT(BPF_RET | BPF_K, 0),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PROTOCOL),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 2),			BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 30, 1, 0),			BPF_STMT(BPF_RET | BPF_K, 0),			BPF_STMT(BPF_MISC | BPF_TXA, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ 10, 20, 30 },		{ { 10, ETH_P_IP }, { 100, ETH_P_IP } },	},	{		"LD_VLAN_TAG",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_VLAN_TAG),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{			{ 1, SKB_VLAN_TCI & ~VLAN_TAG_PRESENT },			{ 10, SKB_VLAN_TCI & ~VLAN_TAG_PRESENT }		},	},	{		"LD_VLAN_TAG_PRESENT",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_VLAN_TAG_PRESENT),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{			{ 1, !!(SKB_VLAN_TCI & VLAN_TAG_PRESENT) },			{ 10, !!(SKB_VLAN_TCI & VLAN_TAG_PRESENT) }		},	},	{		"LD_IFINDEX",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_IFINDEX),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, SKB_DEV_IFINDEX }, { 10, SKB_DEV_IFINDEX } },	},	{		"LD_HATYPE",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_HATYPE),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, SKB_DEV_TYPE }, { 10, SKB_DEV_TYPE } },	},	{		"LD_CPU",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_CPU),			BPF_STMT(BPF_MISC | BPF_TAX, 0),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_CPU),			BPF_STMT(BPF_ALU | BPF_SUB | BPF_X, 0),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 1, 0 }, { 10, 0 } },	},	{		"LD_NLATTR",		.u.insns = {			BPF_STMT(BPF_LDX | BPF_IMM, 2),			BPF_STMT(BPF_MISC | BPF_TXA, 0),			BPF_STMT(BPF_LDX | BPF_IMM, 3),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,#ifdef __BIG_ENDIAN		{ 0xff, 0xff, 0, 4, 0, 2, 0, 4, 0, 3 },#else		{ 0xff, 0xff, 4, 0, 2, 0, 4, 0, 3, 0 },#endif		{ { 4, 0 }, { 20, 6 } },	},	{		"LD_NLATTR_NEST",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LDX | BPF_IMM, 3),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_NLATTR_NEST),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,#ifdef __BIG_ENDIAN		{ 0xff, 0xff, 0, 12, 0, 1, 0, 4, 0, 2, 0, 4, 0, 3 },#else		{ 0xff, 0xff, 12, 0, 1, 0, 4, 0, 2, 0, 4, 0, 3, 0 },#endif		{ { 4, 0 }, { 20, 10 } },	},	{		"LD_PAYLOAD_OFF",		.u.insns = {			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PAY_OFFSET),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PAY_OFFSET),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PAY_OFFSET),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PAY_OFFSET),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_PAY_OFFSET),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		/* 00:00:00:00:00:00 > 00:00:00:00:00:00, ethtype IPv4 (0x0800),		 * length 98: 127.0.0.1 > 127.0.0.1: ICMP echo request,		 * id 9737, seq 1, length 64		 */		{ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,		  0x00, 0x00, 0x00, 0x00, 0x00, 0x00,		  0x08, 0x00,		  0x45, 0x00, 0x00, 0x54, 0xac, 0x8b, 0x40, 0x00, 0x40,		  0x01, 0x90, 0x1b, 0x7f, 0x00, 0x00, 0x01 },		{ { 30, 0 }, { 100, 42 } },	},	{		"LD_ANC_XOR",		.u.insns = {			BPF_STMT(BPF_LD | BPF_IMM, 10),			BPF_STMT(BPF_LDX | BPF_IMM, 300),			BPF_STMT(BPF_LD | BPF_W | BPF_ABS,				 SKF_AD_OFF + SKF_AD_ALU_XOR_X),			BPF_STMT(BPF_RET | BPF_A, 0)		},		CLASSIC,		{ },		{ { 4, 10 ^ 300 }, { 20, 10 ^ 300 } },	},	{		"SPILL_FILL",		.u.insns = {			BPF_STMT(BPF_LDX | BPF_LEN, 0),			BPF_STMT(BPF_LD | BPF_IMM, 2),			BPF_STMT(BPF_ALU | BPF_RSH, 1),			BPF_STMT(BPF_ALU | BPF_XOR | BPF_X, 0),			BPF_STMT(BPF_ST, 1), /* M1 = 1 ^ len */			BPF_STMT(BPF_ALU | BPF_XOR | BPF_K, 0x80000000),			BPF_STMT(BPF_ST, 2), /* M2 = 1 ^ len ^ 0x80000000 */			BPF_STMT(BPF_STX, 15), /* M3 = len */			BPF_STMT(BPF_LDX | BPF_MEM, 1),			BPF_STMT(BPF_LD | BPF_MEM, 2),			BPF_STMT(BPF_ALU | BPF_XOR | BPF_X, 0),

Lines 1–500 of 2037.