furnace-avm2 0.0.9 → 0.9.0

metadata

@@ -1,61 +1,65 @@
 --- !ruby/object:Gem::Specification
 name: furnace-avm2
 version: !ruby/object:Gem::Version
-  version: 0.0.9
-  prerelease: 
+  prerelease:
+  version: 0.9.0
 platform: ruby
 authors:
 - Peter Zotov
-autorequire: 
+autorequire:
 bindir: bin
 cert_chain: []
-date: 2012-02-17 00:00:00.000000000 Z
+date: 2012-04-11 00:00:00.000000000Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: furnace
-  requirement: &74548650 !ruby/object:Gem::Requirement
-    none: false
+  version_requirements: &2056 !ruby/object:Gem::Requirement
     requirements:
     - - ! '>='
       - !ruby/object:Gem::Version
-        version: 0.0.5
-  type: :runtime
+        version: 0.1.0
+    none: false
+  requirement: *2056
   prerelease: false
-  version_requirements: *74548650
+  type: :runtime
 - !ruby/object:Gem::Dependency
   name: trollop
-  requirement: &74547750 !ruby/object:Gem::Requirement
-    none: false
+  version_requirements: &2074 !ruby/object:Gem::Requirement
     requirements:
     - - ! '>='
       - !ruby/object:Gem::Version
         version: '0'
-  type: :runtime
+    none: false
+  requirement: *2074
   prerelease: false
-  version_requirements: *74547750
-description: furnace-avm2 allows one to load, modify and write back Flash ActionScript3
-  bytecode. It can also decompile it.
+  type: :runtime
+description: furnace-avm2 allows one to load, modify and write back Flash ActionScript3 bytecode. It can also decompile it.
 email:
 - whitequark@whitequark.org
 executables:
 - furnace-avm2
 - furnace-avm2-benchmark
+- furnace-avm2-decompiler
 extensions: []
 extra_rdoc_files: []
 files:
 - .gitignore
 - Gemfile
 - Gemfile.lock
+- LICENSE
 - Rakefile
 - abcdump.abc
 - bin/furnace-avm2
 - bin/furnace-avm2-benchmark
+- bin/furnace-avm2-decompiler
 - furnace-avm2.gemspec
 - lib/furnace-avm2.rb
 - lib/furnace-avm2/abc.rb
 - lib/furnace-avm2/abc/metadata/const_pool_info.rb
+- lib/furnace-avm2/abc/metadata/default_value.rb
 - lib/furnace-avm2/abc/metadata/exception_info.rb
 - lib/furnace-avm2/abc/metadata/file.rb
+- lib/furnace-avm2/abc/metadata/initializer_body.rb
 - lib/furnace-avm2/abc/metadata/instance_info.rb
 - lib/furnace-avm2/abc/metadata/klass_info.rb
 - lib/furnace-avm2/abc/metadata/metadata_info.rb
@@ -70,9 +74,8 @@ files:
 - lib/furnace-avm2/abc/metadata/multiname_kind_rtqnamel.rb
 - lib/furnace-avm2/abc/metadata/namespace_info.rb
 - lib/furnace-avm2/abc/metadata/ns_set_info.rb
-- lib/furnace-avm2/abc/metadata/option_detail.rb
-- lib/furnace-avm2/abc/metadata/option_info.rb
 - lib/furnace-avm2/abc/metadata/record_with_traits.rb
+- lib/furnace-avm2/abc/metadata/record_with_value.rb
 - lib/furnace-avm2/abc/metadata/script_info.rb
 - lib/furnace-avm2/abc/metadata/trait_class.rb
 - lib/furnace-avm2/abc/metadata/trait_function.rb
@@ -131,10 +134,14 @@ files:
 - lib/furnace-avm2/abc/opcodes/control_transfer/as3_jump.rb
 - lib/furnace-avm2/abc/opcodes/control_transfer/as3_lookupswitch.rb
 - lib/furnace-avm2/abc/opcodes/control_transfer_opcode.rb
