Alle Optionen
trixie  ] [  forky  ] [  sid  ]
[ Quellcode: linksem  ]

Paket: liblinksem-ocaml-dev (0.8+dfsg3-2 und andere)

Links für liblinksem-ocaml-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket linksem herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Formalisation of the core ELF and DWARF file formats written in Lem

Linksem is a formalisation of substantial parts of ELF linking and DWARF debug information.

The ELF formalisation (and parts of the ABI formalisation) are currently also being used as a subcomponent of the rmem architectural exploration tool, for parsing ELF files and setting up initial machine states.

Andere Pakete mit Bezug zu liblinksem-ocaml-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

liblinksem-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 0.8+dfsg3-2+b1 15.398,6 kB34.211,0 kB [Liste der Dateien]
arm64 0.8+dfsg3-2+b1 15.418,7 kB35.276,0 kB [Liste der Dateien]
ppc64el 0.8+dfsg3-2+b1 15.565,8 kB36.685,0 kB [Liste der Dateien]
riscv64 0.8+dfsg3-2+b1 16.393,2 kB51.630,0 kB [Liste der Dateien]
s390x 0.8+dfsg3-2+b1 15.308,6 kB33.507,0 kB [Liste der Dateien]