linksemversion
A formalisation of the core ELF file format written in Lem
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 and Peter Sewell |
|---|---|
| License | BSD-2-Clause |
| Published | |
| Homepage | https://github.com/rems-project/linksem |
| Issue Tracker | https://github.com/rems-project/linksem/issues |
| Maintainer | Linksem Devs <cl-linksem-dev@lists.cam.ac.uk> |
| Dependencies |
|
| Source [http] | https://github.com/rems-project/linksem/archive/0.7.tar.gz md5=277cd1864b4f65683b58918f92ef25cd sha512=780b1acb62ea658658ccd6b3f6fd16acb15fa54c48e76a52eb9578159bf187a8723db8c63111b58b7afb769920eb8db1130b75eabb5058bf770e6a6b839bcd9c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/linksem/linksem.0.7/opam |
