Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 4150853843875708928 |
| PARAM_VALUE | 2 | object_size | 40 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 8 |
| 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 | 7 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 3769889956232585216 |
| PARAM_VALUE | 2 | object_size | 12 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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 | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 607598401311109120 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 7 |
| 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 | 6 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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 | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 6214411888456830976 |
| PARAM_VALUE | 2 | object_size | 1 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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_objs()
| 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 | 4928741457669156864 |
| PARAM_VALUE | 2 | object_size | 4 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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->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 | 18 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 8887266383579041792 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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->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 | 19 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 5388105633898352640 |
| PARAM_VALUE | 2 | object_size | 32 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 17 |
| 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 | 16 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 9005708212278599680 |
| PARAM_VALUE | 2 | object_size | 16 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 13 |
| 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 | 12 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 5548582640272220160 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 15 |
| 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 | 14 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 7617515271846993920 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 17 |
| 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 | 16 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 5050133827596509184 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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->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 | 18 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 5318754679218896896 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 13 |
| 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 | 12 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 6301656466670747648 |
| PARAM_VALUE | 2 | object_size | 16 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 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->index.pcpu | 1 |
| CAPPED_DATA | 0 | info->len | 1 |
| DATA_SOURCE | 0 | info | $1 |
| STR_LEN | 0 | info | 26 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 4331200924827611136 |
| PARAM_VALUE | 2 | object_size | 1 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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_objs()
| 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 | 4679245611812851712 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 18 |
| 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 | 17 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 2766666266997837824 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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 | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 6390984744308760576 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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->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 | 18 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 3580734001832013824 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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->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 | 18 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 5958740982469136384 |
| PARAM_VALUE | 2 | object_size | 8 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 24 |
| 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 | 23 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 5674169254412050432 |
| PARAM_VALUE | 2 | object_size | 12 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| 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->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 | 10 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 8824632745382678528 |
| PARAM_VALUE | 2 | object_size | 56 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 9 |
| 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 | 8 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |
kernel/module/main.c find_module_sections() -> section_objs()
| 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 | 7184331850018635776 |
| PARAM_VALUE | 2 | object_size | 56 |
| PARAM_VALUE | 3 | num | 4096-ptr_max |
| BUF_SIZE | 1 | name | 17 |
| 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 | 16 |
| CONSTRAINT | 0 | info | <3064 |
| TERMINATED | 1 | name | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->max_pages | |
| UNITS | 2 | object_size | unit_byte |