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); 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 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 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