Opam Package linksem.0.7

Package info

opam-namelinksem
opam-version0.7
synopsisA formalisation of the core ELF file format written in Lem
description A formalisation of the core ELF file format written in Lem. ELF is the de facto standard executable and linkable file format on Linux and related systems. This formalisation has been tested against approximately 5,000 ELF binaries found "in the wild" on various different platforms.
authors
  • Stephen Kell
  • Dominic Mulligan
  • Peter Sewell
homepagehttps://github.com/rems-project/linksem
licenseBSD-2
deps (4)
revdeps (1)
metas (3)
libraries (1)

Package modules

Package sources

linksem

Package files

lib/linksem_zarith/uint64_wrapper.cmx
lib/linksem_zarith/uint64_wrapper.cmi
lib/linksem_zarith/uint32_wrapper.cmx
lib/linksem_zarith/uint32_wrapper.cmi
lib/linksem_zarith/test_image.cmx
lib/linksem_zarith/test_image.cmi
lib/linksem_zarith/string_table.cmx
lib/linksem_zarith/string_table.cmi
lib/linksem_zarith/show.cmx
lib/linksem_zarith/show.cmi
lib/linksem_zarith/sail_interface.cmx
lib/linksem_zarith/sail_interface.cmi
lib/linksem_zarith/multimap.cmx
lib/linksem_zarith/multimap.cmi
lib/linksem_zarith/ml_bindings.cmx
lib/linksem_zarith/ml_bindings.cmi
lib/linksem_zarith/missing_pervasives.cmx
lib/linksem_zarith/missing_pervasives.cmi
lib/linksem_zarith/memory_image_orderings.cmx
lib/linksem_zarith/memory_image_orderings.cmi
lib/linksem_zarith/memory_image.cmx
lib/linksem_zarith/memory_image.cmi
lib/linksem_zarith/load.cmx
lib/linksem_zarith/load.cmi
lib/linksem_zarith/linksem.cmxa
lib/linksem_zarith/linksem.cma
lib/linksem_zarith/linksem.a
lib/linksem_zarith/linker_script.cmx
lib/linksem_zarith/linker_script.cmi
lib/linksem_zarith/linkable_list.cmx
lib/linksem_zarith/linkable_list.cmi
lib/linksem_zarith/link.cmx
lib/linksem_zarith/link.cmi
lib/linksem_zarith/ldconfig.cmx
lib/linksem_zarith/ldconfig.cmi
lib/linksem_zarith/input_list.cmx
lib/linksem_zarith/input_list.cmi
lib/linksem_zarith/hex_printing.cmx
lib/linksem_zarith/hex_printing.cmi
lib/linksem_zarith/harness_interface.cmx
lib/linksem_zarith/harness_interface.cmi
lib/linksem_zarith/gnu_ext_types_native_uint.cmx
lib/linksem_zarith/gnu_ext_types_native_uint.cmi
lib/linksem_zarith/gnu_ext_symbol_versioning.cmx
lib/linksem_zarith/gnu_ext_symbol_versioning.cmi
lib/linksem_zarith/gnu_ext_section_to_segment_mapping.cmx
lib/linksem_zarith/gnu_ext_section_to_segment_mapping.cmi
lib/linksem_zarith/gnu_ext_section_header_table.cmx
lib/linksem_zarith/gnu_ext_section_header_table.cmi
lib/linksem_zarith/gnu_ext_program_header_table.cmx
lib/linksem_zarith/gnu_ext_program_header_table.cmi
lib/linksem_zarith/gnu_ext_note.cmx
lib/linksem_zarith/gnu_ext_note.cmi
lib/linksem_zarith/gnu_ext_dynamic.cmx
lib/linksem_zarith/gnu_ext_dynamic.cmi
lib/linksem_zarith/gnu_ext_abi.cmx
lib/linksem_zarith/gnu_ext_abi.cmi
lib/linksem_zarith/filesystem_wrapper.cmx
lib/linksem_zarith/filesystem_wrapper.cmi
lib/linksem_zarith/filesystem.cmx
lib/linksem_zarith/filesystem.cmi
lib/linksem_zarith/error.cmx
lib/linksem_zarith/error.cmi
lib/linksem_zarith/endianness.cmx
lib/linksem_zarith/endianness.cmi
lib/linksem_zarith/elf_types_native_uint.cmx
lib/linksem_zarith/elf_types_native_uint.cmi
lib/linksem_zarith/elf_symbol_table.cmx
lib/linksem_zarith/elf_symbol_table.cmi
lib/linksem_zarith/elf_section_header_table.cmx
lib/linksem_zarith/elf_section_header_table.cmi
lib/linksem_zarith/elf_relocation.cmx
lib/linksem_zarith/elf_relocation.cmi
lib/linksem_zarith/elf_program_header_table.cmx
lib/linksem_zarith/elf_program_header_table.cmi
lib/linksem_zarith/elf_note.cmx
lib/linksem_zarith/elf_note.cmi
lib/linksem_zarith/elf_memory_image_of_elf64_file.cmx
lib/linksem_zarith/elf_memory_image_of_elf64_file.cmi
lib/linksem_zarith/elf_memory_image.cmx
lib/linksem_zarith/elf_memory_image.cmi
lib/linksem_zarith/elf_interpreted_segment.cmx
lib/linksem_zarith/elf_interpreted_segment.cmi
lib/linksem_zarith/elf_interpreted_section.cmx
lib/linksem_zarith/elf_interpreted_section.cmi
lib/linksem_zarith/elf_header.cmx
lib/linksem_zarith/elf_header.cmi
lib/linksem_zarith/elf_file.cmx
lib/linksem_zarith/elf_file.cmi
lib/linksem_zarith/elf_dynamic.cmx
lib/linksem_zarith/elf_dynamic.cmi
lib/linksem_zarith/elf64_file_of_elf_memory_image.cmx
lib/linksem_zarith/elf64_file_of_elf_memory_image.cmi
lib/linksem_zarith/dwarf_ctypes.cmx
lib/linksem_zarith/dwarf_ctypes.cmi
lib/linksem_zarith/dwarf.cmx
lib/linksem_zarith/dwarf.cmi
lib/linksem_zarith/default_printing.cmx
lib/linksem_zarith/default_printing.cmi
lib/linksem_zarith/command_line.cmx
lib/linksem_zarith/command_line.cmi
lib/linksem_zarith/byte_sequence_wrapper.cmx
lib/linksem_zarith/byte_sequence_wrapper.cmi
lib/linksem_zarith/byte_sequence_impl.cmx
lib/linksem_zarith/byte_sequence_impl.cmi
lib/linksem_zarith/byte_sequence.cmx
lib/linksem_zarith/byte_sequence.cmi
lib/linksem_zarith/byte_pattern_extra.cmx
lib/linksem_zarith/byte_pattern_extra.cmi
lib/linksem_zarith/byte_pattern.cmx
lib/linksem_zarith/byte_pattern.cmi
lib/linksem_zarith/auxv.cmx
lib/linksem_zarith/auxv.cmi
lib/linksem_zarith/archive.cmx
lib/linksem_zarith/archive.cmi
lib/linksem_zarith/abstract_linker_script.cmx
lib/linksem_zarith/abstract_linker_script.cmi
lib/linksem_zarith/abis.cmx
lib/linksem_zarith/abis.cmi
lib/linksem_zarith/abi_x86_relocation.cmx
lib/linksem_zarith/abi_x86_relocation.cmi
lib/linksem_zarith/abi_utilities.cmx
lib/linksem_zarith/abi_utilities.cmi
lib/linksem_zarith/abi_riscv_symbol_table.cmx
lib/linksem_zarith/abi_riscv_symbol_table.cmi
lib/linksem_zarith/abi_riscv_serialisation.cmx
lib/linksem_zarith/abi_riscv_serialisation.cmi
lib/linksem_zarith/abi_riscv_section_header_table.cmx
lib/linksem_zarith/abi_riscv_section_header_table.cmi
lib/linksem_zarith/abi_riscv_relocation.cmx
lib/linksem_zarith/abi_riscv_relocation.cmi
lib/linksem_zarith/abi_riscv_program_header_table.cmx
lib/linksem_zarith/abi_riscv_program_header_table.cmi
lib/linksem_zarith/abi_riscv_elf_header.cmx
lib/linksem_zarith/abi_riscv_elf_header.cmi
lib/linksem_zarith/abi_riscv.cmx
lib/linksem_zarith/abi_riscv.cmi
lib/linksem_zarith/abi_power64_section_header_table.cmx
lib/linksem_zarith/abi_power64_section_header_table.cmi
lib/linksem_zarith/abi_power64_relocation.cmx
lib/linksem_zarith/abi_power64_relocation.cmi
lib/linksem_zarith/abi_power64_elf_header.cmx
lib/linksem_zarith/abi_power64_elf_header.cmi
lib/linksem_zarith/abi_power64_dynamic.cmx
lib/linksem_zarith/abi_power64_dynamic.cmi
lib/linksem_zarith/abi_power64.cmx
lib/linksem_zarith/abi_power64.cmi
lib/linksem_zarith/abi_mips64_symbol_table.cmx
lib/linksem_zarith/abi_mips64_symbol_table.cmi
lib/linksem_zarith/abi_mips64_serialisation.cmx
lib/linksem_zarith/abi_mips64_serialisation.cmi
lib/linksem_zarith/abi_mips64_section_header_table.cmx
lib/linksem_zarith/abi_mips64_section_header_table.cmi
lib/linksem_zarith/abi_mips64_relocation.cmx
lib/linksem_zarith/abi_mips64_relocation.cmi
lib/linksem_zarith/abi_mips64_program_header_table.cmx
lib/linksem_zarith/abi_mips64_program_header_table.cmi
lib/linksem_zarith/abi_mips64_elf_header.cmx
lib/linksem_zarith/abi_mips64_elf_header.cmi
lib/linksem_zarith/abi_mips64_dynamic.cmx
lib/linksem_zarith/abi_mips64_dynamic.cmi
lib/linksem_zarith/abi_mips64.cmx
lib/linksem_zarith/abi_mips64.cmi
lib/linksem_zarith/abi_classes.cmx
lib/linksem_zarith/abi_classes.cmi
lib/linksem_zarith/abi_cheri_mips64_relocation.cmx
lib/linksem_zarith/abi_cheri_mips64_relocation.cmi
lib/linksem_zarith/abi_cheri_mips64_elf_header.cmx
lib/linksem_zarith/abi_cheri_mips64_elf_header.cmi
lib/linksem_zarith/abi_cheri_mips64_dynamic.cmx
lib/linksem_zarith/abi_cheri_mips64_dynamic.cmi
lib/linksem_zarith/abi_cheri_mips64_capability.cmx
lib/linksem_zarith/abi_cheri_mips64_capability.cmi
lib/linksem_zarith/abi_cheri_mips64.cmx
lib/linksem_zarith/abi_cheri_mips64.cmi
lib/linksem_zarith/abi_amd64_symbol_table.cmx
lib/linksem_zarith/abi_amd64_symbol_table.cmi
lib/linksem_zarith/abi_amd64_serialisation.cmx
lib/linksem_zarith/abi_amd64_serialisation.cmi
lib/linksem_zarith/abi_amd64_section_header_table.cmx
lib/linksem_zarith/abi_amd64_section_header_table.cmi
lib/linksem_zarith/abi_amd64_relocation.cmx
lib/linksem_zarith/abi_amd64_relocation.cmi
lib/linksem_zarith/abi_amd64_program_header_table.cmx
lib/linksem_zarith/abi_amd64_program_header_table.cmi
lib/linksem_zarith/abi_amd64_elf_header.cmx
lib/linksem_zarith/abi_amd64_elf_header.cmi
lib/linksem_zarith/abi_amd64.cmx
lib/linksem_zarith/abi_amd64.cmi
lib/linksem_zarith/abi_aarch64_symbol_table.cmx
lib/linksem_zarith/abi_aarch64_symbol_table.cmi
lib/linksem_zarith/abi_aarch64_section_header_table.cmx
lib/linksem_zarith/abi_aarch64_section_header_table.cmi
lib/linksem_zarith/abi_aarch64_relocation.cmx
lib/linksem_zarith/abi_aarch64_relocation.cmi
lib/linksem_zarith/abi_aarch64_program_header_table.cmx
lib/linksem_zarith/abi_aarch64_program_header_table.cmi
lib/linksem_zarith/abi_aarch64_le_serialisation.cmx
lib/linksem_zarith/abi_aarch64_le_serialisation.cmi
lib/linksem_zarith/abi_aarch64_le_elf_header.cmx
lib/linksem_zarith/abi_aarch64_le_elf_header.cmi
lib/linksem_zarith/abi_aarch64_le.cmx
lib/linksem_zarith/abi_aarch64_le.cmi
lib/linksem_zarith/META
lib/linksem_zarith
lib/linksem_num/uint64_wrapper.cmx
lib/linksem_num/uint64_wrapper.cmi
lib/linksem_num/uint32_wrapper.cmx
lib/linksem_num/uint32_wrapper.cmi
lib/linksem_num/test_image.cmx
lib/linksem_num/test_image.cmi
lib/linksem_num/string_table.cmx
lib/linksem_num/string_table.cmi
lib/linksem_num/show.cmx
lib/linksem_num/show.cmi
lib/linksem_num/sail_interface.cmx
lib/linksem_num/sail_interface.cmi
lib/linksem_num/multimap.cmx
lib/linksem_num/multimap.cmi
lib/linksem_num/ml_bindings.cmx
lib/linksem_num/ml_bindings.cmi
lib/linksem_num/missing_pervasives.cmx
lib/linksem_num/missing_pervasives.cmi
lib/linksem_num/memory_image_orderings.cmx
lib/linksem_num/memory_image_orderings.cmi
lib/linksem_num/memory_image.cmx
lib/linksem_num/memory_image.cmi
lib/linksem_num/load.cmx
lib/linksem_num/load.cmi
lib/linksem_num/linksem.cmxa
lib/linksem_num/linksem.cma
lib/linksem_num/linksem.a
lib/linksem_num/linker_script.cmx
lib/linksem_num/linker_script.cmi
lib/linksem_num/linkable_list.cmx
lib/linksem_num/linkable_list.cmi
lib/linksem_num/link.cmx
lib/linksem_num/link.cmi
lib/linksem_num/ldconfig.cmx
lib/linksem_num/ldconfig.cmi
lib/linksem_num/input_list.cmx
lib/linksem_num/input_list.cmi
lib/linksem_num/hex_printing.cmx
lib/linksem_num/hex_printing.cmi
lib/linksem_num/harness_interface.cmx
lib/linksem_num/harness_interface.cmi
lib/linksem_num/gnu_ext_types_native_uint.cmx
lib/linksem_num/gnu_ext_types_native_uint.cmi
lib/linksem_num/gnu_ext_symbol_versioning.cmx
lib/linksem_num/gnu_ext_symbol_versioning.cmi
lib/linksem_num/gnu_ext_section_to_segment_mapping.cmx
lib/linksem_num/gnu_ext_section_to_segment_mapping.cmi
lib/linksem_num/gnu_ext_section_header_table.cmx
lib/linksem_num/gnu_ext_section_header_table.cmi
lib/linksem_num/gnu_ext_program_header_table.cmx
lib/linksem_num/gnu_ext_program_header_table.cmi
lib/linksem_num/gnu_ext_note.cmx
lib/linksem_num/gnu_ext_note.cmi
lib/linksem_num/gnu_ext_dynamic.cmx
lib/linksem_num/gnu_ext_dynamic.cmi
lib/linksem_num/gnu_ext_abi.cmx
lib/linksem_num/gnu_ext_abi.cmi
lib/linksem_num/filesystem_wrapper.cmx
lib/linksem_num/filesystem_wrapper.cmi
lib/linksem_num/filesystem.cmx
lib/linksem_num/filesystem.cmi
lib/linksem_num/error.cmx
lib/linksem_num/error.cmi
lib/linksem_num/endianness.cmx
lib/linksem_num/endianness.cmi
lib/linksem_num/elf_types_native_uint.cmx
lib/linksem_num/elf_types_native_uint.cmi
lib/linksem_num/elf_symbol_table.cmx
lib/linksem_num/elf_symbol_table.cmi
lib/linksem_num/elf_section_header_table.cmx
lib/linksem_num/elf_section_header_table.cmi
lib/linksem_num/elf_relocation.cmx
lib/linksem_num/elf_relocation.cmi
lib/linksem_num/elf_program_header_table.cmx
lib/linksem_num/elf_program_header_table.cmi
lib/linksem_num/elf_note.cmx
lib/linksem_num/elf_note.cmi
lib/linksem_num/elf_memory_image_of_elf64_file.cmx
lib/linksem_num/elf_memory_image_of_elf64_file.cmi
lib/linksem_num/elf_memory_image.cmx
lib/linksem_num/elf_memory_image.cmi
lib/linksem_num/elf_interpreted_segment.cmx
lib/linksem_num/elf_interpreted_segment.cmi
lib/linksem_num/elf_interpreted_section.cmx
lib/linksem_num/elf_interpreted_section.cmi
lib/linksem_num/elf_header.cmx
lib/linksem_num/elf_header.cmi
lib/linksem_num/elf_file.cmx
lib/linksem_num/elf_file.cmi
lib/linksem_num/elf_dynamic.cmx
lib/linksem_num/elf_dynamic.cmi
lib/linksem_num/elf64_file_of_elf_memory_image.cmx
lib/linksem_num/elf64_file_of_elf_memory_image.cmi
lib/linksem_num/dwarf_ctypes.cmx
lib/linksem_num/dwarf_ctypes.cmi
lib/linksem_num/dwarf.cmx
lib/linksem_num/dwarf.cmi
lib/linksem_num/default_printing.cmx
lib/linksem_num/default_printing.cmi
lib/linksem_num/command_line.cmx
lib/linksem_num/command_line.cmi
lib/linksem_num/byte_sequence_wrapper.cmx
lib/linksem_num/byte_sequence_wrapper.cmi
lib/linksem_num/byte_sequence_impl.cmx
lib/linksem_num/byte_sequence_impl.cmi
lib/linksem_num/byte_sequence.cmx
lib/linksem_num/byte_sequence.cmi
lib/linksem_num/byte_pattern_extra.cmx
lib/linksem_num/byte_pattern_extra.cmi
lib/linksem_num/byte_pattern.cmx
lib/linksem_num/byte_pattern.cmi
lib/linksem_num/auxv.cmx
lib/linksem_num/auxv.cmi
lib/linksem_num/archive.cmx
lib/linksem_num/archive.cmi
lib/linksem_num/abstract_linker_script.cmx
lib/linksem_num/abstract_linker_script.cmi
lib/linksem_num/abis.cmx
lib/linksem_num/abis.cmi
lib/linksem_num/abi_x86_relocation.cmx
lib/linksem_num/abi_x86_relocation.cmi
lib/linksem_num/abi_utilities.cmx
lib/linksem_num/abi_utilities.cmi
lib/linksem_num/abi_riscv_symbol_table.cmx
lib/linksem_num/abi_riscv_symbol_table.cmi
lib/linksem_num/abi_riscv_serialisation.cmx
lib/linksem_num/abi_riscv_serialisation.cmi
lib/linksem_num/abi_riscv_section_header_table.cmx
lib/linksem_num/abi_riscv_section_header_table.cmi
lib/linksem_num/abi_riscv_relocation.cmx
lib/linksem_num/abi_riscv_relocation.cmi
lib/linksem_num/abi_riscv_program_header_table.cmx
lib/linksem_num/abi_riscv_program_header_table.cmi
lib/linksem_num/abi_riscv_elf_header.cmx
lib/linksem_num/abi_riscv_elf_header.cmi
lib/linksem_num/abi_riscv.cmx
lib/linksem_num/abi_riscv.cmi
lib/linksem_num/abi_power64_section_header_table.cmx
lib/linksem_num/abi_power64_section_header_table.cmi
lib/linksem_num/abi_power64_relocation.cmx
lib/linksem_num/abi_power64_relocation.cmi
lib/linksem_num/abi_power64_elf_header.cmx
lib/linksem_num/abi_power64_elf_header.cmi
lib/linksem_num/abi_power64_dynamic.cmx
lib/linksem_num/abi_power64_dynamic.cmi
lib/linksem_num/abi_power64.cmx
lib/linksem_num/abi_power64.cmi
lib/linksem_num/abi_mips64_symbol_table.cmx
lib/linksem_num/abi_mips64_symbol_table.cmi
lib/linksem_num/abi_mips64_serialisation.cmx
lib/linksem_num/abi_mips64_serialisation.cmi
lib/linksem_num/abi_mips64_section_header_table.cmx
lib/linksem_num/abi_mips64_section_header_table.cmi
lib/linksem_num/abi_mips64_relocation.cmx
lib/linksem_num/abi_mips64_relocation.cmi
lib/linksem_num/abi_mips64_program_header_table.cmx
lib/linksem_num/abi_mips64_program_header_table.cmi
lib/linksem_num/abi_mips64_elf_header.cmx
lib/linksem_num/abi_mips64_elf_header.cmi
lib/linksem_num/abi_mips64_dynamic.cmx
lib/linksem_num/abi_mips64_dynamic.cmi
lib/linksem_num/abi_mips64.cmx
lib/linksem_num/abi_mips64.cmi
lib/linksem_num/abi_classes.cmx
lib/linksem_num/abi_classes.cmi
lib/linksem_num/abi_cheri_mips64_relocation.cmx
lib/linksem_num/abi_cheri_mips64_relocation.cmi
lib/linksem_num/abi_cheri_mips64_elf_header.cmx
lib/linksem_num/abi_cheri_mips64_elf_header.cmi
lib/linksem_num/abi_cheri_mips64_dynamic.cmx
lib/linksem_num/abi_cheri_mips64_dynamic.cmi
lib/linksem_num/abi_cheri_mips64_capability.cmx
lib/linksem_num/abi_cheri_mips64_capability.cmi
lib/linksem_num/abi_cheri_mips64.cmx
lib/linksem_num/abi_cheri_mips64.cmi
lib/linksem_num/abi_amd64_symbol_table.cmx
lib/linksem_num/abi_amd64_symbol_table.cmi
lib/linksem_num/abi_amd64_serialisation.cmx
lib/linksem_num/abi_amd64_serialisation.cmi
lib/linksem_num/abi_amd64_section_header_table.cmx
lib/linksem_num/abi_amd64_section_header_table.cmi
lib/linksem_num/abi_amd64_relocation.cmx
lib/linksem_num/abi_amd64_relocation.cmi
lib/linksem_num/abi_amd64_program_header_table.cmx
lib/linksem_num/abi_amd64_program_header_table.cmi
lib/linksem_num/abi_amd64_elf_header.cmx
lib/linksem_num/abi_amd64_elf_header.cmi
lib/linksem_num/abi_amd64.cmx
lib/linksem_num/abi_amd64.cmi
lib/linksem_num/abi_aarch64_symbol_table.cmx
lib/linksem_num/abi_aarch64_symbol_table.cmi
lib/linksem_num/abi_aarch64_section_header_table.cmx
lib/linksem_num/abi_aarch64_section_header_table.cmi
lib/linksem_num/abi_aarch64_relocation.cmx
lib/linksem_num/abi_aarch64_relocation.cmi
lib/linksem_num/abi_aarch64_program_header_table.cmx
lib/linksem_num/abi_aarch64_program_header_table.cmi
lib/linksem_num/abi_aarch64_le_serialisation.cmx
lib/linksem_num/abi_aarch64_le_serialisation.cmi
lib/linksem_num/abi_aarch64_le_elf_header.cmx
lib/linksem_num/abi_aarch64_le_elf_header.cmi
lib/linksem_num/abi_aarch64_le.cmx
lib/linksem_num/abi_aarch64_le.cmi
lib/linksem_num/META
lib/linksem_num
lib/linksem/META
lib/linksem