package dns

  1. Overview
  2. Docs
An opinionated Domain Name System (DNS) library

Install 

dune-project
 Dependency

github.com Readme Changelog BSD-2-Clause License Edit opam file Versions (14)

Authors

  1. H
    Hannes Mehnert <hannes@mehnert.org>
  2. R
    Reynir Björnsson <reynir@reynir.dk>

Maintainers

  1. T
    team AT robur dot coop

Sources

dns-6.4.0.tbz
sha256=00472d566bbfd66da13642eab5fade12fde56b20dd7ac5c50415b88d052d6175
sha512=0ddeee4a155852c7ffa619de603e54dabe9ec315b79e4a1cb22a13884f9d3893458f1fa3c7b97f2eda60b29f1bfa401e53d531d8ded1089dcd8497ffa3ad1afb

doc/dns/Dns/Packet/index.html

Module Dns.PacketSource

The DNS packet.

Encoding and decoding from binary. Definition of types for multiple DNS operations.

Sourcemodule Flag : sig ... end
Sourcemodule Flags : Set.S with type elt = Flag.t

The set of flags

Sourcemodule Header : sig ... end

A DNS header

Sourcemodule Question : sig ... end

A DNS Question - the first section of a DNS packet

Sourcemodule Answer : sig ... end

A DNS answer, consisting of the answer and authority sections.

Sourcemodule Axfr : sig ... end

A DNS zone transfer.

Sourcemodule Ixfr : sig ... end

Incremental DNS zone transfer.

Sourcemodule Update : sig ... end

DNS update packets.

Sourcetype request = [
  1. | `Query
  2. | `Notify of Soa.t option
  3. | `Axfr_request
  4. | `Ixfr_request of Soa.t
  5. | `Update of Update.t
]

The type of a DNS request: depending on opcode and rr_typ.

Sourceval equal_request : request -> request -> bool

equal_request a b is true if the request a is the same as b, false otherwise.

Sourceval pp_request : request Fmt.t

pp_request ppf r pretty-prints the request r on ppf.

Sourcetype reply = [
  1. | `Answer of Answer.t
  2. | `Notify_ack
  3. | `Axfr_reply of Axfr.t
  4. | `Axfr_partial_reply of [ `First of Soa.t | `Mid | `Last of Soa.t ] * Name_rr_map.t
  5. | `Ixfr_reply of Ixfr.t
  6. | `Update_ack
  7. | `Rcode_error of Rcode.t * Opcode.t * Answer.t option
]

The type of a DNS reply: depending on opcode, rr_typ, and rcode.

Sourceval equal_reply : reply -> reply -> bool

equal_reply a b is true if the reply a is the same as b, false otherwise.

Sourceval pp_reply : reply Fmt.t

pp_reply ppf r pretty-prints the reply r on ppf.

Sourcetype data = [
  1. | request
  2. | reply
]

The type of either request or reply.

Sourceval opcode_data : data -> Opcode.t

opcode_data data is the opcode of data.

Sourceval rcode_data : data -> Rcode.t

rcode_data data is the response code of data.

Sourceval equal_data : data -> data -> bool

equal_data a b is true if a and b are the same, false otherwise.

Sourceval pp_data : data Fmt.t

pp_data ppf data pretty-prints data on ppf.

Sourcetype t = private {
  1. header : Header.t;
  2. question : Question.t;
  3. data : data;
  4. additional : Name_rr_map.t;
  5. edns : Edns.t option;
  6. tsig : ([ `raw ] Domain_name.t * Tsig.t * int) option;
}

The type of a DNS packet: its header, question, data, additional section, and optional EDNS and TSIG records.

Sourceval create : ?max_size:int -> ?additional:Name_rr_map.t -> ?edns:Edns.t -> ?tsig:([ `raw ] Domain_name.t * Tsig.t * int) -> Header.t -> Question.t -> data -> t

create ~max_size ~additional ~edns ~tsig hdr q data is a DNS packet.

Sourceval with_edns : t -> Edns.t option -> t

with_edns t edns is t with the edns field set to edns.

Sourceval pp : t Fmt.t

pp ppf t pretty-prints the DNS packet t on ppf.

Sourceval pp_header : t Fmt.t

pp_header ppf t pretty-prints the header of the DNS packet on ppf.

Sourceval equal : t -> t -> bool

equal a b is true if the DNS packet a and b are equal, false otherwise.

Sourcetype err = [
  1. | `Bad_edns_version of int
  2. | `Leftover of int * string
  3. | `Malformed of int * string
  4. | `Not_implemented of int * string
  5. | `Notify_ack_answer_count of int
  6. | `Notify_ack_authority_count of int
  7. | `Notify_answer_count of int
  8. | `Notify_authority_count of int
  9. | `Partial
  10. | `Query_answer_count of int
  11. | `Query_authority_count of int
  12. | `Rcode_cant_change of Rcode.t
  13. | `Rcode_error_cant_noerror of Rcode.t
  14. | `Request_rcode of Rcode.t
  15. | `Truncated_request
  16. | `Update_ack_answer_count of int
  17. | `Update_ack_authority_count of int
]

The type of decode errors.

Sourceval pp_err : err Fmt.t

pp_err ppf err pretty-prints the decode error err on ppf.

Sourceval decode : Cstruct.t -> (t, err) result

decode cs decode the binary data cs to a DNS packet t or an error.

Sourcetype mismatch = [
  1. | `Not_a_reply of request
  2. | `Id_mismatch of int * int
  3. | `Operation_mismatch of request * reply
  4. | `Question_mismatch of Question.t * Question.t
  5. | `Expected_request
]

The type of request / reply mismatches.

Sourceval pp_mismatch : mismatch Fmt.t

pp_mismatch ppf m pretty-prints the mismatch m on ppf.

Sourceval reply_matches_request : request:t -> t -> (reply, mismatch) result

reply_matches_request ~request reply validates that the reply match the request, and returns either Ok data or an Error. The following basic checks are performed:

  • Is the header identifier of request and reply equal?
  • Does the request operation match the reply operation?
  • Is question and the question of response equal?
Sourceval size_edns : int option -> Edns.t option -> proto -> bool -> int * Edns.t option

size_edns max_size edns protocol query computes the size of the reply packet, and optionally an EDNS record.

Sourceval encode : ?max_size:int -> proto -> t -> Cstruct.t * int

encode ~max_size protocol t allocates a buffer and encodes the DNS packet t into it. If the maximum size (depending on max_size and protocol) is reached, the truncation flag is set. The last component of the result is the maximum size.

Sourceval encode_axfr_reply : ?max_size:int -> int -> proto -> t -> Axfr.t -> Cstruct.t list * int

encode_axfr_reply ~max_size tsig_size protocol t axfr encodes the axfr into a list of buffers to be sent out (each with at least tsig_size space for a tsig signature. The second component of the result is the maximum size (dependent on max_size and protocol).

Sourceval raw_error : Cstruct.t -> Rcode.t -> Cstruct.t option

raw_error cs rcode is an error reply with rcode to cs, or None if cs is already a reply.