Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/module/main.c load_module() -> post_relocation()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->imported_namespaces 0,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->param_lock.dep_map->name 0-255
PARAM_VALUE 0 mod->param_lock.first_waiter 0
PARAM_VALUE 0 mod->param_lock.magic 4096-ptr_max
PARAM_VALUE 0 mod->param_lock.osq.tail.counter 0
PARAM_VALUE 0 mod->param_lock.owner.counter 0
PARAM_VALUE 0 mod->sig_ok 0
PARAM_VALUE 0 mod->srcversion 0,4096-ptr_max
PARAM_VALUE 0 mod->state 3
PARAM_VALUE 0 mod->target_list.next 4096-ptr_max
PARAM_VALUE 0 mod->target_list.next->next 4096-ptr_max
PARAM_VALUE 0 mod->using_gplonly_symbols 1
PARAM_VALUE 0 mod->version 0,4096-ptr_max
PARAM_VALUE 1 info 402463899452510208,819794768076095488
PARAM_VALUE 1 info->compressed_len 0-s32max
PARAM_VALUE 1 info->core_typeoffs 0-u32max
PARAM_VALUE 1 info->hdr 4096-ptr_max
PARAM_VALUE 1 info->hdr->e_shentsize 64
PARAM_VALUE 1 info->hdr->e_shnum 2-u16max
PARAM_VALUE 1 info->hdr->e_shoff 0-18446744073709551614
PARAM_VALUE 1 info->hdr->e_shstrndx 1-65534
PARAM_VALUE 1 info->hdr->e_type 1
PARAM_VALUE 1 info->index.info 0-s32max
PARAM_VALUE 1 info->index.mod 1-s32max
PARAM_VALUE 1 info->index.pcpu 0-65534
PARAM_VALUE 1 info->index.str 1-65534
PARAM_VALUE 1 info->index.sym 1-65534
PARAM_VALUE 1 info->index.vers 0-65534
PARAM_VALUE 1 info->index.vers_ext_crc 0-65534
PARAM_VALUE 1 info->index.vers_ext_name 0-65534
PARAM_VALUE 1 info->init_typeoffs 0-u32max
PARAM_VALUE 1 info->len 64-u64max
PARAM_VALUE 1 info->max_pages 0
PARAM_VALUE 1 info->mod_kallsyms_init_off 0,8-u32max
PARAM_VALUE 1 info->pages 0
PARAM_VALUE 1 info->sechdrs 4096-ptr_max
PARAM_VALUE 1 info->secstrings 4096-ptr_max
PARAM_VALUE 1 info->stroffs 0-u32max
PARAM_VALUE 1 info->strtab 4096-ptr_max
PARAM_VALUE 1 info->symoffs 0-u32max
PARAM_VALUE 1 info->used_pages 0
CAPPED_DATA 0 mod 1
CAPPED_DATA 1 info->hdr->e_shnum 1
CAPPED_DATA 1 info->hdr->e_shoff 1
CAPPED_DATA 1 info->hdr->e_shstrndx 1
CAPPED_DATA 1 info->index.mod 1
CAPPED_DATA 1 info->index.pcpu 1
CAPPED_DATA 1 info->len 1
DATA_SOURCE 0 mod r layout_and_allocate
DATA_SOURCE 1 info $0
PARAM_COMPARE 1 info->hdr->e_shnum > $1->hdr->e_shstrndx
PARAM_COMPARE 1 info->hdr->e_shoff < $1->len
CONSTRAINT 1 info->hdr->e_shoff <3024
CONSTRAINT 1 info->hdr->e_shstrndx <3064
NO_OVERFLOW_SIMPLE 1 info->max_pages