adlint 1.0.0

data/share/sample/README

@@ -0,0 +1,6 @@
+Here are samples showing how to make up analysis project of the large
+"real-world" software (that I love to use).
+
+To actually run analyses, you need to...
+  1) download the target software
+  2) run "./configure && make" on Fedora 14

data/share/sample/bison-2.5/adlint/GNUmakefile

@@ -0,0 +1,170 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+# How...
+#   - to analyze whole project with compiler like messages
+#     % make all
+#   - to analyze whole project with progress report
+#     % make verbose-all
+#   - to analyze whole project *FAST* on 4-core processor machine
+#     % make -j 4 all
+#   - to analyze whole project *FAST* and silently with elapsed time
+#     % time make -j 4 all 2>/dev/null
+#   - to delete all result files
+#     % make clean
+#
+
+ADLINT_CMA = adlint_cma
+ADLINT_CMA_FLAGS = -t adlint_traits.yml -o .
+
+SMA_MET_FILES = \
+  lib/bison-2.5/lib/abitset.c.met.csv \
+  lib/bison-2.5/lib/argmatch.c.met.csv \
+  lib/bison-2.5/lib/asnprintf.c.met.csv \
+  lib/bison-2.5/lib/basename-lgpl.c.met.csv \
+  lib/bison-2.5/lib/basename.c.met.csv \
+  lib/bison-2.5/lib/bitset.c.met.csv \
+  lib/bison-2.5/lib/bitset_stats.c.met.csv \
+  lib/bison-2.5/lib/bitsetv-print.c.met.csv \
+  lib/bison-2.5/lib/bitsetv.c.met.csv \
+  lib/bison-2.5/lib/c-ctype.c.met.csv \
+  lib/bison-2.5/lib/c-strcasecmp.c.met.csv \
+  lib/bison-2.5/lib/c-strncasecmp.c.met.csv \
+  lib/bison-2.5/lib/cloexec.c.met.csv \
+  lib/bison-2.5/lib/close-hook.c.met.csv \
+  lib/bison-2.5/lib/dirname-lgpl.c.met.csv \
+  lib/bison-2.5/lib/dirname.c.met.csv \
+  lib/bison-2.5/lib/dup-safer-flag.c.met.csv \
+  lib/bison-2.5/lib/dup-safer.c.met.csv \
+  lib/bison-2.5/lib/ebitset.c.met.csv \
+  lib/bison-2.5/lib/exitfail.c.met.csv \
+  lib/bison-2.5/lib/fatal-signal.c.met.csv \
+  lib/bison-2.5/lib/fcntl.c.met.csv \
+  lib/bison-2.5/lib/fd-safer-flag.c.met.csv \
+  lib/bison-2.5/lib/fd-safer.c.met.csv \
+  lib/bison-2.5/lib/fopen-safer.c.met.csv \
+  lib/bison-2.5/lib/fprintf.c.met.csv \
+  lib/bison-2.5/lib/fseterr.c.met.csv \
+  lib/bison-2.5/lib/get-errno.c.met.csv \
+  lib/bison-2.5/lib/hash.c.met.csv \
+  lib/bison-2.5/lib/ioctl.c.met.csv \
+  lib/bison-2.5/lib/isnand.c.met.csv \
+  lib/bison-2.5/lib/isnanf.c.met.csv \
+  lib/bison-2.5/lib/isnanl.c.met.csv \
+  lib/bison-2.5/lib/lbitset.c.met.csv \
+  lib/bison-2.5/lib/localcharset.c.met.csv \
+  lib/bison-2.5/lib/main.c.met.csv \
+  lib/bison-2.5/lib/mbchar.c.met.csv \
+  lib/bison-2.5/lib/mbschr.c.met.csv \
+  lib/bison-2.5/lib/mbsrchr.c.met.csv \
+  lib/bison-2.5/lib/mbswidth.c.met.csv \
+  lib/bison-2.5/lib/nonblocking.c.met.csv \
+  lib/bison-2.5/lib/pipe-safer.c.met.csv \
+  lib/bison-2.5/lib/pipe2-safer.c.met.csv \
+  lib/bison-2.5/lib/pipe2.c.met.csv \
+  lib/bison-2.5/lib/printf-args.c.met.csv \
+  lib/bison-2.5/lib/printf-frexp.c.met.csv \
+  lib/bison-2.5/lib/printf-frexpl.c.met.csv \
+  lib/bison-2.5/lib/printf-parse.c.met.csv \
+  lib/bison-2.5/lib/printf.c.met.csv \
+  lib/bison-2.5/lib/quote.c.met.csv \
+  lib/bison-2.5/lib/quotearg.c.met.csv \
+  lib/bison-2.5/lib/snprintf.c.met.csv \
+  lib/bison-2.5/lib/spawn-pipe.c.met.csv \
+  lib/bison-2.5/lib/sprintf.c.met.csv \
+  lib/bison-2.5/lib/stripslash.c.met.csv \
+  lib/bison-2.5/lib/strnlen1.c.met.csv \
+  lib/bison-2.5/lib/timevar.c.met.csv \
+  lib/bison-2.5/lib/uniwidth/width.c.met.csv \
+  lib/bison-2.5/lib/vasnprintf.c.met.csv \
+  lib/bison-2.5/lib/vbitset.c.met.csv \
+  lib/bison-2.5/lib/vfprintf.c.met.csv \
+  lib/bison-2.5/lib/vsnprintf.c.met.csv \
+  lib/bison-2.5/lib/vsprintf.c.met.csv \
+  lib/bison-2.5/lib/wait-process.c.met.csv \
+  lib/bison-2.5/lib/xalloc-die.c.met.csv \
+  lib/bison-2.5/lib/xmalloc.c.met.csv \
+  lib/bison-2.5/lib/xstrndup.c.met.csv \
+  lib/bison-2.5/lib/yyerror.c.met.csv \
+  src/bison-2.5/src/AnnotationList.c.met.csv \
+  src/bison-2.5/src/InadequacyList.c.met.csv \
+  src/bison-2.5/src/LR0.c.met.csv \
+  src/bison-2.5/src/Sbitset.c.met.csv \
+  src/bison-2.5/src/assoc.c.met.csv \
+  src/bison-2.5/src/closure.c.met.csv \
+  src/bison-2.5/src/complain.c.met.csv \
+  src/bison-2.5/src/conflicts.c.met.csv \
+  src/bison-2.5/src/derives.c.met.csv \
+  src/bison-2.5/src/files.c.met.csv \
+  src/bison-2.5/src/getargs.c.met.csv \
+  src/bison-2.5/src/gram.c.met.csv \
+  src/bison-2.5/src/graphviz.c.met.csv \
+  src/bison-2.5/src/ielr.c.met.csv \
+  src/bison-2.5/src/lalr.c.met.csv \
+  src/bison-2.5/src/location.c.met.csv \
+  src/bison-2.5/src/main.c.met.csv \
+  src/bison-2.5/src/muscle-tab.c.met.csv \
+  src/bison-2.5/src/named-ref.c.met.csv \
+  src/bison-2.5/src/nullable.c.met.csv \
+  src/bison-2.5/src/output.c.met.csv \
+  src/bison-2.5/src/parse-gram.c.met.csv \
+  src/bison-2.5/src/print-xml.c.met.csv \
+  src/bison-2.5/src/print.c.met.csv \
+  src/bison-2.5/src/print_graph.c.met.csv \
+  src/bison-2.5/src/reader.c.met.csv \
+  src/bison-2.5/src/reduce.c.met.csv \
+  src/bison-2.5/src/relation.c.met.csv \
+  src/bison-2.5/src/scan-code-c.c.met.csv \
+  src/bison-2.5/src/scan-gram-c.c.met.csv \
+  src/bison-2.5/src/scan-skel-c.c.met.csv \
+  src/bison-2.5/src/state.c.met.csv \
+  src/bison-2.5/src/symlist.c.met.csv \
+  src/bison-2.5/src/symtab.c.met.csv \
+  src/bison-2.5/src/tables.c.met.csv \
+  src/bison-2.5/src/uniqstr.c.met.csv
+
+%.c.met.csv :
+	@$(MAKE) -C `echo $@ | sed 's/\/.*$$//'` `echo $@ | sed 's/^[^/]\+\///'`
+
+CMA_MSG_FILE = bison-2.5.msg.csv
+CMA_MET_FILE = bison-2.5.met.csv
+CMA_LOG_FILE = bison-2.5.log
+
+.PHONY: all
+all : $(SMA_MET_FILES)
+	$(ADLINT_CMA) $(ADLINT_CMA_FLAGS) $(SMA_MET_FILES)
+
+.PHONY: verbose-all
+verbose-all :
+	@for f in $(SMA_MET_FILES); do \
+	    dir=`echo $$f | sed 's/\/.*$$//'`; \
+	    if [ "$$last_dir" != "$$dir" ]; then $(MAKE) -C $$dir verbose-sma-only; fi; \
+	    last_dir=$$dir; \
+	done
+	$(ADLINT_CMA) $(ADLINT_CMA_FLAGS) -v $(SMA_MET_FILES)
+
+.PHONY: clean
+clean :
+	@for f in $(SMA_MET_FILES); do \
+	    dir=`echo $$f | sed 's/\/.*$$//'`; \
+	    if [ "$$last_dir" != "$$dir" ]; then $(MAKE) -C $$dir clean; fi; \
+	    last_dir=$$dir; \
+	done
+	@$(RM) $(CMA_MSG_FILE) $(CMA_MET_FILE) $(CMA_LOG_FILE)

