package linksem
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
On This Page