The following issues were found
tools/testing/selftests/bpf/verifier/bounds_deduction.c
1 issues
Line: 136
},
.errstr = "math between ctx pointer and register with unbounded min value is not allowed",
.result = REJECT,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/bounds_mix_sign_unsign.c
1 issues
Line: 393
.fixup_map_hash_8b = { 3 },
.errstr = "unbounded min value",
.result = REJECT,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/bpf_get_stack.c
1 issues
Line: 87
.kfunc = "task",
.runs = -1, // Don't run, just load
.fixup_map_array_48b = { 3 },
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/calls.c
1 issues
Line: 2034
.errstr_unpriv = "loading/calling other bpf or kernel functions are allowed for",
.errstr = "!read_ok",
.result = REJECT,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/cfg.c
1 issues
Line: 73
.errstr = "infinite loop detected",
.errstr_unpriv = "back-edge",
.result = REJECT,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/cgroup_inv_retcode.c
1 issues
Line: 72
.errstr = "R0 has unknown scalar value",
.result = REJECT,
.prog_type = BPF_PROG_TYPE_CGROUP_SOCK,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/cgroup_skb.c
1 issues
Line: 197
},
.result = ACCEPT,
.prog_type = BPF_PROG_TYPE_CGROUP_SKB,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/cgroup_storage.c
1 issues
Line: 220
.errstr = "get_local_storage() doesn't support non-zero flags",
.errstr_unpriv = "R2 leaks addr into helper function",
.prog_type = BPF_PROG_TYPE_CGROUP_SKB,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/const_or.c
1 issues
Line: 60
.errstr = "invalid indirect access to stack R1 off=-48 size=58",
.result = REJECT,
.prog_type = BPF_PROG_TYPE_TRACEPOINT,
},
Reported by Cppcheck.
tools/testing/selftests/bpf/verifier/ctx.c
1 issues
Line: 197
.expected_attach_type = BPF_CGROUP_INET4_POST_BIND,
.result = REJECT,
.errstr = "R1 type=inv expected=ctx",
},
Reported by Cppcheck.