adlint 2.6.14 → 3.0.0

data/lib/adlint/cc1/phase.rb

@@ -0,0 +1,138 @@
+# Analysis phases for C language.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# License::   GPLv3+: GNU General Public License version 3 or later
+#
+# Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, 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/>.
+#
+#++
+
+require "adlint/phase"
+require "adlint/error"
+require "adlint/cc1/lexer"
+require "adlint/cc1/parser"
+require "adlint/cc1/syntax"
+require "adlint/cc1/interp"
+require "adlint/cc1/util"
+
+module AdLint #:nodoc:
+module Cc1 #:nodoc:
+
+  class CPhase < Phase
+    def initialize(phase_ctxt, phase_name)
+      super(phase_ctxt, "cc1", phase_name)
+    end
+  end
+
+  class Prepare1Phase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "pr3")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      phase_ctxt[:cc1_visitor] = SyntaxTreeMulticastVisitor.new
+      phase_ctxt[:cc1_parser]  = Parser.new(phase_ctxt)
+    end
+  end
+
+  class ParsePhase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "prs")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      phase_ctxt[:cc1_syntax_tree] = phase_ctxt[:cc1_parser].execute
+    ensure
+      phase_ctxt[:cc1_token_array] = phase_ctxt[:cc1_parser].token_array
+      DebugUtil.dump_token_array(phase_ctxt)
+    end
+  end
+
+  class ResolvePhase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "typ")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      resolver = StaticTypeResolver.new(TypeTable.new(traits, monitor, logger))
+      phase_ctxt[:cc1_type_table] =
+        resolver.resolve(phase_ctxt[:cc1_syntax_tree])
+    end
+  end
+
+  class Prepare2Phase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "pr4")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      phase_ctxt[:cc1_interpreter] =
+        Interpreter.new(phase_ctxt[:cc1_type_table])
+    end
+  end
+
+  class InterpPhase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "int")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      Program.new(phase_ctxt[:cc1_interpreter],
+                  phase_ctxt[:cc1_syntax_tree]).execute
+      ValueDomain.clear_memos
+    ensure
+      DebugUtil.dump_syntax_tree(phase_ctxt)
+    end
+  end
+
+  class ReviewPhase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "rv2")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      phase_ctxt[:cc1_syntax_tree].accept(phase_ctxt[:cc1_visitor])
+    end
+  end
+
+  class ExaminationPhase < CPhase
+    def initialize(phase_ctxt)
+      super(phase_ctxt, "ex2")
+    end
+
+    private
+    def do_execute(phase_ctxt, *)
+      examinations.each { |exam| exam.execute }
+    end
+  end
+
+end
+end

data/lib/adlint/{c → cc1}/resolver.rb

@@ -1,7 +1,7 @@
 # C type resolver.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -30,37 +30,35 @@
 #++
 
 require "adlint/monitor"
-require "adlint/c/type"
-require "adlint/c/syntax"
+require "adlint/cc1/type"
+require "adlint/cc1/syntax"
 
 module AdLint #:nodoc:
-module C #:nodoc:
+module Cc1 #:nodoc:
 
   class TypeResolver < SyntaxTreeVisitor
     include MonitorUtil
 
-    def initialize(type_table)
-      @type_table = type_table
+    def initialize(type_tbl)
+      @type_table = type_tbl
     end
 
     attr_reader :type_table
 
-    def resolve(syntax_tree)
-      syntax_tree.accept(self)
+    def resolve(ast)
+      ast.accept(self)
       @type_table
     end
 
     def visit_struct_type_declaration(node)
       checkpoint(node.location)
-      node.struct_declarations.each { |decl| decl.accept(self) }
-
+      node.struct_declarations.each { |dcl| dcl.accept(self) }
       node.type = @type_table.install_struct_type(node)
     end
 
     def visit_union_type_declaration(node)
       checkpoint(node.location)
-      node.struct_declarations.each { |decl| decl.accept(self) }
-
+      node.struct_declarations.each { |dcl| dcl.accept(self) }
       node.type = @type_table.install_union_type(node)
     end
 
@@ -73,9 +71,9 @@ module C #:nodoc:
       node.specifier_qualifier_list.accept(self)
       node.struct_declarator.accept(self)
 
