Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/module/main.c module_augment_kernel_taints() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod->name 4096-ptr_max
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 1 flag 12
PARAM_VALUE 2 lockdep_ok 0
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c module_augment_kernel_taints() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod->name 4096-ptr_max
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 1 flag 10
PARAM_VALUE 2 lockdep_ok 0
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c module_augment_kernel_taints() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod->name 4096-ptr_max
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 1 flag 18
PARAM_VALUE 2 lockdep_ok 0
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c module_augment_kernel_taints() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod->name 4096-ptr_max
PARAM_VALUE 0 mod->sig_ok 0
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 1 flag 13
PARAM_VALUE 2 lockdep_ok 0
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c module_augment_kernel_taints() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod->name 4096-ptr_max
PARAM_VALUE 0 mod->sig_ok 0
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 1 flag 0
PARAM_VALUE 2 lockdep_ok 1
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c module_license_taint_check() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->list.next 4096-ptr_max
PARAM_VALUE 0 mod->list.prev 1915283771061870592
PARAM_VALUE 0 mod->name 4096-ptr_max
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 1 flag 0
PARAM_VALUE 2 lockdep_ok 1
DATA_SOURCE 0 mod $0
NOCHECK_CALL

kernel/module/main.c try_to_force_load() -> add_taint_module()

Type Parameter Key Value
PARAM_VALUE 1 flag 1
PARAM_VALUE 2 lockdep_ok 1
DATA_SOURCE 0 mod $0
STR_LEN 0 mod 12
STR_LEN 0 mod 12
NOCHECK_CALL
UNITS 0 mod unit_byte