X-Git-Url: https://git.ralfj.de/zonemaker.git/blobdiff_plain/7e54c453642ea5c95c113496e620b71d4209802c..e755148dea6ccfd48ee64670bd2f59f311dde159:/zonemaker/zone.py?ds=sidebyside diff --git a/zonemaker/zone.py b/zonemaker/zone.py index e63d943..add2bde 100644 --- a/zonemaker/zone.py +++ b/zonemaker/zone.py @@ -1,6 +1,5 @@ -import re -from ipaddress import IPv4Address, IPv6Address -from typing import List, Dict, Any, Iterator +import re, datetime +#from typing import * second = 1 @@ -9,14 +8,43 @@ hour = 60*minute day = 24*hour week = 7*day +REGEX_label = r'[a-zA-Z90-9]([a-zA-Z90-9-]{0,61}[a-zA-Z90-9])?' # max. 63 characters; must not start or end with hyphen +REGEX_ipv4 = r'^\d{1,3}(\.\d{1,3}){3}$' +REGEX_ipv6 = r'^[a-fA-F0-9]{1,4}(:[a-fA-F0-9]{1,4}){7}$' + +def check_label(label: str) -> str: + label = str(label) + pattern = r'^{0}$'.format(REGEX_label) + if re.match(pattern, label): + return label + raise Exception(label+" is not a valid label") + def check_hostname(name: str) -> str: + name = str(name) # check hostname for validity - label = r'[a-zA-Z90-9]([a-zA-Z90-9-]{0,61}[a-zA-Z90-9])?' # must not start or end with hyphen - pattern = r'^{0}(\.{0})*\.?'.format(label) + pattern = r'^{0}(\.{0})*\.?$'.format(REGEX_label) if re.match(pattern, name): return name raise Exception(name+" is not a valid hostname") +def check_hex(data: str) -> str: + data = str(data) + if re.match('^[a-fA-F0-9]+$', data): + return data + raise Exception(data+" is not valid hex data") + +def check_ipv4(address: str) -> str: + address = str(address) + if re.match(REGEX_ipv4, address): + return address + raise Exception(address+" is not a valid IPv4 address") + +def check_ipv6(address: str) -> str: + address = str(address) + if re.match(REGEX_ipv6, address): + return address + raise Exception(address+" is not a valid IPv6 address") + def time(time: int) -> str: if time == 0: return "0" @@ -31,65 +59,159 @@ def time(time: int) -> str: else: return str(time) -class Address: - # mypy does not know about the ipaddress types, so leave this class unannotated for now - def __init__(self, IPv4 = None, IPv6 = None) -> None: - if IPv4 is None and IPv6 is None: - raise Exception("There has to be at least one valid address!") - self._IPv4 = None if IPv4 is None else IPv4Address(IPv4) - self._IPv6 = None if IPv6 is None else IPv6Address(IPv6) +def column_widths(datas: 'Sequence', widths: 'Sequence[int]'): + assert len(datas) == len(widths)+1, "There must be as one more data points as widths" + result = "" + width_sum = 0 + for data, width in zip(datas, widths): # will *not* cover the last point + result += str(data)+" " # add data point, and a minimal space + width_sum += width + if len(result) < width_sum: # add padding + result += (width_sum - len(result))*" " + # last data point + return result+str(datas[-1]) + + +## Enums +class Protocol: + TCP = 'tcp' + UDP = 'udp' + +class Algorithm: + RSA_SHA256 = 8 + +class Digest: + SHA1 = 1 + SHA256 = 2 + + +## Record types +class A: + def __init__(self, address: str) -> None: + self._address = check_ipv4(address) - def IPv4(self): - return Address(IPv4 = self._IPv4) + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'A', self._address) + + +class AAAA: + def __init__(self, address: str) -> None: + self._address = check_ipv6(address) - def IPv6(self): - return Address(IPv6 = self._IPv6) + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'AAAA', self._address) + + +class MX: + def __init__(self, name: str, prio: int = 10) -> None: + self._priority = int(prio) + self._name = check_hostname(name) - def generate_rrs(self, owner: str, zone: 'Zone') -> Iterator: - if self._IPv4 is not None: - yield zone.RR(owner, 'A', self._IPv4) - if self._IPv6 is not None: - yield zone.RR(owner, 'AAAA', self._IPv6) + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'MX', '{0} {1}'.format(self._priority, zone.abs_hostname(self._name))) -class Name: - def __init__(self, address: Address = None, MX: List = None, - TCP: Dict[int, Any] = None, UDP: Dict[int, Any] = None) -> None: - self._address = address + +class SRV: + def __init__(self, protocol: str, service: str, name: str, port: int, prio: int, weight: int) -> None: + self._service = check_label(service) + self._protocol = check_label(protocol) + self._priority = int(prio) + self._weight = int(weight) + self._port = int(port) + self._name = check_hostname(name) - def generate_rrs(self, owner: str, zone: 'Zone') -> Iterator: - if self._address is not None: - for rr in self._address.generate_rrs(owner, zone): - yield rr - # TODO + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR('_{0}._{1}.{2}'.format(self._service, self._protocol, owner), 'SRV', + '{0} {1} {2} {3}'.format(self._priority, self._weight, self._port, zone.abs_hostname(self._name))) -class Service: - def __init__(self, SRV: str = None, TLSA: str=None) -> None: - self._SRV = None if SRV is None else check_hostname(SRV) - self._TLSA = TLSA -class CName: +class TLSA: + class Usage: + CA = 0 # certificate must pass the usual CA check, with the CA specified by the TLSA record + EndEntity_PlusCAs = 1 # the certificate must match the TLSA record *and* pass the usual CA check + TrustAnchor = 2 # the certificate must pass a check with the TLSA record giving the (only) trust anchor + EndEntity = 3 # the certificate must match the TLSA record + + class Selector: + Full = 0 + SubjectPublicKeyInfo = 1 + + class MatchingType: + Exact = 0 + SHA256 = 1 + SHA512 = 2 + + def __init__(self, protocol: str, port: int, usage: int, selector: int, matching_type: int, data: str) -> None: + self._port = int(port) + self._protocol = str(protocol) + self._usage = int(usage) + self._selector = int(selector) + self._matching_type = int(matching_type) + self._data = check_hex(data) + + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR('_{0}._{1}.{2}'.format(self._port, self._protocol, owner), 'TLSA', '{0} {1} {2} {3}'.format(self._usage, self._selector, self._matching_type, self._data)) + + +class CNAME: def __init__(self, name: str) -> None: self._name = check_hostname(name) - def generate_rrs(self, owner: str, zone: 'Zone') -> Iterator: - yield zone.RR(owner, 'CNAME', zone.abs_hostname(self._name)) + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'CNAME', zone.abs_hostname(self._name)) + -class Delegation(): - def __init__(self, NS: str, DS: str = None) -> None: - self._NS = NS - self._DS = DS +class NS: + def __init__(self, name: str) -> None: + self._name = check_hostname(name) - def generate_rrs(self, owner: str, zone: 'Zone') -> Iterator: - yield zone.RR(owner, 'NS', zone.abs_hostname(self._NS)) - # TODO DS + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'NS', zone.abs_hostname(self._name)) + + +class DS: + def __init__(self, tag: int, alg: int, digest: int, key: str) -> None: + self._tag = int(tag) + self._key = check_hex(key) + self._alg = int(alg) + self._digest = int(digest) + + def generate_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'DS', '{0} {1} {2} {3}'.format(self._tag, self._alg, self._digest, self._key)) + +## Higher-level classes +class Name: + def __init__(self, *records: 'List[Any]') -> None: + self._records = records + + def generate_rrs(self, owner: str, zone: 'Zone') -> 'Iterator': + for record in self._records: + # this could still be a list + if isinstance(record, list): + for subrecord in record: + yield subrecord.generate_rr(owner, zone) + else: + yield record.generate_rr(owner, zone) + + +def CName(name: str) -> Name: + return Name(CNAME(name)) + + +def Delegation(name: str) -> Name: + return Name(NS(name)) + + +def SecureDelegation(name: str, tag: int, alg: int, digest: int, key: str) -> Name: + return Name(NS(name), DS(tag, alg, digest, key)) + class Zone: - def __init__(self, name: str, serialfile: str, dbfile: str, mail: str, NS: List[str], + def __init__(self, name: str, serialfile: str, mail: str, NS: 'List[str]', secondary_refresh: int, secondary_retry: int, secondary_expire: int, NX_TTL: int = None, A_TTL: int = None, other_TTL: int = None, - domains: Dict[str, Any] = {}) -> None: + domains: 'Dict[str, Any]' = {}) -> None: self._serialfile = serialfile - self._dbfile = dbfile if not name.endswith('.'): raise Exception("Expected an absolute hostname") self._name = check_hostname(name) @@ -121,9 +243,11 @@ class Zone: if TTL is None: TTL = self._other_TTL # be done - return "{0:<31} {1:<7} {2:<7} {3}".format(self.abs_hostname(owner), TTL, recordType, data) + return column_widths((self.abs_hostname(owner), time(TTL), recordType, data), (32, 8, 8)) def abs_hostname(self, name): + if name == '.' or name == '@': + return self._name if name.endswith('.'): return name return name+"."+self._name @@ -134,7 +258,7 @@ class Zone: try: with open(self._serialfile) as f: cur_serial = int(f.read()) - except FileNotFoundError: + except (OSError, IOError): # FileNotFoundError has been added in Python 3.3 pass # increment serial cur_serial += 1 @@ -144,27 +268,25 @@ class Zone: # be done return cur_serial - def generate_rrs(self) -> Iterator: + def generate_rrs(self) -> 'Iterator': # SOA record serial = self.inc_serial() yield self.RR(self._name, 'SOA', - ('{NS} {mail} ({serial} {refresh} {retry} {expire} {NX_TTL}) ; '+ - '(serial refresh retry expire NX_TTL)').format( + ('{NS} {mail} {serial} {refresh} {retry} {expire} {NX_TTL}'+ + ' ; primns mail serial refresh retry expire NX_TTL').format( NS=self.abs_hostname(self._NS[0]), mail=self._mail, serial=serial, refresh=time(self._refresh), retry=time(self._retry), expire=time(self._expire), NX_TTL=time(self._NX_TTL)) ) # NS records - for ns in self._NS: - yield self.RR(self._name, 'NS', self.abs_hostname(ns)) - + for name in self._NS: + yield NS(name).generate_rr(self._name, self) # all the rest for name in sorted(self._domains.keys(), key=lambda s: list(reversed(s.split('.')))): for rr in self._domains[name].generate_rrs(name, self): yield rr def write(self) -> None: - with open(self._dbfile, 'w') as f: - for rr in self.generate_rrs(): - f.write(rr+"\n") - print(rr) + print(";; {0} zone file, generated by zonemaker on {1}".format(self._name, datetime.datetime.now())) + for rr in self.generate_rrs(): + print(rr)