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
  63
  64 import project_source_info
  65 import subprocess
  66 import sys
  67
  68
  69 def main():
  70     source_info = project_source_info.build_info(use_cxx=False, ignore_prefix_list=CHECKER_IGNORE_PREFIX)
  71
  72     check_commands = []
  73     for c, inc_dirs, defs in source_info:
  74         cmd = ([CHECKER_BIN] +
  75                 CHECKER_ARGS +
  76                [c] +
  77                [("-I%s" % i) for i in inc_dirs] +
  78                [("-D%s" % d) for d in defs]
  79               )
  80
  81         check_commands.append((c, cmd))
  82
  83     for i, (c, cmd) in enumerate(check_commands):
  84         percent = 100.0 * (i / (len(check_commands) - 1))
  85         percent_str = "[" + ("%.2f]" % percent).rjust(7) + " %:"
  86
  87         sys.stdout.write("%s %s\n" % (percent_str, c))
  88         sys.stdout.flush()
  89
  90         process = subprocess.Popen(cmd)
  91         process.wait()
  92
  93 if __name__ == "__main__":
  94     main()