typeprof 0.1.0

data/testbed/diff-lcs-entrypoint.rb

@@ -0,0 +1,4 @@
+require "diff/lcs"
+
+class T; end
+Diff::LCS.diff([T.new]+[T.new], [T.new]+[T.new]) {}

data/testbed/goodcheck-Gemfile.lock

@@ -0,0 +1,51 @@
+PATH
+  remote: .
+  specs:
+    goodcheck (2.5.2)
+      activesupport (>= 4.0, < 7.0)
+      psych (>= 3.1, < 4.0)
+      rainbow (~> 3.0.0)
+      strong_json (>= 1.1, < 2.2)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    activesupport (6.0.3.3)
+      concurrent-ruby (~> 1.0, >= 1.0.2)
+      i18n (>= 0.7, < 2)
+      minitest (~> 5.1)
+      tzinfo (~> 1.1)
+      zeitwerk (~> 2.2, >= 2.2.2)
+    ansi (1.5.0)
+    builder (3.2.4)
+    concurrent-ruby (1.1.7)
+    i18n (1.8.5)
+      concurrent-ruby (~> 1.0)
+    minitest (5.14.2)
+    minitest-reporters (1.4.2)
+      ansi
+      builder
+      minitest (>= 5.0)
+      ruby-progressbar
+    psych (3.2.0)
+    rainbow (3.0.0)
+    rake (13.0.1)
+    ruby-progressbar (1.10.1)
+    strong_json (1.1.0)
+    thread_safe (0.3.6)
+    tzinfo (1.2.7)
+      thread_safe (~> 0.1)
+    zeitwerk (2.4.0)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  bundler (>= 1.16)
+  goodcheck!
+  minitest (~> 5.0)
+  minitest-reporters (~> 1.4.2)
+  rake (~> 13.0)
+
+BUNDLED WITH
+   2.1.2

data/tools/coverage.rb

