Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

lib/crypto/mpi/mpi-mul.c mpi_mul() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced s32min-2147483646
PARAM_VALUE 1 nlimbs 0-s32max,2147483649-u32max
CAPPED_DATA 0 a->alloced 1
DATA_SOURCE 0 a $0
PARAM_COMPARE 0 a->alloced < $1
PARAM_COMPARE 1 nlimbs > $0->alloced
RX_PATH
TASK_NOT_RUNNING
UNITS 1 nlimbs unit_array_size

lib/crypto/mpi/mpi-pow.c mpi_powm() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced 0-512
PARAM_VALUE 0 a->d 0,4096-ptr_max
PARAM_VALUE 0 a->flags 0
PARAM_VALUE 0 a->nbits 0
PARAM_VALUE 0 a->nlimbs 1
PARAM_VALUE 0 a->sign 0
PARAM_VALUE 1 nlimbs 1
BUF_SIZE 0 a 32
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &key->sem

lib/crypto/mpi/mpi-pow.c mpi_powm() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced 0-512
PARAM_VALUE 0 a->d 0,4096-ptr_max
PARAM_VALUE 0 a->flags 0
PARAM_VALUE 0 a->nbits 0
PARAM_VALUE 0 a->nlimbs 0
PARAM_VALUE 0 a->sign 0
PARAM_VALUE 1 nlimbs 1-s32max
BUF_SIZE 0 a 32
CAPPED_DATA 0 a->alloced 1
DATA_SOURCE 0 a $0
PARAM_COMPARE 0 a->alloced < $1
PARAM_COMPARE 1 nlimbs > $0->alloced
RX_PATH
TASK_NOT_RUNNING
UNITS 1 nlimbs unit_array_size
HALF_LOCKED2 &key->sem

lib/crypto/mpi/mpi-bit.c RESIZE_IF_NEEDED() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced s32min-(-2),0-s32max
PARAM_VALUE 0 a->d 0,4096-ptr_max
PARAM_VALUE 0 a->flags 0
PARAM_VALUE 0 a->nbits 0
PARAM_VALUE 0 a->nlimbs 0
PARAM_VALUE 0 a->sign 0
PARAM_VALUE 1 nlimbs 1-u32max
BUF_SIZE 0 a 32
CAPPED_DATA 0 a->alloced 1
DATA_SOURCE 0 a $0
DATA_SOURCE 1 nlimbs $1
PARAM_COMPARE 0 a->alloced < $1
PARAM_COMPARE 1 nlimbs > $0->alloced
RX_PATH
TASK_NOT_RUNNING
UNITS 1 nlimbs unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

lib/crypto/mpi/mpi-bit.c mpi_set_bit() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced 0
PARAM_VALUE 0 a->d 0,4096-ptr_max
PARAM_VALUE 0 a->flags 0
PARAM_VALUE 0 a->nbits 0
PARAM_VALUE 0 a->nlimbs 0
PARAM_VALUE 0 a->sign 0
PARAM_VALUE 1 nlimbs 5
BUF_SIZE 0 a 32
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING

lib/crypto/mpi/mpi-add.c RESIZE_IF_NEEDED() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced s32min-(-2),0-s32max
PARAM_VALUE 1 nlimbs 1-u32max
CAPPED_DATA 0 a->alloced 1
DATA_SOURCE 0 a $0
DATA_SOURCE 1 nlimbs $1
PARAM_COMPARE 0 a->alloced < $1
PARAM_COMPARE 1 nlimbs > $0->alloced
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 a->alloced
NO_OVERFLOW_SIMPLE 0 a->nlimbs
UNITS 1 nlimbs unit_array_size

lib/crypto/mpi/mpi-div.c mpi_tdiv_qr() -> mpi_resize()

Type Parameter Key Value
DATA_SOURCE 0 a $1

lib/crypto/mpi/mpi-div.c mpi_tdiv_qr() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 1 nlimbs 1-s32max
DATA_SOURCE 0 a $0

lib/crypto/mpi/mpi-sub-ui.c mpi_sub_ui() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced 0
PARAM_VALUE 0 a->d 0,4096-ptr_max
PARAM_VALUE 0 a->flags 0
PARAM_VALUE 0 a->nbits 0
PARAM_VALUE 0 a->nlimbs 0
PARAM_VALUE 0 a->sign 0
PARAM_VALUE 1 nlimbs 1
BUF_SIZE 0 a 32
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING

lib/crypto/mpi/mpi-sub-ui.c mpi_sub_ui() -> mpi_resize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->alloced 0
PARAM_VALUE 0 a->d 0,4096-ptr_max
PARAM_VALUE 0 a->flags 0
PARAM_VALUE 0 a->nbits 0
PARAM_VALUE 0 a->nlimbs 0
PARAM_VALUE 0 a->sign 0
PARAM_VALUE 1 nlimbs 0,2147483649-u32max
BUF_SIZE 0 a 32
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING