build_files/cmake/cmake_static_check_splint.py

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