Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/states.c regsafe() -> range_within()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 1 cur 4096-ptr_max
BUF_SIZE 0 old (-1),80
BUF_SIZE 0 old (-1),80
BUF_SIZE 1 cur (-1),80
BUF_SIZE 1 cur (-1),80
CAPPED_DATA 0 old->type 1
CAPPED_DATA 1 cur->type 1
DATA_SOURCE 0 old $1
DATA_SOURCE 1 cur $2
PARAM_COMPARE 1 cur->type == $0->type

kernel/bpf/states.c regsafe() -> range_within()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 1 cur 4096-ptr_max
BUF_SIZE 0 old (-1),80
BUF_SIZE 0 old (-1),80
BUF_SIZE 1 cur (-1),80
BUF_SIZE 1 cur (-1),80
CAPPED_DATA 0 old->type 1
CAPPED_DATA 1 cur->type 1
DATA_SOURCE 0 old $1
DATA_SOURCE 1 cur $2
PARAM_COMPARE 1 cur->type == $0->type

kernel/bpf/states.c regsafe() -> range_within()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 1 cur 4096-ptr_max
BUF_SIZE 0 old (-1),80
BUF_SIZE 0 old (-1),80
BUF_SIZE 1 cur (-1),80
BUF_SIZE 1 cur (-1),80
CAPPED_DATA 0 old->id 1
CAPPED_DATA 0 old->range 1
CAPPED_DATA 0 old->type 1
CAPPED_DATA 1 cur->range 1
CAPPED_DATA 1 cur->type 1
DATA_SOURCE 0 old $1
DATA_SOURCE 1 cur $2
PARAM_COMPARE 1 cur->range >= $0->range
PARAM_COMPARE 1 cur->type == $0->type

kernel/bpf/states.c regsafe() -> range_within()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 1 cur 4096-ptr_max
BUF_SIZE 0 old (-1),80
BUF_SIZE 0 old (-1),80
BUF_SIZE 1 cur (-1),80
BUF_SIZE 1 cur (-1),80
CAPPED_DATA 0 old->type 1
CAPPED_DATA 1 cur->type 1
DATA_SOURCE 0 old $1
DATA_SOURCE 1 cur $2
PARAM_COMPARE 1 cur->type == $0->type