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

Authors

  1. R
    Robur <team@robur.coop>

Maintainers

  1. R
    Robur <team@robur.coop>

Sources

mnet-0.0.8.tbz
sha256=07233e57f836eadd9566dbc2c7e81a0da058c52c40e8cf38eb9b2f178a9fa537
sha512=e190d793c9950a85e3fc8865f26a222c2763ad8f2c2972cfb5fe10926f2ecc39d75b4f970065cafa9526c4d1edb8b3574dd4b37893fca6de144fe7ced4a23bb0

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. tos : int;
  4. uid : int;
  5. flags : Flag.t list;
  6. off : int;
  7. ttl : int;
  8. protocol : int;
  9. checksum_and_length : 'a;
  10. opt : Slice_bstr.t;
}

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

  • tos: the Type of Service field (DSCP and ECN bits)
  • 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.