| Author | Tokens | Token Proportion | Commits | Commit Proportion |
|---|---|---|---|---|
| Jakub Kiciński | 3662 | 80.11% | 2 | 13.33% |
| Yonghong Song | 502 | 10.98% | 1 | 6.67% |
| Daniel Borkmann | 367 | 8.03% | 9 | 60.00% |
| Luke Nelson | 20 | 0.44% | 1 | 6.67% |
| Jiong Wang | 12 | 0.26% | 1 | 6.67% |
| Mykola Lysenko | 8 | 0.18% | 1 | 6.67% |
| Total | 4571 | 15 |
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895
{ "jset32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), /* reg, high bits shouldn't be tested */ BPF_JMP32_IMM(BPF_JSET, BPF_REG_7, -2, 1), BPF_JMP_IMM(BPF_JA, 0, 0, 1), BPF_EXIT_INSN(), BPF_JMP32_IMM(BPF_JSET, BPF_REG_7, 1, 1), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { 1ULL << 63, } }, { .retval = 2, .data64 = { 1, } }, { .retval = 2, .data64 = { 1ULL << 63 | 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jset32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_LD_IMM64(BPF_REG_8, 0x8000000000000000), BPF_JMP32_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1), BPF_JMP_IMM(BPF_JA, 0, 0, 1), BPF_EXIT_INSN(), BPF_LD_IMM64(BPF_REG_8, 0x8000000000000001), BPF_JMP32_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { 1ULL << 63, } }, { .retval = 2, .data64 = { 1, } }, { .retval = 2, .data64 = { 1ULL << 63 | 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jset32: ignores upper bits", .insns = { BPF_MOV64_IMM(BPF_REG_0, 0), BPF_LD_IMM64(BPF_REG_7, 0x8000000000000000), BPF_LD_IMM64(BPF_REG_8, 0x8000000000000000), BPF_JMP_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP32_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .result = ACCEPT, .retval = 2, }, { "jset32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_MOV64_IMM(BPF_REG_0, 0), BPF_JMP32_IMM(BPF_JSET, BPF_REG_7, 0x10, 1), BPF_EXIT_INSN(), BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, 0x10, 1), BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R9 !read_ok", .result_unpriv = REJECT, .result = ACCEPT, }, { "jeq32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JEQ, BPF_REG_7, -1, 1), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 2, .retvals = { { .retval = 0, .data64 = { -2, } }, { .retval = 2, .data64 = { -1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jeq32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_LD_IMM64(BPF_REG_8, 0x7000000000000001), BPF_JMP32_REG(BPF_JEQ, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { 2, } }, { .retval = 2, .data64 = { 1, } }, { .retval = 2, .data64 = { 1ULL << 63 | 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jeq32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_MOV64_IMM(BPF_REG_0, 0), BPF_JMP32_IMM(BPF_JEQ, BPF_REG_7, 0x10, 1), BPF_EXIT_INSN(), BPF_JMP32_IMM(BPF_JSGE, BPF_REG_7, 0xf, 1), BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R9 !read_ok", .result_unpriv = REJECT, .result = ACCEPT, }, { "jne32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JNE, BPF_REG_7, -1, 1), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 2, .retvals = { { .retval = 2, .data64 = { 1, } }, { .retval = 0, .data64 = { -1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jne32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_LD_IMM64(BPF_REG_8, 0x8000000000000001), BPF_JMP32_REG(BPF_JNE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { 1, } }, { .retval = 2, .data64 = { 2, } }, { .retval = 2, .data64 = { 1ULL << 63 | 2, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jne32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_MOV64_IMM(BPF_REG_0, 0), BPF_JMP32_IMM(BPF_JNE, BPF_REG_7, 0x10, 1), BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 0x10, 1), BPF_EXIT_INSN(), BPF_LDX_MEM(BPF_B, BPF_REG_8, BPF_REG_9, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R9 !read_ok", .result_unpriv = REJECT, .result = ACCEPT, }, { "jge32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, UINT_MAX - 1, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { UINT_MAX, } }, { .retval = 2, .data64 = { UINT_MAX - 1, } }, { .retval = 0, .data64 = { 0, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jge32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, UINT_MAX | 1ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JGE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { UINT_MAX, } }, { .retval = 0, .data64 = { INT_MAX, } }, { .retval = 0, .data64 = { (UINT_MAX - 1) | 2ULL << 32, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jge32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, 0x7ffffff0 | 1ULL << 32), BPF_JMP32_REG(BPF_JGE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, 0x7ffffff0, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jgt32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JGT, BPF_REG_7, UINT_MAX - 1, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { UINT_MAX, } }, { .retval = 0, .data64 = { UINT_MAX - 1, } }, { .retval = 0, .data64 = { 0, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jgt32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, (UINT_MAX - 1) | 1ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JGT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { UINT_MAX, } }, { .retval = 0, .data64 = { UINT_MAX - 1, } }, { .retval = 0, .data64 = { (UINT_MAX - 1) | 2ULL << 32, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jgt32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, 0x7ffffff0 | 1ULL << 32), BPF_JMP32_REG(BPF_JGT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP_IMM(BPF_JGT, BPF_REG_7, 0x7ffffff0, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jle32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JLE, BPF_REG_7, INT_MAX, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { INT_MAX - 1, } }, { .retval = 0, .data64 = { UINT_MAX, } }, { .retval = 2, .data64 = { INT_MAX, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jle32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, (INT_MAX - 1) | 2ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JLE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { INT_MAX | 1ULL << 32, } }, { .retval = 2, .data64 = { INT_MAX - 2, } }, { .retval = 0, .data64 = { UINT_MAX, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jle32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, 0x7ffffff0 | 1ULL << 32), BPF_JMP32_REG(BPF_JLE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP32_IMM(BPF_JLE, BPF_REG_7, 0x7ffffff0, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jlt32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JLT, BPF_REG_7, INT_MAX, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { INT_MAX, } }, { .retval = 0, .data64 = { UINT_MAX, } }, { .retval = 2, .data64 = { INT_MAX - 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jlt32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, INT_MAX | 2ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JLT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { INT_MAX | 1ULL << 32, } }, { .retval = 0, .data64 = { UINT_MAX, } }, { .retval = 2, .data64 = { (INT_MAX - 1) | 3ULL << 32, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jlt32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, 0x7ffffff0 | 1ULL << 32), BPF_JMP32_REG(BPF_JLT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP_IMM(BPF_JSLT, BPF_REG_7, 0x7ffffff0, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsge32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JSGE, BPF_REG_7, -1, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { 0, } }, { .retval = 2, .data64 = { -1, } }, { .retval = 0, .data64 = { -2, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsge32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, (__u32)-1 | 2ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JSGE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { -1, } }, { .retval = 2, .data64 = { 0x7fffffff | 1ULL << 32, } }, { .retval = 0, .data64 = { -2, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsge32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, 0x7ffffff0 | 1ULL << 32), BPF_JMP32_REG(BPF_JSGE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP_IMM(BPF_JSGE, BPF_REG_7, 0x7ffffff0, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsgt32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JSGT, BPF_REG_7, -1, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { (__u32)-2, } }, { .retval = 0, .data64 = { -1, } }, { .retval = 2, .data64 = { 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsgt32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, 0x7ffffffe | 1ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JSGT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 0, .data64 = { 0x7ffffffe, } }, { .retval = 0, .data64 = { 0x1ffffffffULL, } }, { .retval = 2, .data64 = { 0x7fffffff, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsgt32: min/max deduction", .insns = { BPF_RAND_SEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, (__u32)(-2) | 1ULL << 32), BPF_JMP32_REG(BPF_JSGT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP_IMM(BPF_JSGT, BPF_REG_7, -2, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsle32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JSLE, BPF_REG_7, -1, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { (__u32)-2, } }, { .retval = 2, .data64 = { -1, } }, { .retval = 0, .data64 = { 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsle32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, 0x7ffffffe | 1ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JSLE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { 0x7ffffffe, } }, { .retval = 2, .data64 = { (__u32)-1, } }, { .retval = 0, .data64 = { 0x7fffffff | 2ULL << 32, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jsle32: min/max deduction", .insns = { BPF_RAND_UEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, 0x7ffffff0 | 1ULL << 32), BPF_JMP32_REG(BPF_JSLE, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP_IMM(BPF_JSLE, BPF_REG_7, 0x7ffffff0, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jslt32: BPF_K", .insns = { BPF_DIRECT_PKT_R2, BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_IMM(BPF_JSLT, BPF_REG_7, -1, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { (__u32)-2, } }, { .retval = 0, .data64 = { -1, } }, { .retval = 0, .data64 = { 1, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jslt32: BPF_X", .insns = { BPF_DIRECT_PKT_R2, BPF_LD_IMM64(BPF_REG_8, 0x7fffffff | 1ULL << 32), BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0), BPF_JMP32_REG(BPF_JSLT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .runs = 3, .retvals = { { .retval = 2, .data64 = { 0x7ffffffe, } }, { .retval = 2, .data64 = { 0xffffffff, } }, { .retval = 0, .data64 = { 0x7fffffff | 2ULL << 32, } }, }, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jslt32: min/max deduction", .insns = { BPF_RAND_SEXT_R7, BPF_ALU32_IMM(BPF_MOV, BPF_REG_0, 2), BPF_LD_IMM64(BPF_REG_8, (__u32)(-1) | 1ULL << 32), BPF_JMP32_REG(BPF_JSLT, BPF_REG_7, BPF_REG_8, 1), BPF_EXIT_INSN(), BPF_JMP32_IMM(BPF_JSLT, BPF_REG_7, -1, 1), BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_0, 0), BPF_EXIT_INSN(), }, .errstr_unpriv = "R0 invalid mem access 'scalar'", .result_unpriv = REJECT, .result = ACCEPT, .retval = 2, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jgt32: range bound deduction, reg op imm", .insns = { BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), BPF_MOV64_REG(BPF_REG_8, BPF_REG_1), BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), BPF_LD_MAP_FD(BPF_REG_1, 0), BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem), BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9), BPF_MOV64_REG(BPF_REG_1, BPF_REG_8), BPF_MOV64_REG(BPF_REG_8, BPF_REG_0), BPF_EMIT_CALL(BPF_FUNC_get_cgroup_classid), BPF_JMP32_IMM(BPF_JGT, BPF_REG_0, 1, 5), BPF_MOV32_REG(BPF_REG_6, BPF_REG_0), BPF_ALU64_IMM(BPF_LSH, BPF_REG_6, 32), BPF_ALU64_IMM(BPF_RSH, BPF_REG_6, 32), BPF_ALU64_REG(BPF_ADD, BPF_REG_8, BPF_REG_6), BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), BPF_MOV32_IMM(BPF_REG_0, 0), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .fixup_map_hash_48b = { 4 }, .result = ACCEPT, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jgt32: range bound deduction, reg1 op reg2, reg1 unknown", .insns = { BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), BPF_MOV64_REG(BPF_REG_8, BPF_REG_1), BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), BPF_LD_MAP_FD(BPF_REG_1, 0), BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem), BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 10), BPF_MOV64_REG(BPF_REG_1, BPF_REG_8), BPF_MOV64_REG(BPF_REG_8, BPF_REG_0), BPF_EMIT_CALL(BPF_FUNC_get_cgroup_classid), BPF_MOV32_IMM(BPF_REG_2, 1), BPF_JMP32_REG(BPF_JGT, BPF_REG_0, BPF_REG_2, 5), BPF_MOV32_REG(BPF_REG_6, BPF_REG_0), BPF_ALU64_IMM(BPF_LSH, BPF_REG_6, 32), BPF_ALU64_IMM(BPF_RSH, BPF_REG_6, 32), BPF_ALU64_REG(BPF_ADD, BPF_REG_8, BPF_REG_6), BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), BPF_MOV32_IMM(BPF_REG_0, 0), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .fixup_map_hash_48b = { 4 }, .result = ACCEPT, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jle32: range bound deduction, reg1 op reg2, reg2 unknown", .insns = { BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), BPF_MOV64_REG(BPF_REG_8, BPF_REG_1), BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), BPF_LD_MAP_FD(BPF_REG_1, 0), BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem), BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 10), BPF_MOV64_REG(BPF_REG_1, BPF_REG_8), BPF_MOV64_REG(BPF_REG_8, BPF_REG_0), BPF_EMIT_CALL(BPF_FUNC_get_cgroup_classid), BPF_MOV32_IMM(BPF_REG_2, 1), BPF_JMP32_REG(BPF_JLE, BPF_REG_2, BPF_REG_0, 5), BPF_MOV32_REG(BPF_REG_6, BPF_REG_0), BPF_ALU64_IMM(BPF_LSH, BPF_REG_6, 32), BPF_ALU64_IMM(BPF_RSH, BPF_REG_6, 32), BPF_ALU64_REG(BPF_ADD, BPF_REG_8, BPF_REG_6), BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), BPF_MOV32_IMM(BPF_REG_0, 0), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .fixup_map_hash_48b = { 4 }, .result = ACCEPT, .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS, }, { "jeq32/jne32: bounds checking", .insns = { BPF_MOV64_IMM(BPF_REG_6, 563), BPF_MOV64_IMM(BPF_REG_2, 0), BPF_ALU64_IMM(BPF_NEG, BPF_REG_2, 0), BPF_ALU64_IMM(BPF_NEG, BPF_REG_2, 0), BPF_ALU32_REG(BPF_OR, BPF_REG_2, BPF_REG_6), BPF_JMP32_IMM(BPF_JNE, BPF_REG_2, 8, 5), BPF_JMP_IMM(BPF_JSGE, BPF_REG_2, 500, 2), BPF_MOV64_IMM(BPF_REG_0, 2), BPF_EXIT_INSN(), BPF_MOV64_REG(BPF_REG_0, BPF_REG_4), BPF_EXIT_INSN(), BPF_MOV64_IMM(BPF_REG_0, 1), BPF_EXIT_INSN(), }, .prog_type = BPF_PROG_TYPE_SCHED_CLS, .result = ACCEPT, .retval = 1, },
Information contained on this website is for historical information purposes only and does not indicate or represent copyright ownership.
Created with Cregit http://github.com/cregit/cregit
Version 2.0-RC1