Defined in 1 files as a prototype:
Defined in 13 files as a function:
- arch/arc/net/bpf_jit_core.c, line 1403 (as a function)
- arch/arm/net/bpf_jit_32.c, line 2151 (as a function)
- arch/arm64/net/bpf_jit_comp.c, line 2098 (as a function)
- arch/loongarch/net/bpf_jit.c, line 2191 (as a function)
- arch/mips/net/bpf_jit_comp.c, line 912 (as a function)
- arch/parisc/net/bpf_jit_core.c, line 44 (as a function)
- arch/powerpc/net/bpf_jit_comp.c, line 165 (as a function)
- arch/riscv/net/bpf_jit_core.c, line 44 (as a function)
- arch/s390/net/bpf_jit_comp.c, line 2375 (as a function)
- arch/sparc/net/bpf_jit_comp_64.c, line 1480 (as a function)
- arch/x86/net/bpf_jit_comp.c, line 3943 (as a function)
- arch/x86/net/bpf_jit_comp32.c, line 2521 (as a function)
- kernel/bpf/core.c, line 3234 (as a function)
Referenced in 2 files:
Smatch caller information:
kernel/bpf/fixups.c jit_subprogs() -> bpf_int_jit_compile()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->len | 0-s32max |
| CAPPED_DATA | 0 | env->prog | 1 |
| CAPPED_DATA | 0 | env->subprog_cnt | 1 |
| DATA_SOURCE | 0 | env | $0 |
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt |
kernel/bpf/fixups.c jit_subprogs() -> bpf_int_jit_compile()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| CAPPED_DATA | 0 | env->prog | 1 |
| CAPPED_DATA | 0 | env->subprog_cnt | 1 |
| DATA_SOURCE | 0 | env | $0 |
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->prog->len | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt |
kernel/bpf/core.c bpf_prog_jit_compile() -> bpf_int_jit_compile()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 0 |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->bpf_func | 0,4651182727458865152 |
| BUF_SIZE | 1 | prog | (-1)-s32max |
| BUF_SIZE | 1 | prog | (-1)-s32max |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | prog | $1 |
| BIT_INFO | 1 | prog->len | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | prog->aux->prog->len | 1-4096[c] |
| NO_OVERFLOW_SIMPLE | 1 | prog->aux->nr_linfo | |
| NO_OVERFLOW_SIMPLE | 1 | prog->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | prog->len | |
| USER_PTR | 1 | prog->insns |
kernel/bpf/core.c bpf_prog_jit_compile() -> bpf_int_jit_compile()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 0 |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| BUF_SIZE | 1 | prog | (-1)-s32max |
| BUF_SIZE | 1 | prog | (-1)-s32max |
| CAPPED_DATA | 0 | env->prog | 1 |
| CAPPED_DATA | 1 | prog | 1 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | prog | r bpf_jit_blind_constants |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | prog->aux->prog->len | 1-4096[c] |
| NO_OVERFLOW_SIMPLE | 1 | prog->aux->nr_linfo | |
| NO_OVERFLOW_SIMPLE | 1 | prog->aux->offload->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | prog->aux->prog->len | |
| NO_OVERFLOW_SIMPLE | 1 | prog->len | |
| USER_PTR | 1 | prog->insns |