106 lines
2.8 KiB
Python
106 lines
2.8 KiB
Python
#!/usr/bin/env python3
|
|
|
|
# ***** BEGIN GPL LICENSE BLOCK *****
|
|
#
|
|
# This program is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU General Public License
|
|
# as published by the Free Software Foundation; either version 2
|
|
# of the License, or (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program; if not, write to the Free Software Foundation,
|
|
# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
#
|
|
# ***** END GPL LICENSE BLOCK *****
|
|
|
|
# <pep8 compliant>
|
|
|
|
CHECKER_IGNORE_PREFIX = [
|
|
"extern",
|
|
"intern/moto",
|
|
]
|
|
|
|
CHECKER_BIN = "splint"
|
|
|
|
CHECKER_ARGS = [
|
|
"-weak",
|
|
"-posix-lib",
|
|
"-linelen", "10000",
|
|
"+ignorequals",
|
|
"+relaxtypes",
|
|
"-retvalother",
|
|
"+matchanyintegral",
|
|
"+longintegral",
|
|
"+ignoresigns",
|
|
"-nestcomment",
|
|
"-predboolothers",
|
|
"-ifempty",
|
|
"-unrecogcomments",
|
|
|
|
# we may want to remove these later
|
|
"-type",
|
|
"-fixedformalarray",
|
|
"-fullinitblock",
|
|
"-fcnuse",
|
|
"-initallelements",
|
|
"-castfcnptr",
|
|
# -forcehints,
|
|
"-bufferoverflowhigh", # warns a lot about sprintf()
|
|
|
|
# re-definitions, rna causes most of these
|
|
"-redef",
|
|
"-syntax",
|
|
|
|
# dummy, witjout this splint complains with:
|
|
# /usr/include/bits/confname.h:31:27: *** Internal Bug at cscannerHelp.c:2428: Unexpanded macro not function or constant: int _PC_MAX_CANON
|
|
"-D_PC_MAX_CANON=0",
|
|
]
|
|
|
|
|
|
import project_source_info
|
|
import subprocess
|
|
import sys
|
|
import os
|
|
|
|
USE_QUIET = (os.environ.get("QUIET", None) is not None)
|
|
|
|
|
|
def main():
|
|
source_info = project_source_info.build_info(use_cxx=False, ignore_prefix_list=CHECKER_IGNORE_PREFIX)
|
|
|
|
check_commands = []
|
|
for c, inc_dirs, defs in source_info:
|
|
cmd = ([CHECKER_BIN] +
|
|
CHECKER_ARGS +
|
|
[c] +
|
|
[("-I%s" % i) for i in inc_dirs] +
|
|
[("-D%s" % d) for d in defs]
|
|
)
|
|
|
|
check_commands.append((c, cmd))
|
|
|
|
def my_process(i, c, cmd):
|
|
if not USE_QUIET:
|
|
percent = 100.0 * (i / len(check_commands))
|
|
percent_str = "[" + ("%.2f]" % percent).rjust(7) + " %:"
|
|
|
|
sys.stdout.write("%s %s\n" % (percent_str, c))
|
|
sys.stdout.flush()
|
|
|
|
return subprocess.Popen(cmd)
|
|
|
|
process_functions = []
|
|
for i, (c, cmd) in enumerate(check_commands):
|
|
process_functions.append((my_process, (i, c, cmd)))
|
|
|
|
project_source_info.queue_processes(process_functions)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|