1#!/usr/bin/env python3 2# SPDX-License-Identifier: GPL-2.0 3# Copyright Thomas Gleixner <tglx@linutronix.de> 4 5from argparse import ArgumentParser 6from ply import lex, yacc 7import locale 8import traceback 9import fnmatch 10import sys 11import git 12import re 13import os 14 15class ParserException(Exception): 16 def __init__(self, tok, txt): 17 self.tok = tok 18 self.txt = txt 19 20class SPDXException(Exception): 21 def __init__(self, el, txt): 22 self.el = el 23 self.txt = txt 24 25class SPDXdata(object): 26 def __init__(self): 27 self.license_files = 0 28 self.exception_files = 0 29 self.licenses = [ ] 30 self.exceptions = { } 31 32class dirinfo(object): 33 def __init__(self): 34 self.missing = 0 35 self.total = 0 36 self.files = [] 37 38 def update(self, fname, basedir, miss): 39 self.total += 1 40 self.missing += miss 41 if miss: 42 fname = './' + fname 43 bdir = os.path.dirname(fname) 44 if bdir == basedir.rstrip('/'): 45 self.files.append(fname) 46 47# Read the spdx data from the LICENSES directory 48def read_spdxdata(repo): 49 50 # The subdirectories of LICENSES in the kernel source 51 # Note: exceptions needs to be parsed as last directory. 52 license_dirs = [ "preferred", "dual", "deprecated", "exceptions" ] 53 lictree = repo.head.commit.tree['LICENSES'] 54 55 spdx = SPDXdata() 56 57 for d in license_dirs: 58 for el in lictree[d].traverse(): 59 if not os.path.isfile(el.path): 60 continue 61 62 exception = None 63 for l in open(el.path, encoding="utf-8").readlines(): 64 if l.startswith('Valid-License-Identifier:'): 65 lid = l.split(':')[1].strip().upper() 66 if lid in spdx.licenses: 67 raise SPDXException(el, 'Duplicate License Identifier: %s' %lid) 68 else: 69 spdx.licenses.append(lid) 70 71 elif l.startswith('SPDX-Exception-Identifier:'): 72 exception = l.split(':')[1].strip().upper() 73 spdx.exceptions[exception] = [] 74 75 elif l.startswith('SPDX-Licenses:'): 76 for lic in l.split(':')[1].upper().strip().replace(' ', '').replace('\t', '').split(','): 77 if not lic in spdx.licenses: 78 raise SPDXException(None, 'Exception %s missing license %s' %(exception, lic)) 79 spdx.exceptions[exception].append(lic) 80 81 elif l.startswith("License-Text:"): 82 if exception: 83 if not len(spdx.exceptions[exception]): 84 raise SPDXException(el, 'Exception %s is missing SPDX-Licenses' %exception) 85 spdx.exception_files += 1 86 else: 87 spdx.license_files += 1 88 break 89 return spdx 90 91class id_parser(object): 92 93 reserved = [ 'AND', 'OR', 'WITH' ] 94 tokens = [ 'LPAR', 'RPAR', 'ID', 'EXC' ] + reserved 95 96 precedence = ( ('nonassoc', 'AND', 'OR'), ) 97 98 t_ignore = ' \t' 99 100 def __init__(self, spdx): 101 self.spdx = spdx 102 self.lasttok = None 103 self.lastid = None 104 self.lexer = lex.lex(module = self, reflags = re.UNICODE) 105 # Initialize the parser. No debug file and no parser rules stored on disk 106 # The rules are small enough to be generated on the fly 107 self.parser = yacc.yacc(module = self, write_tables = False, debug = False) 108 self.lines_checked = 0 109 self.checked = 0 110 self.excluded = 0 111 self.spdx_valid = 0 112 self.spdx_errors = 0 113 self.spdx_dirs = {} 114 self.dirdepth = -1 115 self.basedir = '.' 116 self.curline = 0 117 self.deepest = 0 118 119 def set_dirinfo(self, basedir, dirdepth): 120 if dirdepth >= 0: 121 self.basedir = basedir 122 bdir = basedir.lstrip('./').rstrip('/') 123 if bdir != '': 124 parts = bdir.split('/') 125 else: 126 parts = [] 127 self.dirdepth = dirdepth + len(parts) 128 129 # Validate License and Exception IDs 130 def validate(self, tok): 131 id = tok.value.upper() 132 if tok.type == 'ID': 133 if not id in self.spdx.licenses: 134 raise ParserException(tok, 'Invalid License ID') 135 self.lastid = id 136 elif tok.type == 'EXC': 137 if id not in self.spdx.exceptions: 138 raise ParserException(tok, 'Invalid Exception ID') 139 if self.lastid not in self.spdx.exceptions[id]: 140 raise ParserException(tok, 'Exception not valid for license %s' %self.lastid) 141 self.lastid = None 142 elif tok.type != 'WITH': 143 self.lastid = None 144 145 # Lexer functions 146 def t_RPAR(self, tok): 147 r'\)' 148 self.lasttok = tok.type 149 return tok 150 151 def t_LPAR(self, tok): 152 r'\(' 153 self.lasttok = tok.type 154 return tok 155 156 def t_ID(self, tok): 157 r'[A-Za-z.0-9\-+]+' 158 159 if self.lasttok == 'EXC': 160 print(tok) 161 raise ParserException(tok, 'Missing parentheses') 162 163 tok.value = tok.value.strip() 164 val = tok.value.upper() 165 166 if val in self.reserved: 167 tok.type = val 168 elif self.lasttok == 'WITH': 169 tok.type = 'EXC' 170 171 self.lasttok = tok.type 172 self.validate(tok) 173 return tok 174 175 def t_error(self, tok): 176 raise ParserException(tok, 'Invalid token') 177 178 def p_expr(self, p): 179 '''expr : ID 180 | ID WITH EXC 181 | expr AND expr 182 | expr OR expr 183 | LPAR expr RPAR''' 184 pass 185 186 def p_error(self, p): 187 if not p: 188 raise ParserException(None, 'Unfinished license expression') 189 else: 190 raise ParserException(p, 'Syntax error') 191 192 def parse(self, expr): 193 self.lasttok = None 194 self.lastid = None 195 self.parser.parse(expr, lexer = self.lexer) 196 197 def parse_lines(self, fd, maxlines, fname): 198 self.checked += 1 199 self.curline = 0 200 fail = 1 201 try: 202 for line in fd: 203 line = line.decode(locale.getpreferredencoding(False), errors='ignore') 204 self.curline += 1 205 if self.curline > maxlines: 206 break 207 self.lines_checked += 1 208 if line.find("SPDX-License-Identifier:") < 0: 209 continue 210 expr = line.split(':')[1].strip() 211 # Remove trailing comment closure 212 if line.strip().endswith('*/'): 213 expr = expr.rstrip('*/').strip() 214 # Remove trailing xml comment closure 215 if line.strip().endswith('-->'): 216 expr = expr.rstrip('-->').strip() 217 # Remove trailing Jinja2 comment closure 218 if line.strip().endswith('#}'): 219 expr = expr.rstrip('#}').strip() 220 # Special case for SH magic boot code files 221 if line.startswith('LIST \"'): 222 expr = expr.rstrip('\"').strip() 223 # Remove j2 comment closure 224 if line.startswith('{#'): 225 expr = expr.rstrip('#}').strip() 226 self.parse(expr) 227 self.spdx_valid += 1 228 # 229 # Should we check for more SPDX ids in the same file and 230 # complain if there are any? 231 # 232 fail = 0 233 break 234 235 except ParserException as pe: 236 if pe.tok: 237 col = line.find(expr) + pe.tok.lexpos 238 tok = pe.tok.value 239 sys.stdout.write('%s: %d:%d %s: %s\n' %(fname, self.curline, col, pe.txt, tok)) 240 else: 241 sys.stdout.write('%s: %d:0 %s\n' %(fname, self.curline, pe.txt)) 242 self.spdx_errors += 1 243 244 if fname == '-': 245 return 246 247 base = os.path.dirname(fname) 248 if self.dirdepth > 0: 249 parts = base.split('/') 250 i = 0 251 base = '.' 252 while i < self.dirdepth and i < len(parts) and len(parts[i]): 253 base += '/' + parts[i] 254 i += 1 255 elif self.dirdepth == 0: 256 base = self.basedir 257 else: 258 base = './' + base.rstrip('/') 259 base += '/' 260 261 di = self.spdx_dirs.get(base, dirinfo()) 262 di.update(fname, base, fail) 263 self.spdx_dirs[base] = di 264 265class pattern(object): 266 def __init__(self, line): 267 self.pattern = line 268 self.match = self.match_file 269 if line == '.*': 270 self.match = self.match_dot 271 elif line.endswith('/'): 272 self.pattern = line[:-1] 273 self.match = self.match_dir 274 elif line.startswith('/'): 275 self.pattern = line[1:] 276 self.match = self.match_fn 277 278 def match_dot(self, fpath): 279 return os.path.basename(fpath).startswith('.') 280 281 def match_file(self, fpath): 282 return os.path.basename(fpath) == self.pattern 283 284 def match_fn(self, fpath): 285 return fnmatch.fnmatchcase(fpath, self.pattern) 286 287 def match_dir(self, fpath): 288 if self.match_fn(os.path.dirname(fpath)): 289 return True 290 return fpath.startswith(self.pattern) 291 292def exclude_file(fpath): 293 for rule in exclude_rules: 294 if rule.match(fpath): 295 return True 296 return False 297 298def scan_git_tree(tree, basedir, dirdepth): 299 parser.set_dirinfo(basedir, dirdepth) 300 for el in tree.traverse(): 301 if not os.path.isfile(el.path): 302 continue 303 if exclude_file(el.path): 304 parser.excluded += 1 305 continue 306 with open(el.path, 'rb') as fd: 307 parser.parse_lines(fd, args.maxlines, el.path) 308 309def scan_git_subtree(tree, path, dirdepth): 310 for p in path.strip('/').split('/'): 311 tree = tree[p] 312 scan_git_tree(tree, path.strip('/'), dirdepth) 313 314def read_exclude_file(fname): 315 rules = [] 316 if not fname: 317 return rules 318 with open(fname) as fd: 319 for line in fd: 320 line = line.strip() 321 if line.startswith('#'): 322 continue 323 if not len(line): 324 continue 325 rules.append(pattern(line)) 326 return rules 327 328if __name__ == '__main__': 329 330 ap = ArgumentParser(description='SPDX expression checker') 331 ap.add_argument('path', nargs='*', help='Check path or file. If not given full git tree scan. For stdin use "-"') 332 ap.add_argument('-d', '--dirs', action='store_true', 333 help='Show [sub]directory statistics.') 334 ap.add_argument('-D', '--depth', type=int, default=-1, 335 help='Directory depth for -d statistics. Default: unlimited') 336 ap.add_argument('-e', '--exclude', 337 help='File containing file patterns to exclude. Default: scripts/spdxexclude') 338 ap.add_argument('-f', '--files', action='store_true', 339 help='Show files without SPDX.') 340 ap.add_argument('-m', '--maxlines', type=int, default=15, 341 help='Maximum number of lines to scan in a file. Default 15') 342 ap.add_argument('-v', '--verbose', action='store_true', help='Verbose statistics output') 343 args = ap.parse_args() 344 345 # Sanity check path arguments 346 if '-' in args.path and len(args.path) > 1: 347 sys.stderr.write('stdin input "-" must be the only path argument\n') 348 sys.exit(1) 349 350 try: 351 # Use git to get the valid license expressions 352 repo = git.Repo(os.getcwd()) 353 assert not repo.bare 354 355 # Initialize SPDX data 356 spdx = read_spdxdata(repo) 357 358 # Initialize the parser 359 parser = id_parser(spdx) 360 361 except SPDXException as se: 362 if se.el: 363 sys.stderr.write('%s: %s\n' %(se.el.path, se.txt)) 364 else: 365 sys.stderr.write('%s\n' %se.txt) 366 sys.exit(1) 367 368 except Exception as ex: 369 sys.stderr.write('FAIL: %s\n' %ex) 370 sys.stderr.write('%s\n' %traceback.format_exc()) 371 sys.exit(1) 372 373 try: 374 fname = args.exclude 375 if not fname: 376 fname = os.path.join(os.path.dirname(__file__), 'spdxexclude') 377 exclude_rules = read_exclude_file(fname) 378 except Exception as ex: 379 sys.stderr.write('FAIL: Reading exclude file %s: %s\n' %(fname, ex)) 380 sys.exit(1) 381 382 try: 383 if len(args.path) and args.path[0] == '-': 384 stdin = os.fdopen(sys.stdin.fileno(), 'rb') 385 parser.parse_lines(stdin, args.maxlines, '-') 386 else: 387 if args.path: 388 for p in args.path: 389 if os.path.isfile(p): 390 parser.parse_lines(open(p, 'rb'), args.maxlines, p) 391 elif os.path.isdir(p): 392 scan_git_subtree(repo.head.reference.commit.tree, p, 393 args.depth) 394 else: 395 sys.stderr.write('path %s does not exist\n' %p) 396 sys.exit(1) 397 else: 398 # Full git tree scan 399 scan_git_tree(repo.head.commit.tree, '.', args.depth) 400 401 ndirs = len(parser.spdx_dirs) 402 dirsok = 0 403 if ndirs: 404 for di in parser.spdx_dirs.values(): 405 if not di.missing: 406 dirsok += 1 407 408 if args.verbose: 409 sys.stderr.write('\n') 410 sys.stderr.write('License files: %12d\n' %spdx.license_files) 411 sys.stderr.write('Exception files: %12d\n' %spdx.exception_files) 412 sys.stderr.write('License IDs %12d\n' %len(spdx.licenses)) 413 sys.stderr.write('Exception IDs %12d\n' %len(spdx.exceptions)) 414 sys.stderr.write('\n') 415 sys.stderr.write('Files excluded: %12d\n' %parser.excluded) 416 sys.stderr.write('Files checked: %12d\n' %parser.checked) 417 sys.stderr.write('Lines checked: %12d\n' %parser.lines_checked) 418 if parser.checked: 419 pc = int(100 * parser.spdx_valid / parser.checked) 420 sys.stderr.write('Files with SPDX: %12d %3d%%\n' %(parser.spdx_valid, pc)) 421 missing = parser.checked - parser.spdx_valid 422 mpc = int(100 * missing / parser.checked) 423 sys.stderr.write('Files without SPDX:%12d %3d%%\n' %(missing, mpc)) 424 sys.stderr.write('Files with errors: %12d\n' %parser.spdx_errors) 425 if ndirs: 426 sys.stderr.write('\n') 427 sys.stderr.write('Directories accounted: %8d\n' %ndirs) 428 pc = int(100 * dirsok / ndirs) 429 sys.stderr.write('Directories complete: %8d %3d%%\n' %(dirsok, pc)) 430 431 if ndirs and ndirs != dirsok and args.dirs: 432 if args.verbose: 433 sys.stderr.write('\n') 434 sys.stderr.write('Incomplete directories: SPDX in Files\n') 435 for f in sorted(parser.spdx_dirs.keys()): 436 di = parser.spdx_dirs[f] 437 if di.missing: 438 valid = di.total - di.missing 439 pc = int(100 * valid / di.total) 440 sys.stderr.write(' %-80s: %5d of %5d %3d%%\n' %(f, valid, di.total, pc)) 441 442 if ndirs and ndirs != dirsok and args.files: 443 if args.verbose or args.dirs: 444 sys.stderr.write('\n') 445 sys.stderr.write('Files without SPDX:\n') 446 for f in sorted(parser.spdx_dirs.keys()): 447 di = parser.spdx_dirs[f] 448 for f in sorted(di.files): 449 sys.stderr.write(' %s\n' %f) 450 451 sys.exit(0) 452 453 except Exception as ex: 454 sys.stderr.write('FAIL: %s\n' %ex) 455 sys.stderr.write('%s\n' %traceback.format_exc()) 456 sys.exit(1) 457