package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The module gnu_ext_section_header_table implements function, definitions * and types relating to the GNU extensions to the standard ELF section header * table.
GNU extended section types
val sht_gnu_hash : Nat_big_num.numGNU_HASH does not appear to be defined in the LSB but is present in * several ELF binaries collected in the wild... * * TODO: find out where this comes from? * ANSW: a mailing list apparently! See here: * https://sourceware.org/ml/binutils/2006-10/msg00377.html
The following are all defined in Section 10.2.2.2 of the LSB as additional * section types over the ones defined in the SCO ELF spec.
val sht_gnu_verdef : Nat_big_num.numsht_gnu_verdef contains the symbol versions that are provided.
sht_gnu_verneed contains the symbol versions that are required.
val sht_gnu_verneed : Nat_big_num.numsht_gnu_verneed contains the symbol versions that are required.
sht_gnu_versym contains the symbol version table.
val sht_gnu_versym : Nat_big_num.numsht_gnu_versym contains the symbol version table.
sht_gnu_liblist appears to be undocumented but appears in PowerPC 64 ELF * binaries in "the wild".
val sht_gnu_liblist : Nat_big_num.numsht_gnu_liblist appears to be undocumented but appears in PowerPC 64 ELF * binaries in "the wild".
val string_of_gnu_ext_section_type : Nat_big_num.num -> stringstring_of_gnu_ext_section_type m produces a string based representation of * GNU extension section type m.
val gnu_ext_additional_special_sections :
(string, Nat_big_num.num * Nat_big_num.num) Pmap.mapgnu_ext_additionall_special_sections records additional section names that * map appear in GNU ELF binaries and their required associated types and * attributes. See Section 10.3.1.1 of the LSB and the related map * elf_special_sections in Elf_section_header_table which records section * names and their required types and attributes that all ELF binaries share.
val is_valid_gnu_ext_elf32_section_header_table_entry :
Elf_interpreted_section.elf32_interpreted_section ->
String_table.string_table ->
boolis_valid_gnu_ext_elf32_section_header_table_entry scts stbl checks whether * sections scts conforms with the contents of the special sections table. * Fails otherwise.
val is_valid_gnu_ext_elf32_section_header_table :
Elf_interpreted_section.elf32_interpreted_section list ->
String_table.string_table ->
boolis_valid_gnu_ext_elf32_section_header_table sht stbl checks whether every * member of the section header table sht conforms with the special sections * table.
val is_valid_gnu_ext_elf64_section_header_table_entry :
Elf_interpreted_section.elf64_interpreted_section ->
String_table.string_table ->
boolis_valid_gnu_ext_elf64_section_header_table_entry scts stbl checks whether * sections scts conforms with the contents of the special sections table. * Fails otherwise.
val is_valid_gnu_ext_elf64_section_header_table :
Elf_interpreted_section.elf64_interpreted_section list ->
String_table.string_table ->
boolis_valid_gnu_ext_elf64_section_header_table sht stbl checks whether every * member of the section header table sht conforms with the special sections * table.