X-Git-Url: https://git.ralfj.de/zonemaker.git/blobdiff_plain/81b4573994bcaef18aae462cfbf7c5cf542db0ca..e755148dea6ccfd48ee64670bd2f59f311dde159:/zonemaker/zone.py?ds=inline diff --git a/zonemaker/zone.py b/zonemaker/zone.py index 435b039..add2bde 100644 --- a/zonemaker/zone.py +++ b/zonemaker/zone.py @@ -1,67 +1,292 @@ -import ipaddress, re +import re, datetime +#from typing import * + second = 1 minute = 60*second 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 hostname(name): +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) - print(pattern) + pattern = r'^{0}(\.{0})*\.?$'.format(REGEX_label) if re.match(pattern, name): return name raise Exception(name+" is not a valid hostname") -class Address: - def __init__(self, IPv4 = None, IPv6 = None): - self._IPv4 = None if IPv4 is None else ipaddress.IPv4Address(IPv4) - self._IPv6 = None if IPv6 is None else ipaddress.IPv6Address(IPv6) +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" + elif time % week == 0: + return str(time//week)+"w" + elif time % day == 0: + return str(time//day)+"d" + elif time % hour == 0: + return str(time//hour)+"h" + elif time % minute == 0: + return str(time//minute)+"m" + else: + return str(time) + +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 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 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 IPv4(self): - return Address(IPv4 = self._IPv4) + 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 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 IPv6(self): - return Address(IPv6 = self._IPv6) + 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 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_rr(self, owner: str, zone: 'Zone') -> 'Any': + return zone.RR(owner, 'CNAME', zone.abs_hostname(self._name)) + + +class NS: + def __init__(self, name: str) -> None: + self._name = check_hostname(name) + + 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, address = None, MX = None, TCP = None, UDP = None): - self._address = address + 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)) -class Service: - def __init__(self, SRV = None, TLSA=None): - self._SRV = SRV - self._TLSA = TLSA -class CName: - def __init__(self, name): - self._name = 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 Delegation(): - def __init__(self, NS, DS = None): - pass class Zone: - def __init__(self, name, mail, NS, - secondary_refresh, secondary_retry, secondary_discard, - NX_TTL = None, A_TTL = None, other_TTL = None, - domains = []): - self._name = hostname(name) + 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: + self._serialfile = serialfile + + if not name.endswith('.'): raise Exception("Expected an absolute hostname") + self._name = check_hostname(name) if not mail.endswith('.'): raise Exception("Mail must be absolute, end with a dot") atpos = mail.find('@') if atpos < 0 or atpos > mail.find('.'): raise Exception("Mail must contain an @ before the first dot") - self._mail = hostname(mail.replace('@', '.', 1)) - self._NS = list(map(hostname, NS)) + self._mail = check_hostname(mail.replace('@', '.', 1)) + self._NS = list(map(check_hostname, NS)) - self._secondary_refresh = secondary_refresh - self._secondary_retry = secondary_retry - self._secondary_discard = secondary_discard + self._refresh = secondary_refresh + self._retry = secondary_retry + self._expire = secondary_expire - assert other_TTL is not None - self._NX_TTL = other_TTL if NX_TTL is None else NX_TTL - self._A_TTL = other_TTL if A_TTL is None else A_TTL + if other_TTL is None: raise Exception("Must give other_TTL") + self._NX_TTL = NX_TTL + self._A_TTL = self._AAAA_TTL = A_TTL self._other_TTL = other_TTL + + self._domains = domains + + def RR(self, owner: str, recordType: str, data: str) -> str: + '''generate given RR, in textual representation''' + assert re.match(r'^[A-Z]+$', recordType), "got invalid record type" + # figure out TTL + attrname = "_"+recordType+"_TTL" + TTL = None # type: int + if hasattr(self, attrname): + TTL = getattr(self, attrname) + if TTL is None: + TTL = self._other_TTL + # be done + 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 + + def inc_serial(self) -> int: + # get serial + cur_serial = 0 + try: + with open(self._serialfile) as f: + cur_serial = int(f.read()) + except (OSError, IOError): # FileNotFoundError has been added in Python 3.3 + pass + # increment serial + cur_serial += 1 + # save serial + with open(self._serialfile, 'w') as f: + f.write(str(cur_serial)) + # be done + return cur_serial + + 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}'+ + ' ; 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 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, file): - raise NotImplementedError() + def write(self) -> None: + print(";; {0} zone file, generated by zonemaker on {1}".format(self._name, datetime.datetime.now())) + for rr in self.generate_rrs(): + print(rr)