flaw_detector 0.0.1

data/.gitignore

@@ -0,0 +1,7 @@
+*.gem
+.bundle
+Gemfile.lock
+pkg/*
+*~
+*#*#
+*.swp

data/.travis.yml

@@ -0,0 +1,18 @@
+before_install:
+  - ruby -C ext/insns_ext extconf.rb
+  - make -C ext/insns_ext
+script:
+  - bundle
+  - rake spec
+  - rake install
+rvm:
+  - 1.9.2
+  - 1.9.3
+  - 2.0.0
+matrix:
+  allow_failures:
+    - rvm: 2.0.0
+notifications:
+  email:
+    on_success: always
+    on_failure: always

data/Gemfile

@@ -0,0 +1,4 @@
+source "http://rubygems.org"
+
+# Specify your gem's dependencies in badcode-detector.gemspec
+gemspec

data/LICENSE

@@ -0,0 +1,25 @@
+Copyright (c) 2013, Rikiya Ayukawa
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without modification, 
+are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this 
+  list of conditions and the following disclaimer.
+* Redistributions in binary form must reproduce the above copyright notice, this 
+  list of conditions and the following disclaimer in the documentation and/or 
+  other materials provided with the distribution.
+* Neither the name of the DUO Interactive, LLC nor the names of its contributors
+  may be used to endorse or promote products derived from this software without 
+  specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND 
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE 
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

data/README.md

@@ -0,0 +1,4 @@
+flaw_detector
+=============
+
+The tool to detect code's flaw with static analysis

data/Rakefile

@@ -0,0 +1,4 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)

data/bin/flaw_detector

@@ -0,0 +1,38 @@
+#!/usr/bin/env ruby
+
+require 'optparse'
+begin
+  require 'flaw_detector'
+rescue LoadError
+  require 'rubygems'
+  require 'flaw_detector'
+end
+
+def usage
+  puts " "*2 + "Usage:"
+  puts " "*4 + "#{File.basename($0)} [-f outfille] [--help] rbfile ..."
+end
+
+rl_opts = {:format => "csv"}
+opt = OptionParser.new
+opt.on('-f outfile') {|v| rl_opts[:outfile] = v }
+opt.on('-h', '--help') {|v| usage;exit 0}
+#opt.on('-t format', '--type format') {|v| rl_opts[:format] = v }
+opt.parse!(ARGV)
+
+if ARGV.size == 0
+  usage
+  exit 1
+end
+
+io = STDOUT
+io = File.open(rl_opts[:outfile], "w") if rl_opts[:outfile]
+formatter = eval("FlawDetector::Formatter::#{rl_opts[:format].capitalize}Formatter").new(io)
+con = FlawDetector::BasicController.new(formatter)
+con.detectors << FlawDetector::Detector::NilFalsePathFlow.new
+if con.run(ARGV)
+  puts "OK"
+  exit 0
+else
+  exit 2 #found flaws
+end

data/ext/insns_ext/extconf.rb

@@ -0,0 +1,2 @@
+require 'mkmf'
+create_makefile("insns_ext")

data/ext/insns_ext/insn_ext.rb

@@ -0,0 +1,7 @@
+require File.join(File.dirname(__FILE__),'insns_ext')
+module InsnExt
+  def insn_num(insn_name)
+    return RubyVM::INSTRUCTION_NAMES.index(insn_name.to_s)
+  end
+  module_function :insn_num
+end

data/ext/insns_ext/insns.inc

@@ -0,0 +1,179 @@
+/** -*-c-*-
+  This file contains YARV instructions list.
+
+  ----
+  This file is auto generated by insns2vm.rb
+  DO NOT TOUCH!
+
+  If you want to fix something, you must edit 'template/insns.inc.tmpl'
+  or insns2vm.rb
+ */
+
+
+/* BIN : Basic Instruction Name */
+#define BIN(n) YARVINSN_##n
+
+enum ruby_vminsn_type {
+  BIN(nop)                       = 0,
+
+  BIN(getlocal)                  = 1,
+
+  BIN(setlocal)                  = 2,
+
+  BIN(getspecial)                = 3,
+
+  BIN(setspecial)                = 4,
+
+  BIN(getdynamic)                = 5,
+
+  BIN(setdynamic)                = 6,
+
+  BIN(getinstancevariable)       = 7,
+
+  BIN(setinstancevariable)       = 8,
+
+  BIN(getclassvariable)          = 9,
+
+  BIN(setclassvariable)          = 10,
+
+  BIN(getconstant)               = 11,
+
+  BIN(setconstant)               = 12,
+
+  BIN(getglobal)                 = 13,
+
+  BIN(setglobal)                 = 14,
+
+  BIN(putnil)                    = 15,
+
+  BIN(putself)                   = 16,
+
+  BIN(putobject)                 = 17,
+
+  BIN(putspecialobject)          = 18,
+
+  BIN(putiseq)                   = 19,
+
+  BIN(putstring)                 = 20,
+
+  BIN(concatstrings)             = 21,
+
+  BIN(tostring)                  = 22,
+
+  BIN(toregexp)                  = 23,
+
+  BIN(newarray)                  = 24,
+
+  BIN(duparray)                  = 25,
+
+  BIN(expandarray)               = 26,
+
+  BIN(concatarray)               = 27,
+
+  BIN(splatarray)                = 28,
+
+  BIN(checkincludearray)         = 29,
+
+  BIN(newhash)                   = 30,
+
+  BIN(newrange)                  = 31,
+
+  BIN(pop)                       = 32,
+
+  BIN(dup)                       = 33,
+
+  BIN(dupn)                      = 34,
+
+  BIN(swap)                      = 35,
+
+  BIN(reput)                     = 36,
+
+  BIN(topn)                      = 37,
+
+  BIN(setn)                      = 38,
+
+  BIN(adjuststack)               = 39,
+
+  BIN(defined)                   = 40,
+
+  BIN(trace)                     = 41,
+
+  BIN(defineclass)               = 42,
+
+  BIN(send)                      = 43,
+
+  BIN(invokesuper)               = 44,
+
+  BIN(invokeblock)               = 45,
+
+  BIN(leave)                     = 46,
+
+  BIN(finish)                    = 47,
+
+  BIN(throw)                     = 48,
+
+  BIN(jump)                      = 49,
+
+  BIN(branchif)                  = 50,
+
+  BIN(branchunless)              = 51,
+
+  BIN(getinlinecache)            = 52,
+
+  BIN(onceinlinecache)           = 53,
+
+  BIN(setinlinecache)            = 54,
+
+  BIN(opt_case_dispatch)         = 55,
+
+  BIN(opt_checkenv)              = 56,
+
+  BIN(opt_plus)                  = 57,
+
+  BIN(opt_minus)                 = 58,
+
+  BIN(opt_mult)                  = 59,
+
+  BIN(opt_div)                   = 60,
+
+  BIN(opt_mod)                   = 61,
+
+  BIN(opt_eq)                    = 62,
+
+  BIN(opt_neq)                   = 63,
+
+  BIN(opt_lt)                    = 64,
+
+  BIN(opt_le)                    = 65,
+
+  BIN(opt_gt)                    = 66,
+
+  BIN(opt_ge)                    = 67,
+
+  BIN(opt_ltlt)                  = 68,
+
+  BIN(opt_aref)                  = 69,
+
+  BIN(opt_aset)                  = 70,
+
+  BIN(opt_length)                = 71,
+
+  BIN(opt_size)                  = 72,
+
+  BIN(opt_succ)                  = 73,
+
+  BIN(opt_not)                   = 74,
+
+  BIN(opt_regexpmatch1)          = 75,
+
+  BIN(opt_regexpmatch2)          = 76,
+
+  BIN(opt_call_c_function)       = 77,
+
+  BIN(bitblt)                    = 78,
+
+  BIN(answer)                    = 79,
+
+  VM_INSTRUCTION_SIZE            = 80
+};
+

