Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> sanitize_needed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | opcode | 0,16-240 |
| BIT_INFO | 0 | opcode | 0x0,0xf0 |
kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> sanitize_needed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | opcode | 0,16 |
| BIT_INFO | 0 | opcode | 0x0,0x10 |
kernel/bpf/verifier.c adjust_scalar_min_max_vals() -> sanitize_needed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | opcode | 0,16-240 |
| BIT_INFO | 0 | opcode | 0x0,0xf0 |