summaryrefslogtreecommitdiff
path: root/tools/readconfig.py
blob: 9c023b1830106e812fddc3db9adb126c952d2ffd (plain)
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
import io
import ecdsa
import hashlib
import yaml
import base64
import sys
import configschema

def render_path(path):
    if path:
        return "'" + ", ".join(path) + "'"
    else:
        return "the top level"

class ErrorHandlingDict(dict):
    def __init__(self, filename, path):
        self._filename = filename
        self._path = path
        dict.__init__({})
    def __missing__(self, key):
        path = render_path(self._path)
        print >>sys.stderr, "error: could not find configuration key '%s' at %s in %s" % (key, path, self._filename)
        sys.exit(1)

def errorhandlify(term, filename, path=[]):
    if isinstance(term, basestring):
        return term
    elif isinstance(term, int):
        return term
    elif isinstance(term, dict):
        result = ErrorHandlingDict(filename, path)
        for k, v in term.items():
            result[k] = errorhandlify(v, filename, path + [k])
        return result
    elif isinstance(term, list):
        return [errorhandlify(e, filename, path + ["item %d" % i]) for i, e in enumerate(term, start=1)]
    else:
        print "unknown type", type(term)
        sys.exit(1)

def verify_config(rawconfig, signature, publickey_base64, filename):
    publickey = base64.decodestring(publickey_base64)

    try:
        vk = ecdsa.VerifyingKey.from_der(publickey)
        vk.verify(signature, rawconfig, hashfunc=hashlib.sha256,
                sigdecode=ecdsa.util.sigdecode_der)
    except ecdsa.keys.BadSignatureError:
        print >>sys.stderr, "error: configuration file %s did not have a correct signature" % (filename,)
        sys.exit(1)
    return common_read_config(io.BytesIO(rawconfig), filename, localconfig=False)

def verify_and_read_config(filename, publickey_base64):
    rawconfig = open(filename).read()
    signature = open(filename + ".sig").read()
    return verify_config(rawconfig, signature, publickey_base64, filename)

def insert_schema_path(schema, path, datatype, highleveldatatype):
    if len(path) == 1:
        schema[path[0]] = (datatype, highleveldatatype)
    else:
        if path[0] not in schema:
            schema[path[0]] = {}
        insert_schema_path(schema[path[0]], path[1:], datatype, highleveldatatype)

def transform_schema(in_schema):
    schema = {}
    for (rawpath, datatype, highleveldatatype) in in_schema:
        path = rawpath.split("/")
        insert_schema_path(schema, path, datatype, highleveldatatype)
    return schema

def check_config_schema(config, schema):
    transformed_schema = transform_schema(schema)
    error = check_config_schema_part(config, transformed_schema)
    if error:
        print >>sys.stderr, "error:", error
        sys.exit(1)

def check_config_schema_part(term, schema, path=[]):
    joined_path = render_path(path)
    if isinstance(term, basestring):
        (schema_lowlevel, schema_highlevel) = schema
        if schema_lowlevel != "string":
            return "expected %s at %s, not a string" % (schema_lowlevel, joined_path,)
        return None
    elif isinstance(term, int):
        (schema_lowlevel, schema_highlevel) = schema
        if schema_lowlevel != "integer":
            return "expected %s at %s, not an integer" % (schema_lowlevel, joined_path,)
        return None
    elif isinstance(term, dict):
        if not isinstance(schema, dict):
            return "expected %s at %s, not a key" % (schema, joined_path,)
        for k, v in term.items():
            schema_part = schema.get(k)
            if schema_part == None and len(schema.keys()) == 1 and schema.keys()[0].startswith("*"):
                schema_part = schema[schema.keys()[0]]
            if schema_part == None:
                return "configuration key '%s' at %s unknown" % (k, joined_path)
            result = check_config_schema_part(v, schema_part, path + [k])
            if result:
                return result
        return None
    elif isinstance(term, list):
        if not isinstance(schema, dict):
            return "expected %s at %s, not a list" % (schema, joined_path,)
        schema_part = schema.get("[]")
        if schema_part == None:
            return "expected dict at %s, not a list" % (joined_path,)
        for i, e in enumerate(term, start=1):
            result = check_config_schema_part(e, schema_part, path + ["item %d" % i])
            if result:
                return result
        return None
    else:
        print >>sys.stderr, "unknown type", type(term)
        sys.exit(1)

def insert_defaults(config, configdefaults):
    for (rawpath, value) in configdefaults:
        path = rawpath.split("/")
        node = config
        for e in path[:-1]:
            assert(e != "[]")
            node = node[e]
        lastelem = path[-1]
        if lastelem not in node:
            node[lastelem] = value

def common_read_config(f, filename, localconfig=True):
    if localconfig:
        schema = configschema.localconfigschema
        configdefaults = []
    else:
        schema = configschema.globalconfigschema
        configdefaults = configschema.globalconfigdefaults
    config = yaml.load(f, yaml.SafeLoader)
    insert_defaults(config, configdefaults)
    check_config_schema(config, schema)
    return errorhandlify(config, filename)

def read_config(filename, localconfig=True):
    return common_read_config(open(filename), filename, localconfig=localconfig)