Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/module/main.c find_module_sections() -> section_addr()
| 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 | 7229811417227411456 |
| BUF_SIZE | 1 | name | 10 |
| 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 | 9 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c find_module_sections() -> section_addr()
| 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 | 7845979623298011136 |
| 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_module_sections() -> section_addr()
| 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 | 3516134945183543296 |
| 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->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 | 13 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c find_module_sections() -> section_addr()
| 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 | 5628213536341868544 |
| 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->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 | 13 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |
kernel/module/main.c find_module_sections() -> section_addr()
| 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 |
| BUF_SIZE | 1 | name | 10 |
| 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 | 9 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages |