hwdb.d/parse_hwdb.py

   1 #!/usr/bin/env python3
   2 # SPDX-License-Identifier: MIT
   3 #
   4 # This file is distributed under the MIT license, see below.
   5 #
   6 # The MIT License (MIT)
   7 #
   8 # Permission is hereby granted, free of charge, to any person obtaining a copy
   9 # of this software and associated documentation files (the "Software"), to deal
  10 # in the Software without restriction, including without limitation the rights
  11 # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  12 # copies of the Software, and to permit persons to whom the Software is
  13 # furnished to do so, subject to the following conditions:
  14 #
  15 # The above copyright notice and this permission notice shall be included in
  16 # all copies or substantial portions of the Software.
  17 #
  18 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  19 # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  20 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  21 # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  22 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  23 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  24 # SOFTWARE.
  25
  26 import glob
  27 import string
  28 import sys
  29 import os
  30
  31 try:
  32     from pyparsing import (Word, White, Literal, ParserElement, Regex, LineEnd,
  33                            OneOrMore, Combine, Or, Optional, Suppress, Group,
  34                            nums, alphanums, printables,
  35                            stringEnd, pythonStyleComment, QuotedString,
  36                            ParseBaseException)
  37 except ImportError:
  38     print('pyparsing is not available')
  39     sys.exit(77)
  40
  41 try:
  42     from evdev.ecodes import ecodes
  43 except ImportError:
  44     ecodes = None
  45     print('WARNING: evdev is not available')
  46
  47 try:
  48     from functools import lru_cache
  49 except ImportError:
  50     # don't do caching on old python
  51     lru_cache = lambda: (lambda f: f)
  52
  53 EOL = LineEnd().suppress()
  54 EMPTYLINE = LineEnd()
  55 COMMENTLINE = pythonStyleComment + EOL
  56 INTEGER = Word(nums)
  57 STRING =  QuotedString('"')
  58 REAL = Combine((INTEGER + Optional('.' + Optional(INTEGER))) ^ ('.' + INTEGER))
  59 SIGNED_REAL = Combine(Optional(Word('-+')) + REAL)
  60 UDEV_TAG = Word(string.ascii_uppercase, alphanums + '_')
  61
  62 # Those patterns are used in type-specific matches
  63 TYPES = {'mouse':    ('usb', 'bluetooth', 'ps2', '*'),
  64          'evdev':    ('name', 'atkbd', 'input'),
  65          'id-input': ('modalias'),
  66          'touchpad': ('i8042', 'rmi', 'bluetooth', 'usb'),
  67          'joystick': ('i8042', 'rmi', 'bluetooth', 'usb'),
  68          'keyboard': ('name', ),
  69          'sensor':   ('modalias', ),
  70         }
  71
  72 # Patterns that are used to set general properties on a device
  73 GENERAL_MATCHES = {'acpi',
  74                    'bluetooth',
  75                    'usb',
  76                    'pci',
  77                    'sdio',
  78                    'vmbus',
  79                    'OUI',
  80                    }
  81
  82 def upperhex_word(length):
  83     return Word(nums + 'ABCDEF', exact=length)
  84
  85 @lru_cache()
  86 def hwdb_grammar():
  87     ParserElement.setDefaultWhitespaceChars('')
  88
  89     prefix = Or(category + ':' + Or(conn) + ':'
  90                 for category, conn in TYPES.items())
  91
  92     matchline_typed = Combine(prefix + Word(printables + ' ' + '®'))
  93     matchline_general = Combine(Or(GENERAL_MATCHES) + ':' + Word(printables + ' ' + '®'))
  94     matchline = (matchline_typed | matchline_general) + EOL
  95
  96     propertyline = (White(' ', exact=1).suppress() +
  97                     Combine(UDEV_TAG - '=' - Word(alphanums + '_=:@*.!-;, "') - Optional(pythonStyleComment)) +
  98                     EOL)
  99     propertycomment = White(' ', exact=1) + pythonStyleComment + EOL
 100
 101     group = (OneOrMore(matchline('MATCHES*') ^ COMMENTLINE.suppress()) -
 102              OneOrMore(propertyline('PROPERTIES*') ^ propertycomment.suppress()) -
 103              (EMPTYLINE ^ stringEnd()).suppress())
 104     commentgroup = OneOrMore(COMMENTLINE).suppress() - EMPTYLINE.suppress()
 105
 106     grammar = OneOrMore(Group(group)('GROUPS*') ^ commentgroup) + stringEnd()
 107
 108     return grammar
 109
 110 @lru_cache()
 111 def property_grammar():
 112     ParserElement.setDefaultWhitespaceChars(' ')
 113
 114     dpi_setting = (Optional('*')('DEFAULT') + INTEGER('DPI') + Suppress('@') + INTEGER('HZ'))('SETTINGS*')
 115     mount_matrix_row = SIGNED_REAL + ',' + SIGNED_REAL + ',' + SIGNED_REAL
 116     mount_matrix = (mount_matrix_row + ';' + mount_matrix_row + ';' + mount_matrix_row)('MOUNT_MATRIX')
 117
 118     props = (('MOUSE_DPI', Group(OneOrMore(dpi_setting))),
 119              ('MOUSE_WHEEL_CLICK_ANGLE', INTEGER),
 120              ('MOUSE_WHEEL_CLICK_ANGLE_HORIZONTAL', INTEGER),
 121              ('MOUSE_WHEEL_CLICK_COUNT', INTEGER),
 122              ('MOUSE_WHEEL_CLICK_COUNT_HORIZONTAL', INTEGER),
 123              ('ID_AUTOSUSPEND', Literal('1')),
 124              ('ID_INPUT', Literal('1')),
 125              ('ID_INPUT_ACCELEROMETER', Literal('1')),
 126              ('ID_INPUT_JOYSTICK', Literal('1')),
 127              ('ID_INPUT_KEY', Literal('1')),
 128              ('ID_INPUT_KEYBOARD', Literal('1')),
 129              ('ID_INPUT_MOUSE', Literal('1')),
 130              ('ID_INPUT_POINTINGSTICK', Literal('1')),
 131              ('ID_INPUT_SWITCH', Literal('1')),
 132              ('ID_INPUT_TABLET', Literal('1')),
 133              ('ID_INPUT_TABLET_PAD', Literal('1')),
 134              ('ID_INPUT_TOUCHPAD', Literal('1')),
 135              ('ID_INPUT_TOUCHSCREEN', Literal('1')),
 136              ('ID_INPUT_TRACKBALL', Literal('1')),
 137              ('POINTINGSTICK_SENSITIVITY', INTEGER),
 138              ('POINTINGSTICK_CONST_ACCEL', REAL),
 139              ('ID_INPUT_JOYSTICK_INTEGRATION', Or(('internal', 'external'))),
 140              ('ID_INPUT_TOUCHPAD_INTEGRATION', Or(('internal', 'external'))),
 141              ('XKB_FIXED_LAYOUT', STRING),
 142              ('XKB_FIXED_VARIANT', STRING),
 143              ('XKB_FIXED_MODEL', STRING),
 144              ('KEYBOARD_LED_NUMLOCK', Literal('0')),
 145              ('KEYBOARD_LED_CAPSLOCK', Literal('0')),
 146              ('ACCEL_MOUNT_MATRIX', mount_matrix),
 147              ('ACCEL_LOCATION', Or(('display', 'base'))),
 148              ('PROXIMITY_NEAR_LEVEL', INTEGER),
 149             )
 150     fixed_props = [Literal(name)('NAME') - Suppress('=') - val('VALUE')
 151                    for name, val in props]
 152     kbd_props = [Regex(r'KEYBOARD_KEY_[0-9a-f]+')('NAME')
 153                  - Suppress('=') -
 154                  ('!' ^ (Optional('!') - Word(alphanums + '_')))('VALUE')
 155                 ]
 156     abs_props = [Regex(r'EVDEV_ABS_[0-9a-f]{2}')('NAME')
 157                  - Suppress('=') -
 158                  Word(nums + ':')('VALUE')
 159                 ]
 160
 161     grammar = Or(fixed_props + kbd_props + abs_props) + EOL
 162
 163     return grammar
 164
 165 ERROR = False
 166 def error(fmt, *args, **kwargs):
 167     global ERROR
 168     ERROR = True
 169     print(fmt.format(*args, **kwargs))
 170
 171 def convert_properties(group):
 172     matches = [m[0] for m in group.MATCHES]
 173     props = [p[0] for p in group.PROPERTIES]
 174     return matches, props
 175
 176 def parse(fname):
 177     grammar = hwdb_grammar()
 178     try:
 179         with open(fname, 'r', encoding='UTF-8') as f:
 180             parsed = grammar.parseFile(f)
 181     except ParseBaseException as e:
 182         error('Cannot parse {}: {}', fname, e)
 183         return []
 184     return [convert_properties(g) for g in parsed.GROUPS]
 185
 186 def check_matches(groups):
 187     matches = sum((group[0] for group in groups), [])
 188
 189     # This is a partial check. The other cases could be also done, but those
 190     # two are most commonly wrong.
 191     grammars = { 'usb' : 'v' + upperhex_word(4) + Optional('p' + upperhex_word(4)),
 192                  'pci' : 'v' + upperhex_word(8) + Optional('d' + upperhex_word(8)),
 193     }
 194
 195     for match in matches:
 196         prefix, rest = match.split(':', maxsplit=1)
 197         gr = grammars.get(prefix)
 198         if gr:
 199             try:
 200                 gr.parseString(rest)
 201             except ParseBaseException as e:
 202                 error('Pattern {!r} is invalid: {}', rest, e)
 203                 continue
 204             if rest[-1] not in '*:':
 205                 error('pattern {} does not end with "*" or ":"', match)
 206
 207     matches.sort()
 208     prev = None
 209     for match in matches:
 210         if match == prev:
 211             error('Match {!r} is duplicated', match)
 212         prev = match
 213
 214 def check_one_default(prop, settings):
 215     defaults = [s for s in settings if s.DEFAULT]
 216     if len(defaults) > 1:
 217         error('More than one star entry: {!r}', prop)
 218
 219 def check_one_mount_matrix(prop, value):
 220     numbers = [s for s in value if s not in {';', ','}]
 221     if len(numbers) != 9:
 222         error('Wrong accel matrix: {!r}', prop)
 223     try:
 224         numbers = [abs(float(number)) for number in numbers]
 225     except ValueError:
 226         error('Wrong accel matrix: {!r}', prop)
 227     bad_x, bad_y, bad_z = max(numbers[0:3]) == 0, max(numbers[3:6]) == 0, max(numbers[6:9]) == 0
 228     if bad_x or bad_y or bad_z:
 229         error('Mount matrix is all zero in {} row: {!r}',
 230               'x' if bad_x else ('y' if bad_y else 'z'),
 231               prop)
 232
 233 def check_one_keycode(prop, value):
 234     if value != '!' and ecodes is not None:
 235         key = 'KEY_' + value.upper()
 236         if not (key in ecodes or
 237                 value.upper() in ecodes or
 238                  # new keys added in kernel 5.5
 239                 'KBD_LCD_MENU' in key):
 240             error('Keycode {} unknown', key)
 241
 242 def check_properties(groups):
 243     grammar = property_grammar()
 244     for matches, props in groups:
 245         prop_names = set()
 246         for prop in props:
 247             # print('--', prop)
 248             prop = prop.partition('#')[0].rstrip()
 249             try:
 250                 parsed = grammar.parseString(prop)
 251             except ParseBaseException as e:
 252                 error('Failed to parse: {!r}', prop)
 253                 continue
 254             # print('{!r}'.format(parsed))
 255             if parsed.NAME in prop_names:
 256                 error('Property {} is duplicated', parsed.NAME)
 257             prop_names.add(parsed.NAME)
 258             if parsed.NAME == 'MOUSE_DPI':
 259                 check_one_default(prop, parsed.VALUE.SETTINGS)
 260             elif parsed.NAME == 'ACCEL_MOUNT_MATRIX':
 261                 check_one_mount_matrix(prop, parsed.VALUE)
 262             elif parsed.NAME.startswith('KEYBOARD_KEY_'):
 263                 val = parsed.VALUE if isinstance(parsed.VALUE, str) else parsed.VALUE[0]
 264                 check_one_keycode(prop, val)
 265
 266 def print_summary(fname, groups):
 267     n_matches = sum(len(matches) for matches, props in groups)
 268     n_props = sum(len(props) for matches, props in groups)
 269     print('{}: {} match groups, {} matches, {} properties'
 270           .format(fname, len(groups), n_matches, n_props))
 271
 272     if n_matches == 0 or n_props == 0:
 273         error('{}: no matches or props'.format(fname))
 274
 275 if __name__ == '__main__':
 276     args = sys.argv[1:] or sorted(glob.glob(os.path.dirname(sys.argv[0]) + '/[67][0-9]-*.hwdb'))
 277
 278     for fname in args:
 279         groups = parse(fname)
 280         print_summary(fname, groups)
 281         check_matches(groups)
 282         check_properties(groups)
 283
 284     sys.exit(ERROR)