Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/log.c bpf_log() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 1-u32max
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 0 log $0
DATA_SOURCE 1 fmt $1
PARAM_COMPARE 1 &fmt == $2
NOCHECK_CALL

kernel/bpf/log.c bpf_verifier_log_write() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 1 fmt 4096-ptr_max
BUF_SIZE 1 fmt 2-15,17-18,21,24-28,30-33,35-43,45-52,54-56,58-59,61-69,74,79,85,88,92,149
BUF_SIZE 1 fmt 2-15,17-18,21,24-28,30-33,35-43,45-52,54-56,58-59,61-69,74,79,85,88,92,149
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 1 fmt $1
STR_LEN 0 log (-1),1-14,16,31,38,44,50-51,63,67
STR_LEN 1 fmt (-1),1-14,16,31,38,44,50-51,63,67
STR_LEN 2 *args (-1),1-14,16,31,38,44,50-51,63,67
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 global &bpf_devs_lock

kernel/bpf/log.c verbose_linfo() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 1 fmt 6135741615311892480,6945988666540195840
PARAM_VALUE 2 *args 6135741615311892480,6945988666540195840
BUF_SIZE 1 fmt 3,5
BUF_SIZE 1 fmt 3,5
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 1 fmt $2
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
NOCHECK_CALL

kernel/bpf/btf.c __btf_verifier_log() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 1 fmt 4096-ptr_max
BUF_SIZE 0 log 1064
BUF_SIZE 1 fmt 2,13-14,16,20,30-31,47
BUF_SIZE 1 fmt 2,13-14,16,20,30-31,47
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 0 log $0
DATA_SOURCE 1 fmt $1
STR_LEN 0 log 1,12-13,15,19,29-30,46
STR_LEN 0 log 1,12-13,15,19,29-30,46
STR_LEN 1 fmt (-1)-1
STR_LEN 1 fmt (-1)-1
STR_LEN 2 *args (-1)-1
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 log->kbuf

kernel/bpf/btf.c __btf_verifier_log_type() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->len_max 1-u32max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 0 *log->kbuf 0-255
PARAM_VALUE 1 fmt 4096-ptr_max
PARAM_VALUE 1 *fmt 1-255
BUF_SIZE 0 log 1064
BUF_SIZE 1 fmt 10,13-16,18,20-22,25-29,31-32
BUF_SIZE 1 fmt 10,13-16,18,20-22,25-29,31-32
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 1 fmt $3
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 log->kbuf

kernel/bpf/btf.c btf_verifier_log() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 1 fmt 4096-ptr_max
BUF_SIZE 0 log 1064
BUF_SIZE 1 fmt 2-3,5-9,11-12,14,16-26,28,30,33-35,40,46
BUF_SIZE 1 fmt 2-3,5-9,11-12,14,16-26,28,30,33-35,40,46
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 1 fmt $1
STR_LEN 0 log (-1),1-2,4-8,10-11,13,15-16,21,24,39,45
STR_LEN 1 fmt (-1),1-2,4-8,10-11,13,15-16,21,24,39,45
STR_LEN 2 *args (-1),1-2,4-8,10-11,13,15-16,21,24,39,45
PARAM_COMPARE 1 &fmt == $2
BIT_INFO 1 fmt 0x0,0x7fffffffffffffff
BIT_INFO 1 fmt 0x0,0x7fffffffffffffff
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
NOCHECK_CALL

kernel/bpf/btf.c btf_verifier_log_member() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->len_max 1-u32max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 0 *log->kbuf 0-255
PARAM_VALUE 1 fmt 4096-ptr_max
PARAM_VALUE 1 *fmt 1-255
BUF_SIZE 0 log 1064
BUF_SIZE 1 fmt (-1),13,15-16,22,25,27-31,43
BUF_SIZE 1 fmt (-1),13,15-16,22,25,27-31,43
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 1 fmt $3
PARAM_COMPARE 1 &fmt == $2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 log->kbuf

kernel/bpf/btf.c btf_verifier_log_vsi() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->len_max 1-u32max
PARAM_VALUE 0 log->len_total 0-1073741823
PARAM_VALUE 0 log->level 1-14
PARAM_VALUE 0 *log->kbuf 0-255
PARAM_VALUE 1 fmt 726336051295571968,1980203265100828672,2569970612332957696,6225525821065568256,6519951571906600960,7946908332697841664
PARAM_VALUE 1 *fmt 1-255
PARAM_VALUE 2 *args 1980203265100828672,2569970612332957696,6225525821065568256,6519951571906600960,7946908332697841664,726336051295571968
BUF_SIZE 0 log 1064
BUF_SIZE 1 fmt 13,15-16,20,22
BUF_SIZE 1 fmt 13,15-16,20,22
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
CAPPED_DATA 0 log->len_total 1
DATA_SOURCE 1 fmt $3
PARAM_COMPARE 1 &fmt == $2
BIT_INFO 0 log->level 0x0,0x1f
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 log->kbuf

kernel/bpf/verifier.c verbose() -> bpf_verifier_vlog()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 1-u32max
PARAM_VALUE 1 fmt 4096-ptr_max
BUF_SIZE 1 fmt 9-10,12-14,16-20,22,25,27,29-30,33-34,36-37,42-43,49,53,55
BUF_SIZE 1 fmt 9-10,12-14,16-20,22,25,27,29-30,33-34,36-37,42-43,49,53,55
BUF_SIZE 2 args 8
BUF_SIZE 2 args 8
DATA_SOURCE 1 fmt $1
STR_LEN 0 log (-1)-0,2,21,24
STR_LEN 1 fmt (-1)-0,2,21,24
STR_LEN 2 *args (-1)-0,2,21,24
PARAM_COMPARE 1 &fmt == $2
TERMINATED 1 fmt 1
TERMINATED 2 *args 1
NOCHECK_CALL