data/share/sample/bison-2.5/adlint/adlint_traits.yml

@@ -0,0 +1,225 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+
+# Schema version of the traits file.
+# DO NOT EDIT MANUALLY!
+version: "1.0.0"
+
+#
+# Project specific traits section
+#
+project_traits:
+
+  # Project name.
+  project_name: "bison-2.5"
+
+  # Project specific additional include paths.
+  # Ex.
+  #   include_path:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  include_path:
+
+  # Pathname of the project specific initial header file.
+  # This header file is automatically included above the first line of the
+  # target source file.
+  initial_header:
+
+  #
+  # Project specific coding style section
+  #
+  coding_style:
+
+    # Indent style which is a convention governing the identation of blocks.
+    # Select from "K&R", "Allman" and "GNU".
+    #
+    # The value "K&R" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0) {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "Allman" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0)
+    #       {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "GNU" means...
+    #   int
+    #   foo(int i)
+    #   {
+    #     if (i == 0)
+    #       {
+    #         return 0;
+    #       }
+    #     return i;
+    #   }
+    indent_style: "GNU"
+
+    # Appearance width of a TAB character.
+    tab_width: 8
+
+    # Appearance width of 1-level of the indentation.
+    indent_width: 2
+
+  # Character encoding of source files.
+  file_encoding:
+
+#
+# Compiler specific traits section
+#
+compiler_traits:
+
+  # Pathname of the compiler specific initial header file.
+  # This header file is automatically included above the first line of the
+  # project specific initial header file.
+  initial_header:
+
+  #
+  # Compiler specific standard type section
+  #
+  standard_type:
+
+    # Bit size of the `char' type family.
+    char_size: 8
+    # Bit size of the alignment of the `char' type family.
+    char_alignment: 8
+
+    # Bit size of the `short' type family.
+    short_size: 16
+    # Bit size of the alignment of the `short' type family.
+    short_alignment: 16
+
+    # Bit size of the `int' type family.
+    int_size: 32
+    # Bit size of the alignment of the `int' type family.
+    int_alignment: 32
+
+    # Bit size of the `long int' type family.
+    long_size: 32
+    # Bit size of the alignment of the `long int' type family.
+    long_alignment: 32
+
+    # Bit size of the `long long int' type family.
+    long_long_size: 64
+    # Bit size of the alignment of the `long long int' type family.
+    long_long_alignment: 64
+
+    # Bit size of the `float' type.
+    float_size: 32
+    # Bit size of the alignment of the `float' type.
+    float_alignment: 32
+
+    # Bit size of the `double' type.
+    double_size: 64
+    # Bit size of the alignment of the `double' type.
+    double_alignment: 64
+
+    # Bit size of the `long double' type.
+    long_double_size: 96
+    # Bit size of the alignment of the `long double' type.
+    long_double_alignment: 96
+
+    # Bit size of the pointer to functions.
+    code_ptr_size: 32
+    # Bit size of the alignment of the pointer to functions.
+    code_ptr_alignment: 32
+
+    # Bit size of the pointer to data.
+    data_ptr_size: 32
+    # Bit size of the alignment of the pointer to data.
+    data_ptr_alignment: 32
+
+    # Treat the `char' type as same as the `unsigned char' type?
+    char_as_unsigned_char: true
+
+  # Compiler specific include paths.
+  # Ex.
+  #   include_path:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  include_path:
+
+  # Treat the `>>' operator as a logical shift, not an arithmetic shift?
+  arithmetic:
+    logical_right_shift: true
+
+  # Token substitution setting to warn the use of compiler specific extensions.
+  #
+  # If your compiler supports `__attribute__(...)' extension and you want to
+  # know the use of this extension, specify as below.
+  #   extension_substitution:
+  #     "__attribute__(__adlint__any)": ""
+  # The token sequence consists of `__attribute__', `(', any kind of tokens,
+  # `)' will be replaced with nothing (erased) after the preprocessing phase.
+  # And this substitution will be warned by the message W0061.
+  extension_substitution:
+
+  # Token substitution setting to silently ignore the use of compiler specific
+  # extensions.
+  #
+  # If your compiler supports `__asm__ volatile (...)' extension and you do not
+  # mind the use of this extension, specify as below.
+  #   arbitrary_substitution:
+  #     "__asm__ __adlint__any(__adlint__any)": ""
+  # The token sequence consists of `__asm__', any kind of tokens, `(', any kind
+  # of tokens, `)' will be replaced with nothing (erased) silently after the
+  # preprocessing phase.
+  arbitrary_substitution:
+
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
+#
+# Linker specific traits section
+#
+linker_traits:
+
+  # Max length of external symbols can be identified by the linker.
+  identifier_max: 128
+
+  # Are external symbols identified without case by the linker?
+  identifier_ignore_case: false
+
+#
+# Message traits section
+#
+message_traits:
+
+  # Language of the message text.
+  # Currently, "en_US" and "ja_JP" are supported.
+  # Please help to translate the message catalog into your language.
+  language: "ja_JP"
+
+  # Message text replacement.
+  # Ex.
+  #   change_list:
+  #     W9999: "Your custom message for the warning of #9999."
+  change_list:

