Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
kernel/bpf/liveness.c arg_track_xfer() -> is_stack_arg_st()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 4096-ptr_max |
| DATA_SOURCE | 0 | insn | $1 |
kernel/bpf/liveness.c record_load_store_access() -> is_stack_arg_st()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 4096-ptr_max |
| PARAM_VALUE | 0 | insn->code | 8-255 |
kernel/bpf/const_fold.c const_reg_xfer() -> is_stack_arg_st()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 4096-ptr_max |
| DATA_SOURCE | 0 | insn | $2 |
kernel/bpf/verifier.c check_and_resolve_insns() -> is_stack_arg_st()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 4096-ptr_max |
| PARAM_VALUE | 0 | insn->dst_reg | 11-15 |
kernel/bpf/verifier.c do_check_insn() -> is_stack_arg_st()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | insn | 4096-ptr_max |