package linksem

  1. Overview
  2. Docs
A formalisation of the core ELF and DWARF file formats written in Lem

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. S
    Stephen Kell
  2. D
    Dominic Mulligan
  3. P
    Peter Sewell

Maintainers

  1. L
    Linksem Devs <cl-linksem-dev@lists.cam.ac.uk>

Sources

0.8.tar.gz
md5=2075c56715539b3b8f54ae65cc808b8c
sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2

doc/linksem_zarith/Byte_pattern/index.html

Module Byte_patternSource

Sourcetype byte_pattern_element = char option

A byte pattern element can be undefined if it doesn't have a known fixed value.

Sourcetype byte_pattern = byte_pattern_element list
Sourceval string_of_byte_pattern : char option list -> string
Sourceval make_byte_pattern_revacc : char option list -> char list -> bool list -> char option list
Sourceval make_byte_pattern : char list -> bool list -> byte_pattern_element list
Sourceval byte_list_to_byte_pattern : char list -> char option list
Sourceval init_byte_pattern : Nat_big_num.num -> char option list
Sourceval byte_pattern_length : 'a list -> Nat_big_num.num
Sourceval relax_byte_pattern_revacc : char option list -> char option list -> bool list -> char option list
Sourceval relax_byte_pattern : char option list -> bool list -> byte_pattern_element list
Sourcetype pad_fn = Nat_big_num.num -> char list
Sourceval concretise_byte_pattern' : char list -> Nat_big_num.num -> char option list -> (Nat_big_num.num -> char list) -> char list
Sourceval concretise_byte_pattern : char option list -> (Nat_big_num.num -> char list) -> Byte_sequence_wrapper.byte_sequence
Sourceval byte_option_matches_byte : 'a option -> 'a -> bool
Sourceval byte_list_matches_pattern : 'a option list -> 'a list -> bool
Sourceval append_to_byte_pattern_at_offset : Nat_big_num.num -> char option list -> char option list -> char option list
Sourceval accum_pattern_possible_starts_in_one_byte_sequence : 'a option list -> Nat_num.nat -> 'a list -> Nat_num.nat -> Nat_big_num.num -> Nat_big_num.num list -> Nat_big_num.num list
Sourceval byte_pattern_of_byte_sequence : Byte_sequence_wrapper.byte_sequence -> char option list
Sourceval byte_pattern_to_byte_list : char option list -> char list
Sourceval byte_pattern_to_byte_sequence : char option list -> Byte_sequence_wrapper.byte_sequence
Sourceval byte_pattern_skip : Nat_big_num.num -> char option list -> char option list
Sourceval write_byte_pattern : char option list -> Nat_big_num.num -> char option list -> char option list
Sourceval read_byte_pattern : char option list -> Nat_big_num.num -> Nat_big_num.num -> char option list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct