1*57718be8SEnji Cooper #include <sys/types.h>
2*57718be8SEnji Cooper #include <sys/ioctl.h>
3*57718be8SEnji Cooper
4*57718be8SEnji Cooper #include <net/bpf.h>
5*57718be8SEnji Cooper
6*57718be8SEnji Cooper #include <atf-c.h>
7*57718be8SEnji Cooper #include <fcntl.h>
8*57718be8SEnji Cooper
9*57718be8SEnji Cooper #include <rump/rump.h>
10*57718be8SEnji Cooper #include <rump/rump_syscalls.h>
11*57718be8SEnji Cooper
12*57718be8SEnji Cooper ATF_TC(div_by_zero);
ATF_TC_HEAD(div_by_zero,tc)13*57718be8SEnji Cooper ATF_TC_HEAD(div_by_zero, tc)
14*57718be8SEnji Cooper {
15*57718be8SEnji Cooper
16*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Check that BPF rejects a filter "
17*57718be8SEnji Cooper "which divides by 0");
18*57718be8SEnji Cooper }
19*57718be8SEnji Cooper
ATF_TC_BODY(div_by_zero,tc)20*57718be8SEnji Cooper ATF_TC_BODY(div_by_zero, tc)
21*57718be8SEnji Cooper {
22*57718be8SEnji Cooper struct bpf_program bp;
23*57718be8SEnji Cooper int fd;
24*57718be8SEnji Cooper
25*57718be8SEnji Cooper /*
26*57718be8SEnji Cooper * Source code for following program:
27*57718be8SEnji Cooper * link[0:4]/0 = 2
28*57718be8SEnji Cooper */
29*57718be8SEnji Cooper struct bpf_insn bins[] = {
30*57718be8SEnji Cooper { 0x20, 0, 0, 0x00000000 },
31*57718be8SEnji Cooper { 0x34, 0, 0, 0x00000000 },
32*57718be8SEnji Cooper { 0x15, 0, 1, 0x00000002 },
33*57718be8SEnji Cooper { 0x6, 0, 0, 0x00000060 },
34*57718be8SEnji Cooper { 0x6, 0, 0, 0x00000000 },
35*57718be8SEnji Cooper };
36*57718be8SEnji Cooper
37*57718be8SEnji Cooper bp.bf_len = __arraycount(bins);
38*57718be8SEnji Cooper bp.bf_insns = bins;
39*57718be8SEnji Cooper
40*57718be8SEnji Cooper rump_init();
41*57718be8SEnji Cooper fd = rump_sys_open("/dev/bpf", O_RDWR);
42*57718be8SEnji Cooper ATF_CHECK(fd != -1);
43*57718be8SEnji Cooper ATF_REQUIRE_EQ_MSG(rump_sys_ioctl(fd, BIOCSETF, &bp), -1,
44*57718be8SEnji Cooper "bpf accepted program with division by zero");
45*57718be8SEnji Cooper }
46*57718be8SEnji Cooper
ATF_TP_ADD_TCS(tp)47*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
48*57718be8SEnji Cooper {
49*57718be8SEnji Cooper
50*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, div_by_zero);
51*57718be8SEnji Cooper return atf_no_error();
52*57718be8SEnji Cooper }
53