+- lib/furnace-avm2/abc/opcodes/debug/as3_debug.rb
+- lib/furnace-avm2/abc/opcodes/debug/as3_debugfile.rb
+- lib/furnace-avm2/abc/opcodes/debug/as3_debugline.rb
 - lib/furnace-avm2/abc/opcodes/exception/as3_newcatch.rb
 - lib/furnace-avm2/abc/opcodes/exception_opcode.rb
 - lib/furnace-avm2/abc/opcodes/function_invocation/as3_call.rb
 - lib/furnace-avm2/abc/opcodes/function_invocation/as3_callproperty.rb
+- lib/furnace-avm2/abc/opcodes/function_invocation/as3_callproplex.rb
 - lib/furnace-avm2/abc/opcodes/function_invocation/as3_callpropvoid.rb
 - lib/furnace-avm2/abc/opcodes/function_invocation/as3_callsuper.rb
 - lib/furnace-avm2/abc/opcodes/function_invocation/as3_callsupervoid.rb
@@ -226,47 +233,112 @@ files:
 - lib/furnace-avm2/abc/primitives/record.rb
 - lib/furnace-avm2/binary/choice_definition.rb
 - lib/furnace-avm2/binary/record.rb
+- lib/furnace-avm2/source/declaration_tokens/argument_declaration_token.rb
+- lib/furnace-avm2/source/declaration_tokens/arguments_token.rb
+- lib/furnace-avm2/source/declaration_tokens/callee_token.rb
+- lib/furnace-avm2/source/declaration_tokens/class_implementations_token.rb
+- lib/furnace-avm2/source/declaration_tokens/class_inheritance_token.rb
+- lib/furnace-avm2/source/declaration_tokens/class_name_token.rb
+- lib/furnace-avm2/source/declaration_tokens/class_specifiers_token.rb
+- lib/furnace-avm2/source/declaration_tokens/class_token.rb
+- lib/furnace-avm2/source/declaration_tokens/comment_token.rb
+- lib/furnace-avm2/source/declaration_tokens/constructor_specifiers_token.rb
+- lib/furnace-avm2/source/declaration_tokens/constructor_token.rb
+- lib/furnace-avm2/source/declaration_tokens/function_name_token.rb
+- lib/furnace-avm2/source/declaration_tokens/import_token.rb
+- lib/furnace-avm2/source/declaration_tokens/initialization_token.rb
+- lib/furnace-avm2/source/declaration_tokens/method_specifiers_token.rb
+- lib/furnace-avm2/source/declaration_tokens/method_token.rb
+- lib/furnace-avm2/source/declaration_tokens/multiname_token.rb
+- lib/furnace-avm2/source/declaration_tokens/namespace_name_token.rb
+- lib/furnace-avm2/source/declaration_tokens/package_name_token.rb
+- lib/furnace-avm2/source/declaration_tokens/package_token.rb
+- lib/furnace-avm2/source/declaration_tokens/rest_argument_token.rb
+- lib/furnace-avm2/source/declaration_tokens/scope_token.rb
+- lib/furnace-avm2/source/declaration_tokens/script_token.rb
+- lib/furnace-avm2/source/declaration_tokens/slot_name_token.rb
+- lib/furnace-avm2/source/declaration_tokens/slot_token.rb
+- lib/furnace-avm2/source/declaration_tokens/specifiers_token.rb
+- lib/furnace-avm2/source/declaration_tokens/token_with_traits.rb
+- lib/furnace-avm2/source/declaration_tokens/type_token.rb
+- lib/furnace-avm2/source/decompiler.rb
+- lib/furnace-avm2/source/implementation_tokens/access_token.rb
+- lib/furnace-avm2/source/implementation_tokens/array_token.rb
+- lib/furnace-avm2/source/implementation_tokens/as_token.rb
+- lib/furnace-avm2/source/implementation_tokens/assignment_token.rb
+- lib/furnace-avm2/source/implementation_tokens/binary_operator_token.rb
+- lib/furnace-avm2/source/implementation_tokens/break_token.rb
+- lib/furnace-avm2/source/implementation_tokens/call_token.rb
+- lib/furnace-avm2/source/implementation_tokens/continue_token.rb
+- lib/furnace-avm2/source/implementation_tokens/control_flow_token.rb
+- lib/furnace-avm2/source/implementation_tokens/control_transfer_token.rb
+- lib/furnace-avm2/source/implementation_tokens/delete_token.rb
+- lib/furnace-avm2/source/implementation_tokens/do_token.rb
+- lib/furnace-avm2/source/implementation_tokens/else_if_token.rb
+- lib/furnace-avm2/source/implementation_tokens/else_token.rb
+- lib/furnace-avm2/source/implementation_tokens/for_each_token.rb
+- lib/furnace-avm2/source/implementation_tokens/for_token.rb
+- lib/furnace-avm2/source/implementation_tokens/generic_specializers_token.rb
+- lib/furnace-avm2/source/implementation_tokens/generic_type_token.rb
+- lib/furnace-avm2/source/implementation_tokens/if_token.rb
+- lib/furnace-avm2/source/implementation_tokens/immediate_token.rb
+- lib/furnace-avm2/source/implementation_tokens/immediate_typename_token.rb
+- lib/furnace-avm2/source/implementation_tokens/in_token.rb
+- lib/furnace-avm2/source/implementation_tokens/index_token.rb
+- lib/furnace-avm2/source/implementation_tokens/is_complex.rb
+- lib/furnace-avm2/source/implementation_tokens/is_simple.rb
+- lib/furnace-avm2/source/implementation_tokens/is_token.rb
+- lib/furnace-avm2/source/implementation_tokens/label_declaration_token.rb
+- lib/furnace-avm2/source/implementation_tokens/label_token.rb
+- lib/furnace-avm2/source/implementation_tokens/local_variable_token.rb
+- lib/furnace-avm2/source/implementation_tokens/new_token.rb
+- lib/furnace-avm2/source/implementation_tokens/object_pair_token.rb
+- lib/furnace-avm2/source/implementation_tokens/object_token.rb
+- lib/furnace-avm2/source/implementation_tokens/parentheses_token.rb
+- lib/furnace-avm2/source/implementation_tokens/property_name_token.rb
+- lib/furnace-avm2/source/implementation_tokens/return_token.rb
+- lib/furnace-avm2/source/implementation_tokens/rtname_token.rb
+- lib/furnace-avm2/source/implementation_tokens/statement_token.rb
+- lib/furnace-avm2/source/implementation_tokens/super_token.rb
+- lib/furnace-avm2/source/implementation_tokens/switch_token.rb
+- lib/furnace-avm2/source/implementation_tokens/ternary_operator_token.rb
+- lib/furnace-avm2/source/implementation_tokens/throw_token.rb
+- lib/furnace-avm2/source/implementation_tokens/typeof_token.rb
+- lib/furnace-avm2/source/implementation_tokens/unary_operator_token.rb
+- lib/furnace-avm2/source/implementation_tokens/unary_post_operator_token.rb
+- lib/furnace-avm2/source/implementation_tokens/variable_name_token.rb
+- lib/furnace-avm2/source/implementation_tokens/while_token.rb
 - lib/furnace-avm2/transform.rb
 - lib/furnace-avm2/transform/ast_build.rb
 - lib/furnace-avm2/transform/ast_normalize.rb
