Defined in 1 files as a function:
Referenced in 1 files:
-
kernel/bpf/btf.c
- line 1730
- line 2440
- line 2948
- line 2998
- line 3162
- line 3441
- line 4527
- line 4542
- line 4553
- line 4635
- line 4651
- line 4736
- line 4738
- line 4744
- line 4748
- line 4752
- line 4760
- line 4764
- line 4768
- line 4890
- line 5018
- line 5117
- line 5215
- line 5381
- line 5389
- line 5395
- line 5551
- line 5556
- line 5579
- line 5588
- line 5592
- line 5611
- line 5618
- line 5622
- line 5627
- line 5677
- line 5682
- line 5686
- line 5690
- line 5699
- line 5716
- line 5723
- line 5734
- line 5748
- line 5753
- line 5758
- line 5763
- line 5933
Smatch caller information:
kernel/bpf/btf.c btf_add_type() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8928569212392689664 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 26 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 25 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_array_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2649858475441680384 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 40 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 39 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 761992187556782080 |
| PARAM_VALUE | 3 | $ | 0-11 |
| PARAM_VALUE | 4 | $ | 12 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 34 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 3 | $ | $2 |
| STR_LEN | 0 | env | 33 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_array_size |
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
kernel/bpf/btf.c btf_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 1762191853416644608 |
| PARAM_VALUE | 3 | $ | 0-127 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 21 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 20 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_array_size |
kernel/bpf/btf.c btf_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4109323784568795136 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 28 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 27 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_array_size |
kernel/bpf/btf.c btf_check_modifier_chain_length() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->visit_states | 16,4096-ptr_max |
| PARAM_VALUE | 1 | fmt | 8865667872684269568 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 35 |
| CAPPED_DATA | 0 | env->log.len_total | 1 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 34 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_check_sec_info() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 2607786155526459392 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 23 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 22 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_check_sec_info() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 2930304021609361408 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 26 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 25 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_check_sec_info() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 16455743828094976 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 22 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 21 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_check_sec_info() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 216302592366407680 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 30 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 29 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_check_sec_info() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 2930304021609361408 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 26 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 25 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_datasec_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8511402061898440704 |
| PARAM_VALUE | 3 | $ | 0-16777215 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 16 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 15 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_decl_tag_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8953210318367387648 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 25 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 24 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_enum64_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 6018642409088360448 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 24 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 23 |
| BIT_INFO | 0 | env->log.level | 0x0,0x1f |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_enum64_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 785037358064439296,5202619155900194816 |
| PARAM_VALUE | 2 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 14 |
| BUF_SIZE | 1 | fmt | 14 |
| BUF_SIZE | 2 | $ | (-1),22 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 13 |
| STR_LEN | 1 | fmt | 13 |
| BIT_INFO | 0 | env->log.level | 0x0,0x1f |
| BIT_INFO | 1 | fmt | 0x821020040128000,0x4af76bdfdfd7f000 |
| BIT_INFO | 1 | fmt | 0x821020040128000,0x4af76bdfdfd7f000 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_enum_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 6018642409088360448 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 24 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 23 |
| BIT_INFO | 0 | env->log.level | 0x0,0x1f |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_enum_check_meta() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2821974038640607232,6510164035367227392 |
| PARAM_VALUE | 2 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 12 |
| BUF_SIZE | 1 | fmt | 12 |
| BUF_SIZE | 2 | $ | (-1),22 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 11 |
| STR_LEN | 1 | fmt | 11 |
| BIT_INFO | 0 | env->log.level | 0x0,0x1f |
| BIT_INFO | 1 | fmt | 0x208aa2280844000,0x7f79bfffef9e5000 |
| BIT_INFO | 1 | fmt | 0x208aa2280844000,0x7f79bfffef9e5000 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_enum_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8511402061898440704 |
| PARAM_VALUE | 3 | $ | 0-16777215 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 16 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 15 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_float_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3738744660471173120 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 8 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 7 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2815154803616043008 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 17 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 16 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 1121575502182387712 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 5 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 4 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 1034300445183356928 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 7 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 6 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 5366470919421771776 |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 6 |
| BUF_SIZE | 3 | $ | (-1),7,22 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 5 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4164441174430060544 |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 8 |
| BUF_SIZE | 3 | $ | (-1),7,22 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 7 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4164441174430060544 |
| PARAM_VALUE | 2 | $ | 1-u32max |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 8 |
| BUF_SIZE | 3 | $ | (-1),7,22 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 7 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3559225771744002048 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 9 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 8 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_func_proto_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 1060526220448190464 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 2 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 1 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_fwd_type_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8347350738675638272 |
| PARAM_VALUE | 2 | $ | 3466467375202123776,5851286253195554816 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 3 |
| BUF_SIZE | 2 | $ | 6-7 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 2 |
| STR_LEN | 2 | $ | 5-6 |
| BIT_INFO | 2 | $ | 0x1013519008404000,0x713bfdfeacfff000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | $ | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_int_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2371252165946585088 |
| PARAM_VALUE | 3 | $ | 0-255 |
| PARAM_VALUE | 4 | $ | 0-255 |
| PARAM_VALUE | 5 | $ | 737411105422077952,2453005141769064448,3581877893390409728,7007538686029606912,9219345099072761856 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 46 |
| BUF_SIZE | 5 | $ | 5,7 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 45 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 4781500509341392896 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 18 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 17 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 6066825813263888384 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 21 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 20 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 7061840248856887296 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 23 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 22 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 3308520294645047296 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 14 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 7458064283298226176 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 20 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 19 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 114170490772856832 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 18 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 17 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_hdr() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->base_btf | 0 |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 1 | fmt | 4526983846277697536 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 8 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 7 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_layout_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.hdr_len | 32-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.layout_len | 1-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.layout_off | 1-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.str_len | 0-16777216 |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 7582243008962166784 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 21 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->btf->hdr.hdr_len | 32 |
| STR_LEN | 0 | env | 20 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_layout_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.hdr_len | 32-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.layout_len | 1-3 |
| PARAM_VALUE | 0 | env->btf->hdr.str_len | 0-16777216 |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4898009023305928704 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 28 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->btf->hdr.hdr_len | 32 |
| FUZZY_MAX | 0 | env->btf->hdr.layout_len | 3 |
| STR_LEN | 0 | env | 27 |
| TERMINATED | 1 | fmt | 1 |
| HARD_MAX | 0 | env->btf->hdr.layout_len | 3 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_layout_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.hdr_len | 32-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.layout_len | 4-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.str_len | 0-16777216 |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8657480981461446656 |
| PARAM_VALUE | 2 | $ | 4 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 34 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->btf->hdr.hdr_len | 32 |
| FUZZY_MAX | 0 | env->btf->hdr.layout_len | 4 |
| STR_LEN | 0 | env | 33 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_parse_layout_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.hdr_len | 32-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.layout_len | 4-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.str_len | 0-16777216 |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 7004921210905587712 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 26 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->btf->hdr.hdr_len | 32 |
| FUZZY_MAX | 0 | env->btf->hdr.layout_len | 4 |
| STR_LEN | 0 | env | 25 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_str_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 305622048782237696 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 33 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 32 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_str_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2583152869562126336 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 23 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 22 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_str_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->base_btf | 0 |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2583152869562126336 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 23 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 22 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_type_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.str_len | 0-16777216 |
| PARAM_VALUE | 0 | env->btf->hdr.type_off | 1-u32max |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 5053790492806287360 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 19 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 18 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_parse_type_sec() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf | 4096-ptr_max |
| PARAM_VALUE | 0 | env->btf->base_btf | 0 |
| PARAM_VALUE | 0 | env->btf->data_size | 8-u32max |
| PARAM_VALUE | 0 | env->btf->hdr.str_len | 0-16777216 |
| PARAM_VALUE | 0 | env->btf->hdr.type_len | 0 |
| PARAM_VALUE | 0 | env->btf->strings | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.len_total | 0-1073741823 |
| PARAM_VALUE | 0 | env->log.level | 0-14 |
| PARAM_VALUE | 0 | env->log.ubuf | 0 |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 1845530256779530240 |
| BUF_SIZE | 0 | env | 1608 |
| BUF_SIZE | 0 | env->btf | 248 |
| BUF_SIZE | 1 | fmt | 14 |
| CAPPED_DATA | 0 | env->btf->data->hdr_len | 1 |
| CAPPED_DATA | 0 | env->btf->data_size | 1 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_ref_type_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 7849819449456517120 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 11 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 10 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_struct_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8511402061898440704 |
| PARAM_VALUE | 3 | $ | 0-16777215 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 16 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 15 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_var_log() -> btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4369608124339552256 |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| BUF_SIZE | 1 | fmt | 22 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-28,30-31 |
| STR_LEN | 1 | fmt | 21 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |