Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/module/main.c elf_validity_cache_index_versions() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 1735684220566310912 |
| BUF_SIZE | 1 | name | 19 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $0 |
| STR_LEN | 0 | info | 18 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c elf_validity_cache_index_versions() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 9210864597867728896 |
| BUF_SIZE | 1 | name | 20 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $0 |
| STR_LEN | 0 | info | 19 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c elf_validity_cache_index_versions() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 5372620304602513408 |
| BUF_SIZE | 1 | name | 11 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $0 |
| STR_LEN | 0 | info | 10 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c find_module_sections() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 8462652869438251008 |
| BUF_SIZE | 1 | name | 12 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->index.mod | 1 |
| CAPPED_DATA | 0 | info->index.pcpu | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $1 |
| STR_LEN | 0 | info | 11 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c find_pcpusec() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 4111561694245224448 |
| BUF_SIZE | 1 | name | 14 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $0 |
| STR_LEN | 0 | info | 13 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c section_addr() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 557490642926211072,3516134945183543296,5628213536341868544,7229811417227411456,7845979623298011136 |
| BUF_SIZE | 1 | name | 10,12,14 |
| BUF_SIZE | 1 | name | 10,12,14 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->index.mod | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | name | $1 |
| STR_LEN | 0 | info | 9,11,13 |
| STR_LEN | 0 | info | 9,11,13 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c section_objs() -> find_sec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 402463899452510208,819794768076095488 |
| PARAM_VALUE | 0 | info->hdr->e_shnum | 2-u16max |
| PARAM_VALUE | 0 | info->sechdrs | 4096-ptr_max |
| PARAM_VALUE | 0 | info->secstrings | 4096-ptr_max |
| PARAM_VALUE | 1 | name | 4096-ptr_max |
| BUF_SIZE | 1 | name | 7-15,17-20,24,27 |
| BUF_SIZE | 1 | name | 7-15,17-20,24,27 |
| CAPPED_DATA | 0 | info->hdr->e_shnum | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shoff | 1 |
| CAPPED_DATA | 0 | info->hdr->e_shstrndx | 1 |
| CAPPED_DATA | 0 | info->index.mod | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | name | $1 |
| STR_LEN | 0 | info | 6-14,16-19,23,26 |
| STR_LEN | 0 | info | 6-14,16-19,23,26 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |