build_files/cmake/cmake_static_check_splint.py

   1 #!/usr/bin/env python3
   2
   3 # ***** BEGIN GPL LICENSE BLOCK *****
   4 #
   5 # This program is free software; you can redistribute it and/or
   6 # modify it under the terms of the GNU General Public License
   7 # as published by the Free Software Foundation; either version 2
   8 # of the License, or (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program; if not, write to the Free Software Foundation,
  17 # Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  18 #
  19 # Contributor(s): Campbell Barton
  20 #
  21 # ***** END GPL LICENSE BLOCK *****
  22
  23 # <pep8 compliant>
  24
  25 CHECKER_IGNORE_PREFIX = [
  26     "extern",
  27     "intern/moto",
  28 ]
  29
  30 CHECKER_BIN = "splint"
  31
  32 CHECKER_ARGS = [
  33     "-weak",
  34     "-posix-lib",
  35     "-linelen", "10000",
  36     "+ignorequals",
  37     "+relaxtypes",
  38     "-retvalother",
  39     "+matchanyintegral",
  40     "+longintegral",
  41     "+ignoresigns",
  42     "-nestcomment",
  43     "-predboolothers",
  44     "-ifempty",
  45     "-unrecogcomments",
  46
  47     # we may want to remove these later
  48     "-type",
  49     "-fixedformalarray",
  50     "-fullinitblock",
  51     "-fcnuse",
  52     "-initallelements",
  53     "-castfcnptr",
  54     # -forcehints,
  55     "-bufferoverflowhigh",  # warns a lot about sprintf()
  56
  57     # re-definitions, rna causes most of these
  58     "-redef",
  59     "-syntax",
  60
  61     # dummy, witjout this splint complains with:
  62     #  /usr/include/bits/confname.h:31:27: *** Internal Bug at cscannerHelp.c:2428: Unexpanded macro not function or constant: int _PC_MAX_CANON
  63     "-D_PC_MAX_CANON=0",
  64 ]
  65
  66
  67 import project_source_info
  68 import subprocess
  69 import sys
  70 import os
  71
  72 USE_QUIET = (os.environ.get("QUIET", None) is not None)
  73
  74
  75 def main():
  76     source_info = project_source_info.build_info(use_cxx=False, ignore_prefix_list=CHECKER_IGNORE_PREFIX)
  77
  78     check_commands = []
  79     for c, inc_dirs, defs in source_info:
  80         cmd = ([CHECKER_BIN] +
  81                CHECKER_ARGS +
  82                [c] +
  83                [("-I%s" % i) for i in inc_dirs] +
  84                [("-D%s" % d) for d in defs]
  85                )
  86
  87         check_commands.append((c, cmd))
  88
  89     def my_process(i, c, cmd):
  90         if not USE_QUIET:
  91             percent = 100.0 * (i / len(check_commands))
  92             percent_str = "[" + ("%.2f]" % percent).rjust(7) + " %:"
  93
  94             sys.stdout.write("%s %s\n" % (percent_str, c))
  95             sys.stdout.flush()
  96
  97         return subprocess.Popen(cmd)
  98
  99     process_functions = []
 100     for i, (c, cmd) in enumerate(check_commands):
 101         process_functions.append((my_process, (i, c, cmd)))
 102
 103     project_source_info.queue_processes(process_functions)
 104
 105
 106 if __name__ == "__main__":
 107     main()