package mnet

  1. Overview
  2. Docs
An implementation of TCP (Transmission Control Protocol) in OCaml for Miou & Solo5

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (7)

Authors

  1. R
    Robur <team@robur.coop>

Maintainers

  1. R
    Robur <team@robur.coop>

Sources

mnet-0.0.7.tbz
sha256=efcef0d0452c6b6b5d5a618bff47250fd873d4cd317d0a51ee349c4a5cb84d9a
sha512=5c0d2b5a1967c592138525f6f706457b45833f4f86a98c7cede0128edce4104e227361025bacc4c888bf73499c8438df95d51f990f93515cd4a2ce5f89e01caa

doc/mnet.ipv4/IPv4/Packet/index.html

Module IPv4.PacketSource

Sourcetype partial =
  1. | Partial
    (*

    Marker type for a packet whose checksum and length have not yet been computed (used during encoding).

    *)
Sourcetype complete = {
  1. checksum : int;
  2. length : int;
}

A fully decoded packet header with verified checksum and total length.

Sourcetype error = [
  1. | `Invalid_IPv4_packet
  2. | `Invalid_checksum
]

Decoding errors.

  • `Invalid_IPv4_packet: the buffer is too short or contains invalid header fields.
  • `Invalid_checksum: the IPv4 header checksum does not match.
Sourcetype 'a packet = {
  1. src : Ipaddr.V4.t;
  2. dst : Ipaddr.V4.t;
  3. uid : int;
  4. flags : Flag.t list;
  5. off : int;
  6. ttl : int;
  7. protocol : int;
  8. checksum_and_length : 'a;
  9. opt : Slice_bstr.t;
}

An IPv4 packet header parameterized by its checksum state ('a is either partial or complete).

  • uid: the IP identification field, used for fragment reassembly.
  • off: the fragment offset (in 8-byte units).
  • ttl: Time-To-Live.
  • protocol: the upper-layer protocol number (6 = TCP, 17 = UDP, 1 = ICMP).
  • opt: IP options (usually empty).

decode slice decodes an IPv4 packet header from slice and returns the header along with a sub-slice pointing to the payload.