rustd-resolved 0.2.3

Native DNS resolver and name-service daemon for RustD
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

-- SPDX-License-Identifier: LGPL-2.1-or-later
module Resolved.Policy

import Data.List
import Data.Vect

%default total

public export
data Protocol = UnicastDNS | LLMNR | MulticastDNS

public export
data AddressFamily = Unspecified | IPv4 | IPv6

public export
data Validation = Insecure | Authenticated | Bogus

public export
data ResolutionPath
  = Synthetic
  | HostsFile
  | Network Protocol
  | Refused

public export
record DNSName (labels : Nat) where
  constructor MkDNSName
  components : Vect labels String

public export
record Policy where
  constructor MkPolicy
  llmnrEnabled : Bool
  mdnsEnabled : Bool
  unicastSingleLabel : Bool

public export
isSingleLabel : DNSName labels -> Bool
isSingleLabel (MkDNSName []) = False
isSingleLabel (MkDNSName [_]) = True
isSingleLabel (MkDNSName (_ :: _ :: _)) = False

public export
routeName : Policy -> DNSName labels -> ResolutionPath
routeName policy name =
  if isSingleLabel name then
    if llmnrEnabled policy then Network LLMNR
    else if unicastSingleLabel policy then Network UnicastDNS
    else Refused
  else Network UnicastDNS

public export
routeLocalName : Policy -> DNSName labels -> ResolutionPath
routeLocalName policy _ =
  if mdnsEnabled policy then Network MulticastDNS else Refused

public export
data SupportedClass = Internet | AnyClass

public export
data SupportedType
  = A
  | AAAA
  | PTR
  | CNAME
  | SOA
  | MX
  | TXT
  | SRV
  | TLSA
  | SSHFP
  | AnyType

public export
data QueryDecision = Accept | RejectClass | RejectType

public export
validateQuery : Maybe SupportedClass -> Maybe SupportedType -> QueryDecision
validateQuery Nothing _ = RejectClass
validateQuery _ Nothing = RejectType
validateQuery (Just _) (Just _) = Accept

public export
record CacheWitness where
  constructor MkCacheWitness
  originalTTL : Nat
  elapsed : Nat
  remaining : Nat
  remainingIsDifference : remaining = minus originalTTL elapsed

public export
ageTTL : (ttl : Nat) -> (elapsed : Nat) -> CacheWitness
ageTTL ttl elapsed = MkCacheWitness ttl elapsed (minus ttl elapsed) Refl