-      type_qualifiers = node.specifier_qualifier_list.type_qualifiers
-      type_specifiers = node.specifier_qualifier_list.type_specifiers
-      type = lookup_variable_type(type_qualifiers, type_specifiers,
+      type_quals = node.specifier_qualifier_list.type_qualifiers
+      type_specs = node.specifier_qualifier_list.type_specifiers
+      type = lookup_variable_type(type_quals, type_specs,
                                   node.struct_declarator.declarator)
       type = @type_table.pointer_type(type) if type.function?
 
@@ -92,18 +90,15 @@ module C #:nodoc:
 
     def visit_enum_type_declaration(node)
       checkpoint(node.location)
-      type = @type_table.install_enum_type(node)
-      node.type = type
-      node.enumerators.each { |enum| enum.type = type }
+      node.type = @type_table.install_enum_type(node)
+      node.enumerators.each { |enum| enum.type = node.type }
     end
 
     def visit_typedef_declaration(node)
       checkpoint(node.location)
       node.declaration_specifiers.accept(self)
       node.init_declarator.accept(self)
-
-      type = @type_table.install_user_type(node)
-      node.type = type
+      node.type = @type_table.install_user_type(node)
     end
 
     def visit_function_declaration(node)
@@ -111,15 +106,15 @@ module C #:nodoc:
       node.declaration_specifiers.accept(self) if node.declaration_specifiers
       node.init_declarator.accept(self)
 
-      if declaration_specifiers = node.declaration_specifiers
-        type_qualifiers = declaration_specifiers.type_qualifiers
-        type_specifiers = declaration_specifiers.type_specifiers
+      if dcl_specs = node.declaration_specifiers
+        type_quals = dcl_specs.type_qualifiers
+        type_specs = dcl_specs.type_specifiers
       else
-        type_qualifiers = []
-        type_specifiers = []
+        type_quals = []
+        type_specs = []
       end
 
-      node.type = lookup_variable_type(type_qualifiers, type_specifiers,
+      node.type = lookup_variable_type(type_quals, type_specs,
                                        node.init_declarator.declarator)
     end
 
@@ -128,16 +123,15 @@ module C #:nodoc:
       node.declaration_specifiers.accept(self) if node.declaration_specifiers
       node.declarator.accept(self) if node.declarator
 
-      if declaration_specifiers = node.declaration_specifiers
-        type_qualifiers = declaration_specifiers.type_qualifiers
-        type_specifiers = declaration_specifiers.type_specifiers
+      if dcl_specs = node.declaration_specifiers
+        type_quals = dcl_specs.type_qualifiers
+        type_specs = dcl_specs.type_specifiers
       else
-        type_qualifiers = []
-        type_specifiers = []
+        type_quals = []
+        type_specs = []
       end
 
-      type = lookup_variable_type(type_qualifiers, type_specifiers,
-                                  node.declarator)
+      type = lookup_variable_type(type_quals, type_specs, node.declarator)
 
       if type.function?
         node.type = @type_table.pointer_type(type)
@@ -151,16 +145,15 @@ module C #:nodoc:
       node.declaration_specifiers.accept(self) if node.declaration_specifiers
       node.declarator.accept(self)
 
-      if declaration_specifiers = node.declaration_specifiers
-        type_qualifiers = declaration_specifiers.type_qualifiers
-        type_specifiers = declaration_specifiers.type_specifiers
+      if dcl_specs = node.declaration_specifiers
+        type_quals = dcl_specs.type_qualifiers
+        type_specs = dcl_specs.type_specifiers
       else
-        type_qualifiers = []
-        type_specifiers = []
+        type_quals = []
+        type_specs = []
       end
 
-      type = lookup_variable_type(type_qualifiers, type_specifiers,
-                                  node.declarator)
+      type = lookup_variable_type(type_quals, type_specs, node.declarator)
 
       if type.function?
         node.type = @type_table.pointer_type(type)
@@ -174,15 +167,15 @@ module C #:nodoc:
       node.declaration_specifiers.accept(self) if node.declaration_specifiers
       node.init_declarator.accept(self)
 
-      if declaration_specifiers = node.declaration_specifiers
-        type_qualifiers = declaration_specifiers.type_qualifiers
-        type_specifiers = declaration_specifiers.type_specifiers
+      if dcl_specs = node.declaration_specifiers
+        type_quals = dcl_specs.type_qualifiers
+        type_specs = dcl_specs.type_specifiers
       else
-        type_qualifiers = []
-        type_specifiers = []
+        type_quals = []
+        type_specs = []
       end
 
-      type = lookup_variable_type(type_qualifiers, type_specifiers,
+      type = lookup_variable_type(type_quals, type_specs,
                                   node.init_declarator.declarator)
 
       if type.function?
@@ -217,9 +210,9 @@ module C #:nodoc:
     def visit_type_name(node)
       checkpoint(node.location)
       super
-      type_qualifiers = node.specifier_qualifier_list.type_qualifiers
-      type_specifiers = node.specifier_qualifier_list.type_specifiers
-      node.type = lookup_variable_type(type_qualifiers, type_specifiers,
+      type_quals = node.specifier_qualifier_list.type_qualifiers
+      type_specs = node.specifier_qualifier_list.type_specifiers
+      node.type = lookup_variable_type(type_quals, type_specs,
                                        node.abstract_declarator)
     end
 
@@ -230,42 +223,37 @@ module C #:nodoc:
     end
 
     private
-    def lookup_variable_type(type_qualifiers, type_specifiers, declarator)
-      type = @type_table.lookup_or_install_type(type_qualifiers,
-                                                type_specifiers,
-                                                declarator, interpreter)
-      type ? type : fallback_type
+    def lookup_variable_type(type_quals, type_specs, dcl)
+      @type_table.lookup_or_install_type(
+        type_quals, type_specs, dcl, interpreter) || fallback_type
     end
 
-    def lookup_function_type(function_definition)
-      type = @type_table.lookup_function_type(function_definition)
-      type ? type : fallback_type
+    def lookup_function_type(fun_def)
+      @type_table.lookup_function_type(fun_def) || fallback_type
     end
 
-    def compute_bitfield_width(struct_declarator)
-      return nil unless expression = struct_declarator.expression
-
-      if interpreter
-        object = interpreter.execute(expression)
-        if object.variable? && object.value.scalar?
-          return object.value.unique_sample
+    def compute_bitfield_width(struct_dcl)
+      if expr = struct_dcl.expression
+        if interpreter
+          obj = interpreter.execute(expr)
+        else
+          obj = Interpreter.new(@type_table).execute(expr)
         end
-      else
-        object = Interpreter.new(@type_table).execute(expression)
-        if object.variable? && object.value.scalar?
-          return object.value.unique_sample
+
+        if obj.variable? && obj.value.scalar?
+          return obj.value.unique_sample
         end
       end
-
       nil
     end
+
+    extend Forwardable
+
+    def_delegator :@type_table, :monitor
+    private :monitor
   end
 
   class StaticTypeResolver < TypeResolver
-    def initialize
-      super(TypeTable.new)
-    end
-
     private
     def interpreter
       nil
@@ -277,9 +265,9 @@ module C #:nodoc:
   end
 
   class DynamicTypeResolver < TypeResolver
-    def initialize(type_table, interpreter)
-      super(type_table)
-      @interpreter = interpreter
+    def initialize(type_tbl, interp)
+      super(type_tbl)
+      @interpreter = interp
     end
 
     attr_reader :interpreter

data/lib/adlint/{c → cc1}/scanner.rb

@@ -1,7 +1,7 @@
 # Scanner for C language.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -30,7 +30,7 @@
 #++
 
 module AdLint #:nodoc:
-module C #:nodoc:
+module Cc1 #:nodoc:
 
   # == DESCRIPTION
   # Constants for scanning the C source code.
@@ -101,12 +101,12 @@ module C #:nodoc:
     # Scans C identifier.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C identifier string if found at head of the content.
-    def scan_identifier(content)
-      content.scan(/[a-z_][a-z_0-9]*\b/i)
+    def scan_identifier(cont)
+      cont.scan(/[a-z_][a-z_0-9]*\b/i)
     end
 
     KEYWORDS_RE = Regexp.new(KEYWORD_VALUES.map { |keyword|
@@ -118,16 +118,16 @@ module C #:nodoc:
     # Scans C keyword.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C keyword string if found at head of the content.
-    def scan_keyword(content)
-      content.scan(KEYWORDS_RE)
+    def scan_keyword(cont)
+      cont.scan(KEYWORDS_RE)
     end
 
-    PUNCTUATORS_RE = Regexp.new(PUNCTUATORS.sort { |l, r|
-      r.length <=> l.length
+    PUNCTUATORS_RE = Regexp.new(PUNCTUATORS.sort { |a, b|
+      b.length <=> a.length
     }.map { |punct|
       punct.each_char.map { |ch| '\\' + ch }.join
     }.join("|")).freeze
@@ -137,63 +137,68 @@ module C #:nodoc:
     # Scans C punctuator.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C punctuator string if found at head of the content.
-    def scan_punctuator(content)
-      content.scan(PUNCTUATORS_RE)
+    def scan_punctuator(cont)
+      cont.scan(PUNCTUATORS_RE)
     end
 
     # === DESCRIPTION
     # Scans C integer constant.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C integer constant string if found at head of the
     # content.
-    def scan_integer_constant(content)
-      content.scan(/(?:0x[0-9a-f]+|0b[01]+|[0-9]+)[UL]*/i)
+    def scan_integer_constant(cont)
+      cont.scan(/(?:0x[0-9a-f]+|0b[01]+|[0-9]+)[UL]*/i)
     end
 
+    FLOATING1_RE = /(?:[0-9]*\.[0-9]*E[+-]?[0-9]+|[0-9]+\.?E[+-]?[0-9]+)[FL]*/i
+    FLOATING2_RE = /(?:[0-9]*\.[0-9]+|[0-9]+\.)[FL]*/i
+    private_constant :FLOATING1_RE, :FLOATING2_RE
+
     # === DESCRIPTION
     # Scans C floating constant.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C floating constant string if found at head of the
     # content.
-    def scan_floating_constant(content)
-      content.scan(
-        /(?:[0-9]*\.[0-9]*E[+-]?[0-9]+|[0-9]+\.?E[+-]?[0-9]+)[FL]*/i) ||
-      content.scan(/(?:[0-9]*\.[0-9]+|[0-9]+\.)[FL]*/i)
+    def scan_floating_constant(cont)
+      cont.scan(FLOATING1_RE) || cont.scan(FLOATING2_RE)
     end
 
     # === DESCRIPTION
     # Scans C character constant.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C character constant string if found at head of the
     # content.
-    def scan_char_constant(content)
-      scanned = content.scan(/L?'/i)
-      return nil unless scanned
-
-      until content.empty?
-        str = content.scan(/.*?(?=\\|')/m)
-        scanned << str if str
-        next if content.scan(/\\[ \t]*\n/)
+    def scan_char_constant(cont)
+      unless scanned = cont.scan(/L?'/i)
+        return nil
+      end
+
+      until cont.empty?
+        if str = cont.scan(/.*?(?=\\|')/m)
+          scanned << str
+        end
+        next if cont.scan(/\\[ \t]*\n/)
+
         case
-        when content.check(/\\/)
-          scanned << content.eat!(2)
-        when quote = content.scan(/'/)
+        when cont.check(/\\/)
+          scanned << cont.eat!(2)
+        when quote = cont.scan(/'/)
           scanned << quote
           break
         end
@@ -206,23 +211,26 @@ module C #:nodoc:
     # Scans C string literal.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C string literal string if found at head of the
     # content.
-    def scan_string_literal(content)
-      scanned = content.scan(/L?"/i)
-      return nil unless scanned
-
-      until content.empty?
-        str = content.scan(/.*?(?=\\|")/m)
-        scanned << str if str
-        next if content.scan(/\\[ \t]*\n/)
+    def scan_string_literal(cont)
+      unless scanned = cont.scan(/L?"/i)
+        return nil
+      end
+
+      until cont.empty?
+        if str = cont.scan(/.*?(?=\\|")/m)
+          scanned << str
+        end
+        next if cont.scan(/\\[ \t]*\n/)
+
         case
-        when content.check(/\\/)
-          scanned << content.eat!(2)
-        when quote = content.scan(/"/)
+        when cont.check(/\\/)
+          scanned << cont.eat!(2)
+        when quote = cont.scan(/"/)
           scanned << quote
           break
         end
@@ -235,12 +243,12 @@ module C #:nodoc:
     # Scans C NULL constant.
     #
     # === PARAMETER
-    # _content_:: StringContent -- Scanning source.
+    # _cont_:: StringContent -- Scanning source.
     #
     # === RETURN VALUE
     # String -- Returns C NULL constant string if found at head of the content.
-    def scan_null_constant(content)
-      content.scan(/NULL\b/)
+    def scan_null_constant(cont)
+      cont.scan(/NULL\b/)
     end
   end