| PARAM_VALUE |
0 |
info |
402463899452510208,819794768076095488 |
| PARAM_VALUE |
0 |
info->compressed_len |
0-s32max |
| PARAM_VALUE |
0 |
info->core_typeoffs |
0 |
| PARAM_VALUE |
0 |
info->hdr |
4096-ptr_max |
| PARAM_VALUE |
0 |
info->hdr->e_shentsize |
64 |
| PARAM_VALUE |
0 |
info->hdr->e_shnum |
2-u16max |
| PARAM_VALUE |
0 |
info->hdr->e_shoff |
0-18446744073709551614 |
| PARAM_VALUE |
0 |
info->hdr->e_shstrndx |
1-65534 |
| PARAM_VALUE |
0 |
info->hdr->e_type |
1 |
| PARAM_VALUE |
0 |
info->index.info |
0-s32max |
| PARAM_VALUE |
0 |
info->index.mod |
1-s32max |
| PARAM_VALUE |
0 |
info->index.pcpu |
0-65534 |
| PARAM_VALUE |
0 |
info->index.str |
1-65534 |
| PARAM_VALUE |
0 |
info->index.sym |
1-65534 |
| PARAM_VALUE |
0 |
info->index.vers |
0-65534 |
| PARAM_VALUE |
0 |
info->index.vers_ext_crc |
0-65534 |
| PARAM_VALUE |
0 |
info->index.vers_ext_name |
0-65534 |
| PARAM_VALUE |
0 |
info->init_typeoffs |
0 |
| PARAM_VALUE |
0 |
info->len |
64-u64max |
| PARAM_VALUE |
0 |
info->max_pages |
0 |
| PARAM_VALUE |
0 |
info->mod |
0 |
| PARAM_VALUE |
0 |
info->mod_kallsyms_init_off |
0 |
| PARAM_VALUE |
0 |
info->name |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
info->pages |
0 |
| PARAM_VALUE |
0 |
info->sechdrs |
4096-ptr_max |
| PARAM_VALUE |
0 |
info->secstrings |
4096-ptr_max |
| PARAM_VALUE |
0 |
info->sig_ok |
0 |
| PARAM_VALUE |
0 |
info->stroffs |
0 |
| PARAM_VALUE |
0 |
info->strtab |
0 |
| PARAM_VALUE |
0 |
info->symoffs |
0 |
| PARAM_VALUE |
0 |
info->used_pages |
0 |
| 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 |
| PARAM_COMPARE |
0 |
info->hdr->e_shnum |
> $0->hdr->e_shstrndx |
| PARAM_COMPARE |
0 |
info->hdr->e_shoff |
< $0->len |
| CONSTRAINT |
0 |
info->hdr->e_shoff |
<3024 |
| CONSTRAINT |
0 |
info->hdr->e_shstrndx |
<3064 |
| NO_OVERFLOW_SIMPLE |
0 |
info->max_pages |
|
