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