Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/testmgr.c mutate_aead_message() -> flip_random_bit()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 size 1-u32max
BUF_SIZE 1 buf 8176
BUF_SIZE 1 buf 8176
CAPPED_DATA 1 buf 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 rng $0
NOCHECK_CALL
UNITS 2 size unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_aead_message() -> flip_random_bit()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
DATA_SOURCE 0 rng $0
NOCHECK_CALL
UNITS 1 buf unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_aead_message() -> flip_random_bit()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 1 buf 8176
BUF_SIZE 1 buf 8176
CAPPED_DATA 1 buf 1
DATA_SOURCE 0 rng $0
NOCHECK_CALL
UNITS 2 size unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c mutate_buffer() -> flip_random_bit()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 16,4096-ptr_max
PARAM_VALUE 2 size 1-u64max
BUF_SIZE 1 buf 0-s32max
BUF_SIZE 1 buf 0-s32max
CAPPED_DATA 1 buf 1
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 rng $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 size $2
NOCHECK_CALL
UNITS 2 size unit_byte
HALF_LOCKED2 global &once_lock