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.

AuthorsStephen Kell, Dominic Mulligan and Peter Sewell
LicenseBSD-2
Published
Homepagehttps://github.com/rems-project/linksem
Issue Trackerhttps://github.com/rems-project/linksem/issues
MaintainerLinksem 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
StatisticsInstalled 122 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/linksem/linksem.0.7/opam
Required by