package linksem

  1. Overview
  2. Docs
A formalisation of the core ELF file format written in Lem

Install

Dune Dependency

Authors

Maintainers

Sources

0.7.tar.gz
md5=277cd1864b4f65683b58918f92ef25cd
sha512=780b1acb62ea658658ccd6b3f6fd16acb15fa54c48e76a52eb9578159bf187a8723db8c63111b58b7afb769920eb8db1130b75eabb5058bf770e6a6b839bcd9c

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.

Published: 11 Jun 2020

Dependencies (4)

  1. lem >= "2018-05-11"
  2. ocamlbuild build
  3. ocamlfind build
  4. ocaml >= "4.06.1" & < "5.0.0"

Dev Dependencies

None

Used by (2)

  1. libsail
  2. sail < "0.15"

Conflicts

None