+- lib/furnace-avm2/transform/cfg_build.rb
+- lib/furnace-avm2/transform/cfg_reduce.rb
+- lib/furnace-avm2/transform/nf_normalize.rb
 - lib/furnace-avm2/version.rb
-- test/exception.abc
-- test/exception.as
-- test/literal.abc
-- test/literal.as
-- test/logic.abc
-- test/logic.as
-- test/loops.abc
-- test/loops.as
-- test/number.abc
-- test/number.as
-- test/switch.abc
-- test/switch.as
-- test/ternary.abc
-- test/ternary.as
+- test/basic.as
 homepage: http://github.com/whitequark/furnace-avm2
 licenses: []
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
   - - ! '>='
     - !ruby/object:Gem::Version
       version: '0'
-required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
+required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ! '>='
     - !ruby/object:Gem::Version
       version: '0'
+  none: false
 requirements: []
-rubyforge_project: 
-rubygems_version: 1.8.10
-signing_key: 
+rubyforge_project:
+rubygems_version: 1.8.15
+signing_key:
 specification_version: 3
 summary: AVM2 analysis framework based on Furnace
 test_files: []
-has_rdoc: 
+...

data/lib/furnace-avm2/abc/metadata/option_info.rb

@@ -1,5 +0,0 @@
-module Furnace::AVM2::ABC
-  class OptionInfo < Record
-    abc_array_of :option, :nested, :class => OptionDetail
-  end
-end

