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 (4)

Authors

  1. R
    Robur <team@robur.coop>

Maintainers

  1. R
    Robur <team@robur.coop>

Sources

mnet-0.0.2.tbz
sha256=92b1cfec8487423090ed7abedee824ca20db86f1a7af7e308b4118bc0f774e03
sha512=ce7685c363581121c7d8ae0c33d7dff30ee2dd9dcd29d56f451ac3261b84a91d35a2fa65b31f1f321ddc4b5984e21840459c63614e81ee814f47ac24376bf018

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.