@@ -0,0 +1,14 @@
+require "coverage"
+require "coverage/helpers"
+
+cov = Coverage::Helpers.load("coverage.dump")
+cov.delete("<compiled>")
+cov2 = {}
+cov.each do |path, data|
+  path = path.sub(/^exe\/..\//, "")
+  data2 = Coverage.line_stub(path)
+  data.each_with_index {|v, i| data2[i] = v if v }
+  cov2[path] = data2
+end
+File.write("coverage.info", Coverage::Helpers.to_lcov_info(cov2))
+system("genhtml", "-o", "coverage", "coverage.info")

data/tools/setup-insns-def.rb

@@ -0,0 +1,30 @@
+require "pp"
+
+unless ARGV[0]
+  puts "usage: #$0 /path/to/ruby/trunk/insns.def"
+  exit
+end
+
+r = %r(
+  ^DEFINE_INSN\n
+  (?<name>\w+)\n
+  \((?<operands>.*)\)\n
+  \((?<inputs>.*)\)\n
+  \((?<outputs>.*)\)\n
+  (?://(?<inc>.*)\n)?
+)x
+
+INSN_TABLE = {}
+Insn = Struct.new(:operands, :inputs, :outputs)
+File.read(ARGV[0]).scan(r) do
+  name, operands, _inputs, _outputs, _inc =
+    $~[:name], $~[:operands], $~[:inputs], $~[:outputs], $~[:inc]
+  next if name.start_with?("opt_")
+  next if name == "bitblt" || name == "answer"
+  operands = operands.split(",").map {|s| s.strip }.map do |s|
+    s.split(" ").map {|s| s.strip }[0]
+  end
+  INSN_TABLE[name.to_sym] = operands
+end
+target = File.join(__dir__, "../lib/type-profiler/insns-def.rb")
+File.write(target, "TypeProf::INSN_TABLE = " + INSN_TABLE.pretty_inspect)

data/tools/stackprof-wrapper.rb

@@ -0,0 +1,10 @@
+#!/usr/bin/env ruby
+
+require "stackprof"
+StackProf.start(mode: :cpu, out: "stackprof-cpu.dump", raw: true, interval: 1000)
+begin
+  load File.join(__dir__, "../exe/type-profiler")
+ensure
+  StackProf.stop
+  StackProf.results
+end

data/typeprof.gemspec

@@ -0,0 +1,24 @@
+Gem::Specification.new do |spec|
+  spec.name          = "typeprof" # temporal
+  spec.version       = "0.1.0"
+  spec.authors       = ["Yusuke Endoh"]
+  spec.email         = ["mame@ruby-lang.org"]
+
+  spec.summary       = %q{TypeProf is a type analysis tool for Ruby code based on abstract interpretation}
+  spec.description   = %q{TypeProf is a type analysis tool for Ruby code based on abstract interpretation}
+  spec.homepage      = "https://github.com/mame/ruby-type-profiler"
+  spec.license       = "MIT"
+  spec.required_ruby_version = Gem::Requirement.new(">= 2.7")
+
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = "https://github.com/mame/ruby-type-profiler"
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+end

metadata

@@ -0,0 +1,262 @@
+--- !ruby/object:Gem::Specification
+name: typeprof
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Yusuke Endoh
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2020-10-08 00:00:00.000000000 Z
+dependencies: []
+description: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
+email:
+- mame@ruby-lang.org
+executables:
+- typeprof
+extensions: []
+extra_rdoc_files: []
+files:
+- ".github/workflows/main.yml"
+- ".gitignore"
+- ".gitmodules"
+- Gemfile
+- Gemfile.lock
+- README.md
+- Rakefile
+- doc/doc.ja.md
+- doc/doc.md
+- doc/ppl2019.pdf
+- exe/typeprof
+- lib/typeprof.rb
+- lib/typeprof/analyzer.rb
+- lib/typeprof/builtin.rb
+- lib/typeprof/cli.rb
+- lib/typeprof/container-type.rb
+- lib/typeprof/export.rb
+- lib/typeprof/import.rb
+- lib/typeprof/insns-def.rb
+- lib/typeprof/iseq.rb
+- lib/typeprof/method.rb
+- lib/typeprof/type.rb
+- lib/typeprof/utils.rb
+- run.sh
+- smoke/alias.rb
+- smoke/alias2.rb
+- smoke/any-cbase.rb
+- smoke/any1.rb
+- smoke/any2.rb
+- smoke/arguments.rb
+- smoke/array-each.rb
+- smoke/array-each2.rb
+- smoke/array-each3.rb
+- smoke/array-ltlt.rb
+- smoke/array-ltlt2.rb
+- smoke/array-map.rb
+- smoke/array-map2.rb
+- smoke/array-map3.rb
+- smoke/array-mul.rb
+- smoke/array-plus1.rb
+- smoke/array-plus2.rb
+- smoke/array-pop.rb
+- smoke/array-replace.rb
+- smoke/array-s-aref.rb
+- smoke/array1.rb
+- smoke/array10.rb
+- smoke/array11.rb
+- smoke/array12.rb
+- smoke/array13.rb
+- smoke/array14.rb
+- smoke/array2.rb
+- smoke/array3.rb
+- smoke/array4.rb
+- smoke/array5.rb
+- smoke/array6.rb
+- smoke/array7.rb
+- smoke/array8.rb
+- smoke/array9.rb
+- smoke/attr.rb
+- smoke/backtrace.rb
+- smoke/block1.rb
+- smoke/block10.rb
+- smoke/block11.rb
+- smoke/block12.rb
+- smoke/block2.rb
+- smoke/block3.rb
+- smoke/block4.rb
+- smoke/block5.rb
+- smoke/block6.rb
+- smoke/block7.rb
+- smoke/block8.rb
+- smoke/block9.rb
+- smoke/blown.rb
+- smoke/break1.rb
+- smoke/break2.rb
+- smoke/case.rb
+- smoke/case2.rb
+- smoke/class.rb
+- smoke/class_instance_var.rb
+- smoke/class_method.rb
+- smoke/class_method2.rb
+- smoke/class_method3.rb
+- smoke/constant1.rb
+- smoke/constant2.rb
+- smoke/constant3.rb
+- smoke/constant4.rb
+- smoke/context-sensitive1.rb
+- smoke/cvar.rb
+- smoke/cvar2.rb
+- smoke/demo.rb
+- smoke/demo1.rb
+- smoke/demo10.rb
+- smoke/demo11.rb
+- smoke/demo2.rb
+- smoke/demo3.rb
+- smoke/demo4.rb
+- smoke/demo5.rb
+- smoke/demo6.rb
+- smoke/demo7.rb
+- smoke/demo8.rb
+- smoke/demo9.rb
+- smoke/dummy-execution1.rb
+- smoke/dummy-execution2.rb
+- smoke/ensure1.rb
+- smoke/enumerator.rb
+- smoke/expandarray1.rb
+- smoke/expandarray2.rb
+- smoke/fib.rb
+- smoke/flow1.rb
+- smoke/flow2.rb
+- smoke/flow3.rb
+- smoke/flow4.rb
+- smoke/flow5.rb
+- smoke/flow6.rb
+- smoke/flow7.rb
+- smoke/for.rb
+- smoke/freeze.rb
+- smoke/function.rb
+- smoke/gvar.rb
+- smoke/hash-fetch.rb
+- smoke/hash1.rb
+- smoke/hash2.rb
+- smoke/hash3.rb
+- smoke/hash4.rb
+- smoke/hash5.rb
+- smoke/inheritance.rb
+- smoke/inheritance2.rb
+- smoke/initialize.rb
+- smoke/instance_eval.rb
+- smoke/int_times.rb
+- smoke/integer.rb
+- smoke/ivar.rb
+- smoke/ivar2.rb
+- smoke/kernel-class.rb
+- smoke/keyword1.rb
+- smoke/keyword2.rb
+- smoke/keyword3.rb
+- smoke/keyword4.rb
+- smoke/keyword5.rb
+- smoke/kwsplat1.rb
+- smoke/kwsplat2.rb
+- smoke/manual-rbs.rb
+- smoke/manual-rbs.rbs
+- smoke/manual-rbs2.rb
+- smoke/manual-rbs2.rbs
+- smoke/masgn1.rb
+- smoke/masgn2.rb
+- smoke/masgn3.rb
+- smoke/method_in_branch.rb
+- smoke/module1.rb
+- smoke/module2.rb
+- smoke/module3.rb
+- smoke/module4.rb
+- smoke/module_function1.rb
+- smoke/module_function2.rb
+- smoke/multiple-include.rb
+- smoke/multiple-superclass.rb
+- smoke/next1.rb
+- smoke/next2.rb
+- smoke/object-send1.rb
+- smoke/once.rb
+- smoke/optional1.rb
+- smoke/optional2.rb
+- smoke/parameterizedd-self.rb
+- smoke/pathname1.rb
+- smoke/pathname2.rb
+- smoke/printf.rb
+- smoke/proc.rb
+- smoke/proc2.rb
+- smoke/proc3.rb
+- smoke/proc4.rb
+- smoke/range.rb
+- smoke/redo1.rb
+- smoke/redo2.rb
+- smoke/req-keyword.rb
+- smoke/rescue1.rb
+- smoke/rescue2.rb
+- smoke/respond_to.rb
+- smoke/rest-farg.rb
+- smoke/rest1.rb
+- smoke/rest2.rb
+- smoke/rest3.rb
+- smoke/rest4.rb
+- smoke/rest5.rb
+- smoke/rest6.rb
+- smoke/retry1.rb
+- smoke/return.rb
+- smoke/reveal.rb
+- smoke/singleton_class.rb
+- smoke/singleton_method.rb
+- smoke/step.rb
+- smoke/string-split.rb
+- smoke/struct.rb
+- smoke/struct2.rb
+- smoke/super1.rb
+- smoke/super2.rb
+- smoke/super3.rb
+- smoke/svar1.rb
+- smoke/tap1.rb
+- smoke/toplevel.rb
+- smoke/two-map.rb
+- smoke/type_var.rb
+- smoke/typed_method.rb
+- smoke/union-recv.rb
+- smoke/variadic1.rb.notyet
+- smoke/wrong-extend.rb
+- smoke/wrong-include.rb
+- smoke/wrong-rbs.rb
+- smoke/wrong-rbs.rbs
+- testbed/ao.rb
+- testbed/diff-lcs-entrypoint.rb
+- testbed/goodcheck-Gemfile.lock
+- tools/coverage.rb
+- tools/setup-insns-def.rb
+- tools/stackprof-wrapper.rb
+- typeprof.gemspec
+homepage: https://github.com/mame/ruby-type-profiler
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/mame/ruby-type-profiler
+  source_code_uri: https://github.com/mame/ruby-type-profiler
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '2.7'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.1.4
+signing_key: 
+specification_version: 4
+summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
+test_files: []