data/test/exception.as

@@ -1,29 +0,0 @@
-package test {
-  function c() {
-    try {
-      hoge();
-    } finally {
-      piyo();
-    }
-  }
-  function b() {
-    try {
-      hoge();
-      throw 1;
-      fuga();
-    } catch(e: SecurityError) {
-      piyo(e);
-    }
-  }
-  function a() {
-    try {
-      hoge();
-      throw 1;
-      fuga();
-    } catch(e: SecurityError) {
-      piyo(e);
-    } catch(e: Error) {
-      throw e;
-    }
-  }
-}

data/test/literal.as

@@ -1,5 +0,0 @@
-package test {
-  function lit() {
-    call(1, 1, 200, 200);
-  }
-}

data/test/logic.as

@@ -1,23 +0,0 @@
-package test {
-  function P_a_or_b_p_and_P_c_and_d_p_or_e(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    var v:Boolean = (a || b) && (c && d) || e;
-    away();
-    return v;
-  }
-  function a_or_b(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    if(a || b) {
-      yes();
-    } else {
-      no();
-    }
-  }
-  function a_and_b_and_c(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return a && b && c;
-  }
-  function P_a_and_b_p_and_c(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return (a && b) && c;
-  }
-  function a_and_b(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return a && b;
-  }
-}

data/test/loops.as

@@ -1,30 +0,0 @@
-package test {
-  function d() {
-    while(true) {
-      pow();
-      if(frak()) { a(); break; b(); }
-      weee();
-    }
-  }
-  function c() {
-    while(true) {
-      pow();
-      if(frak()) { break; }
-      weee();
-    }
-  }
-  function b() {
-    weee();
-    for(var q:int = 1; q > 0; q++) {
-      frak();
-    }
-  }
-  function a() {
-    var q:int = 1;
-    weee();
-    while(q > 0) {
-      frak();
-      q++;
-    }
-  }
-}

data/test/number.as

@@ -1,14 +0,0 @@
-package test {
-  function b() {
-    var a:int = 0;
-    var b:int;
-    b = (a += 1);
-    return (b -= (a += 1));
-  }
-  function a() {
-    var a:int = 0;
-    var b:int = ++a;
-    var c:int = a++;
-    return a;
-  }
-}

data/test/switch.as

@@ -1,38 +0,0 @@
-package test {
-  function b(q:int):Boolean {
-
-    for(;;) {
-    switch(prop) {
-     case 0x10:
-     case 0x20:
-      fuga();
-     break;
-
-     case 0x30:
-      piyo();
-     break;
-
-     default:
-      baz();
-     break;
-    }
-    }
-    return false;
-  }
-  function a(q:int):Boolean {
-    switch(q) {
-     case 0x10:
-      hoge();
-     case 0x20:
-      fuga();
-     break;
-     case 0x30:
-      piyo();
-     break;
-     default:
-      baz();
-     break;
-    }
-    return false;
-  }
-}

data/test/ternary.as

@@ -1,22 +0,0 @@
-package test {
-  function hardcore(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    if(((a && b) ? (c || d) && e : b) && (a || b)) {
-      return pow();
-    } else {
-      weeee();
-    }
-    duh();
-  }
-  function q(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return ((a ? b : c) ? (b ? c : d) : (c ? d : e));
-  }
-  function a_I_b_E_c_I_d_E_e(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return a ? b : (c ? d : e);
-  }
-  function a_I_b_I_c_E_d_E_e(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return a ? (b ? c : d) : e;
-  }
-  function a_I_b_E_c(a: Boolean, b:Boolean, c:Boolean, d:Boolean, e:Boolean) : Boolean {
-    return (1 > 2) ? b : c;
-  }
-}