data/ext/insns_ext/insns_ext.c

@@ -0,0 +1,36 @@
+#define USE_INSN_STACK_INCREASE
+#define USE_INSN_RET_NUM
+#include "ruby.h"
+
+#define VM_CALL_ARGS_BLOCKARG_BIT  (0x01 << 2)  //copy from vm_core.h
+#include "insns.inc"
+#include "insns_info.inc"
+
+VALUE wrap_insn_len(VALUE self, VALUE insn)
+{
+  int len = insn_len(FIX2INT(insn));
+  return INT2FIX(len);
+}
+
+VALUE wrap_insn_stack_increase(VALUE self, VALUE insn, VALUE ope_ary)
+{
+  int inc = insn_stack_increase(0, FIX2INT(insn), RARRAY_PTR(ope_ary));
+  return INT2FIX(inc);
+}
+
+VALUE wrap_insn_ret_num(VALUE self, VALUE insn)
+{
+  int ret_num = insn_ret_num(FIX2INT(insn));
+  return INT2FIX(ret_num);
+}
+
+void Init_insns_ext()
+{
+  VALUE module;
+  
+  module = rb_define_module("InsnExt");
+  rb_define_module_function(module, "insn_len", wrap_insn_len, 1);
+  rb_define_module_function(module, "insn_stack_increase", wrap_insn_stack_increase, 2);
+  rb_define_module_function(module, "insn_ret_num", wrap_insn_ret_num, 1);
+}
+