data/share/sample/bison-2.5/adlint/lib/GNUmakefile

@@ -0,0 +1,198 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+# How...
+#   - to validate configuration files
+#     % make check
+#   - to analyze whole project with compiler like messages
+#     % make all
+#   - to do only single module analyses with compiler like messages
+#     % make sma-only
+#   - to analyze whole project with progress report
+#     % make verbose-all
+#   - to do only single module analyses with progress report
+#     % make verbose-sma-only
+#   - to do only cross module analysis with progress report
+#     % make verbose-cma-only
+#   - to analyze whole project *FAST* on 4-core processor machine
+#     % make -j 4 all
+#   - to analyze whole project *FAST* and silently with elapsed time
+#     % time make -j 4 all 2>/dev/null
+#   - to delete all result files
+#     % make clean
+#
+
+PROJECT = bison-2.5
+
+SOURCES = \
+  bison-2.5/lib/main.c \
+  bison-2.5/lib/yyerror.c \
+  bison-2.5/lib/c-ctype.c \
+  bison-2.5/lib/c-strcasecmp.c \
+  bison-2.5/lib/c-strncasecmp.c \
+  bison-2.5/lib/close-hook.c \
+  bison-2.5/lib/exitfail.c \
+  bison-2.5/lib/fatal-signal.c \
+  bison-2.5/lib/fd-safer-flag.c \
+  bison-2.5/lib/dup-safer-flag.c \
+  bison-2.5/lib/fseterr.c \
+  bison-2.5/lib/localcharset.c \
+  bison-2.5/lib/mbchar.c \
+  bison-2.5/lib/mbschr.c \
+  bison-2.5/lib/mbsrchr.c \
+  bison-2.5/lib/mbswidth.c \
+  bison-2.5/lib/nonblocking.c \
+  bison-2.5/lib/pipe2.c \
+  bison-2.5/lib/pipe2-safer.c \
+  bison-2.5/lib/printf-frexp.c \
+  bison-2.5/lib/printf-frexpl.c \
+  bison-2.5/lib/spawn-pipe.c \
+  bison-2.5/lib/strnlen1.c \
+  bison-2.5/lib/uniwidth/width.c \
+  bison-2.5/lib/wait-process.c \
+  bison-2.5/lib/xalloc-die.c \
+  bison-2.5/lib/xstrndup.c \
+  bison-2.5/lib/get-errno.c \
+  bison-2.5/lib/abitset.c \
+  bison-2.5/lib/bitset.c \
+  bison-2.5/lib/bitset_stats.c \
+  bison-2.5/lib/bitsetv.c \
+  bison-2.5/lib/ebitset.c \
+  bison-2.5/lib/lbitset.c \
+  bison-2.5/lib/vbitset.c \
+  bison-2.5/lib/bitsetv-print.c \
+  bison-2.5/lib/timevar.c \
+  bison-2.5/lib/argmatch.c \
+  bison-2.5/lib/asnprintf.c \
+  bison-2.5/lib/basename.c \
+  bison-2.5/lib/basename-lgpl.c \
+  bison-2.5/lib/cloexec.c \
+  bison-2.5/lib/dirname.c \
+  bison-2.5/lib/dirname-lgpl.c \
+  bison-2.5/lib/dup-safer.c \
+  bison-2.5/lib/fcntl.c \
+  bison-2.5/lib/fd-safer.c \
+  bison-2.5/lib/fopen-safer.c \
+  bison-2.5/lib/fprintf.c \
+  bison-2.5/lib/hash.c \
+  bison-2.5/lib/ioctl.c \
+  bison-2.5/lib/isnand.c \
+  bison-2.5/lib/isnanf.c \
+  bison-2.5/lib/isnanl.c \
+  bison-2.5/lib/pipe-safer.c \
+  bison-2.5/lib/printf.c \
+  bison-2.5/lib/printf-args.c \
+  bison-2.5/lib/printf-parse.c \
+  bison-2.5/lib/quote.c \
+  bison-2.5/lib/quotearg.c \
+  bison-2.5/lib/snprintf.c \
+  bison-2.5/lib/sprintf.c \
+  bison-2.5/lib/stripslash.c \
+  bison-2.5/lib/vasnprintf.c \
+  bison-2.5/lib/vfprintf.c \
+  bison-2.5/lib/vsnprintf.c \
+  bison-2.5/lib/vsprintf.c \
+  bison-2.5/lib/xmalloc.c
+
+VPATH = ../..
+VPATH_COMPONENTS = 2
+
+RUBY = ruby
+
+ADLINT = adlint
+ADLINT_FLAGS = -t adlint_traits.yml -o . -p $(VPATH_COMPONENTS)
+
+ADLINT_SMA = adlint_sma
+ADLINT_SMA_FLAGS = -t adlint_traits.yml -o . -p $(VPATH_COMPONENTS)
+
+ADLINT_CMA = adlint_cma
+ADLINT_CMA_FLAGS = -t adlint_traits.yml -o .
+
+ADLINT_CHK = adlint_chk
+ADLINT_CHK_FLAGS = -t adlint_traits.yml -o . -p $(VPATH_COMPONENTS)
+
+RM = $(RUBY) -r fileutils -e 'FileUtils.rm_f(ARGV)'
+
+VPATHED_SOURCES = $(addprefix $(VPATH)/, $(SOURCES))
+
+SMA_MSG_FILES = $(addsuffix .msg.csv, $(SOURCES))
+SMA_MET_FILES = $(addsuffix .met.csv, $(SOURCES))
+SMA_I_FILES = $(addsuffix .i, $(basename $(SOURCES)))
+SMA_LOG_FILES = $(addsuffix .log, $(SOURCES))
+
+CMA_MSG_FILE = $(PROJECT).msg.csv
+CMA_MET_FILE = $(PROJECT).met.csv
+CMA_LOG_FILE = $(PROJECT).log
+
+.SUFFIXES:
+
+%.c.msg.csv %.c.met.csv : %.c
+	$(ADLINT_SMA) $(ADLINT_SMA_FLAGS) $<
+
+$(CMA_MET_FILE) : $(SMA_MET_FILES)
+	$(ADLINT_CMA) $(ADLINT_CMA_FLAGS) $^
+
+.PHONY: adlint_sma-all
+adlint_sma-all : $(SMA_MET_FILES)
+
+.PHONY: adlint_cma-all
+adlint_cma-all : $(CMA_MET_FILE)
+
+.PHONY: adlint_chk-all
+adlint_chk-all :
+	$(ADLINT_CHK) $(ADLINT_CHK_FLAGS) -v $(VPATHED_SOURCES)
+
+.PHONY: adlint_verbose-all
+adlint_verbose-all :
+	$(ADLINT) $(ADLINT_FLAGS) -v $(VPATHED_SOURCES)
+
+.PHONY: adlint_verbose-sma-only
+adlint_verbose-sma-only :
+	$(ADLINT_SMA) $(ADLINT_SMA_FLAGS) -v $(VPATHED_SOURCES)
+
+.PHONY: adlint_verbose-cma-only
+adlint_verbose-cma-only : $(SMA_MET_FILES)
+	$(ADLINT_CMA) $(ADLINT_CMA_FLAGS) -v $^
+
+.PHONY: adlint_clean
+adlint_clean :
+	@$(RM) $(SMA_MSG_FILES) $(SMA_MET_FILES) $(SMA_I_FILES) \
+	       $(SMA_LOG_FILES) $(CMA_MSG_FILE) $(CMA_MET_FILE) $(CMA_LOG_FILE)
+
+.PHONY: all
+all : adlint_cma-all
+
+.PHONY: sma-only
+sma-only : adlint_sma-all
+
+.PHONY: verbose-all
+verbose-all : adlint_verbose-all
+
+.PHONY: verbose-sma-only
+verbose-sma-only : adlint_verbose-sma-only
+
+.PHONY: verbose-cma-only
+verbose-cma-only : adlint_verbose-cma-only
+
+.PHONY: check
+check : adlint_chk-all
+
+.PHONY: clean
+clean : adlint_clean