diff options
author | bloodstalker <thabogre@gmail.com> | 2018-10-01 00:47:33 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2018-10-01 00:47:33 +0000 |
commit | 2b523602df55f803763e44f978645301fe0dc499 (patch) | |
tree | e0eb0d0f70baaa100a6bf227d83c5f29b059fbc6 | |
parent | some more fixes, mainly for tablegen and fualtreiber, will check later to mak... (diff) | |
download | mutator-2b523602df55f803763e44f978645301fe0dc499.tar.gz mutator-2b523602df55f803763e44f978645301fe0dc499.zip |
fixed some more bugs on tablegen and faultreiber's side. you can run the demo file called wasmtest under lua-scripts if you wanna see what we have so far.
-rw-r--r-- | bruiser/autogen/wasm/ltg/luwasm.xml | 4 | ||||
m--------- | bruiser/faultreiber | 0 | ||||
-rw-r--r-- | bruiser/lua-scripts/regtest.lua | 2 | ||||
-rw-r--r-- | bruiser/lua-scripts/wasmtest.lua | 120 | ||||
m--------- | bruiser/tablegen | 0 |
5 files changed, 98 insertions, 28 deletions
diff --git a/bruiser/autogen/wasm/ltg/luwasm.xml b/bruiser/autogen/wasm/ltg/luwasm.xml index 8d6efe0..5ccd054 100644 --- a/bruiser/autogen/wasm/ltg/luwasm.xml +++ b/bruiser/autogen/wasm/ltg/luwasm.xml @@ -152,7 +152,7 @@ <Index name="index" encoding="leb128u" type="uint32" count="1" luatype="integer"/> <Init name="init" type="self::Init_Expr" count="1" luatype="lightuserdata"/> <Num_Length name="num_length" encoding="leb128u" type="uint32" count="1" luatype="integer"/> - <Elems name="elems" encoding="leb128u" type="uint32" count="self::Num_Length" luatype="integer"/> + <Elems name="elems" encoding="leb128u" type="uint32" count="self::Num_Length" luatype="lightuserdata"/> </Element_Segment> <Local_Entry name="W_Local_Entry" isaggregate="true" luatype="lightuserdata"> <Count name="count" encoding="leb128u" type="uint32" count="1" luatype="integer"/> @@ -162,7 +162,7 @@ <Body_size name="body_size" encoding="leb128u" type="uint32" count="1" luatype="integer"/> <Local_Count name="local_count" encoding="leb128u" type="uint32" count="1" luatype="integer"/> <Local_Entries name="locals" type="self::Local_Entry" count="self::Local_Count" luatype="lightuserdata"/> - <Code name="code" type="uint8" count="self::Body_size" luatype="integer"/> + <Code name="code" type="uint8" count="self::Body_size" luatype="lightuserdata"/> </Function_Body> <Data_Segment name="W_Data_Segment" isaggregate="true" luatype="lightuserdata"> <Index name="index" encoding="leb128u" type="uint32" count="1" luatype="integer"/> diff --git a/bruiser/faultreiber b/bruiser/faultreiber -Subproject aa60b19995fb0100ee16d57265e4096566b2222 +Subproject bddc4103d3f56cd25017f6948ea6a5eaa146bef diff --git a/bruiser/lua-scripts/regtest.lua b/bruiser/lua-scripts/regtest.lua index 9cb1250..c45c2ce 100644 --- a/bruiser/lua-scripts/regtest.lua +++ b/bruiser/lua-scripts/regtest.lua @@ -7,6 +7,7 @@ function reg_test() local jmp_table = require("demo2") local asm_rewriter = require("asmtest") local wasm_import = require("demo3") + local libwasm = require("wasmtest") local argparse = require("argparse") @@ -15,6 +16,7 @@ function reg_test() parser:flag("-j --jmpt") parser:flag("-a --asm") parser:flag("-w --wasm") + --libwasm.demo("/home/bloodstalker/devi/hell2/bruiser/autogen/wasm/ft/test.wasm") end diff --git a/bruiser/lua-scripts/wasmtest.lua b/bruiser/lua-scripts/wasmtest.lua index 32c8442..dec8d66 100644 --- a/bruiser/lua-scripts/wasmtest.lua +++ b/bruiser/lua-scripts/wasmtest.lua @@ -1,15 +1,29 @@ colors = require("ansicolors") --- aka dump wasm -function demo4() - local a = getwasmobj("/home/bloodstalker/devi/hell2/bruiser/autogen/wasm/ft/test.wasm") +local libwasm = {} + +function libwasm.demo(wasm_path) + local a = getwasmobj(wasm_path) print(a) print(type(a)) for k, v in pairs(a) do print(k, v, type(k), type(v)) end + libwasm.dump_import_section(a) + libwasm.dump_type_section(a) + libwasm.dump_function_section(a) + libwasm.dump_table_section(a) + libwasm.dump_memory_section(a) + libwasm.dump_global_section(a) + libwasm.dump_export_section(a) + libwasm.dump_start_section(a) + libwasm.dump_element_section(a) + libwasm.dump_code_section(a) + libwasm.dump_data_section(a) +end +function libwasm.dump_type_section(a) print(colors("%{green}".."\ntype section:")) if a["type_section"] ~= nil then io.write(tostring("id:"..a["type_section"]:id()).."\n") @@ -28,7 +42,9 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_import_section(a) print(colors("%{green}".."\nimport section:")) if a["import_section"] ~= nil then io.write("id:"..tostring(a["import_section"]:id()).."\n") @@ -39,16 +55,19 @@ function demo4() io.write("entries"..tostring(a["import_section"]:entries()).."\n") for k, v in pairs(a["import_section"]:entries()) do --print(k, v, type(v)) - io.write(v:module_length().."\t") - io.write(v:module_str().."\t") - io.write(v:field_len().."\t") - io.write(v:field_str().."\t") - io.write(v:kind().."\n") + io.write("module length:"..v:module_length().."\t") + io.write("module str:"..v:module_str().."\t") + io.write("field len:"..v:field_len().."\t") + io.write("field str:"..v:field_str().."\t") + io.write("kind:"..v:kind().."\t") + io.write("type:"..v:type().."\n") end else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_function_section(a) print(colors("%{green}".."\nfunction section:")) if a["function_section"] ~= nil then io.write("id:"..tostring(a["function_section"]:id()).."\n") @@ -60,7 +79,9 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_table_section(a) print(colors("%{green}".."\ntable section:")) if a["table_section"] ~= nil then io.write("id:"..tostring(a["table_section"]:id()).."\n") @@ -79,7 +100,10 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end + +function libwasm.dump_memory_section(a) print(colors("%{green}".."\nmemory section:")) if a["memory_section"] ~= nil then io.write("id:"..tostring(a["memory_section"]:id()).."\n") @@ -95,7 +119,9 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_global_section(a) print(colors("%{green}".."\nglobal section:")) if (a["global_section"] ~= nil) then io.write("id:"..tostring(a["global_section"]:id()).."\n") @@ -112,7 +138,9 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_export_section(a) print(colors("%{green}".."\nexport section:")) if (a["export_section"] ~= nil) then io.write("id:"..tostring(a["export_section"]:id()).."\n") @@ -130,7 +158,9 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_start_section(a) print(colors("%{green}".."\nstart section:")) if (a["start_section"] ~= nil) then io.write("id:"..tostring(a["start_section"]:id()).."\n") @@ -141,7 +171,9 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_element_section(a) print(colors("%{green}".."\nelement section:")) if (a["element_section"] ~= nil) then io.write("id:"..tostring(a["element_section"]:id()).."\n") @@ -149,19 +181,28 @@ function demo4() io.write("namelength:"..tostring(a["element_section"]:namelength()).."\n") io.write("name:"..tostring(a["element_section"]:name()).."\n") io.write("count:"..tostring(a["element_section"]:count()).."\n") - io.write("entries:"..tostring(a["element_section"]:entries()).."\n") + io.write(colors("%{cyan}".."entries:"..tostring(a["element_section"]:entries()).."\n")) for k, v in pairs(a["element_section"]:entries()) do - io.write(v:index().."\t") - io.write(tostring(v:init()).."\t") - io.write(v:init():code().."\t") - io.write(v:num_length().."\t") - -- FIXME - io.write(v:elems().."\n") + io.write("index:"..v:index().."\t") + io.write("init:") + for i = 1, #v:init():code() do + local c = v:init():code():sub(i,i) + io.write(colors("%{red}"..string.byte(c)).." ") + end + io.write("\n") + io.write("number of elements:"..v:num_length().."\t") + io.write("elems:") + for i, j in pairs(v:elems()) do + io.write(colors("%{red}"..j.." ")) + end + io.write("\n") end else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_code_section(a) print(colors("%{green}".."\ncode section:")) if (a["code_section"] ~= nil) then io.write("id:"..tostring(a["code_section"]:id()).."\n") @@ -171,20 +212,26 @@ function demo4() io.write("count:"..tostring(a["code_section"]:count()).."\n") io.write("bodies:"..tostring(a["code_section"]:bodies()).."\n") for k,v in pairs(a["code_section"]:bodies()) do - io.write(v:body_size().."\t") - io.write(v:local_count().."\t") + io.write(colors("\n%{cyan}".."entry:\n")) + io.write("body_size:"..v:body_size().."\t") + io.write("local_count:"..v:local_count().."\t") io.write(tostring(v:locals()).."\t") - print("number of locals:"..#v:locals()) for i, j in pairs(v:locals()) do io.write("locals count:"..j:count().."\t") io.write("locals type:"..j:type().."\t") end - io.write(v:code().."\n") + io.write("function body:\n") + for i,j in pairs(v:code()) do + io.write(colors("%{red}"..j.." ")) + end + io.write("\n") end else print(colors("%{red}".."section doesnt exist.")) end +end +function libwasm.dump_data_section(a) print(colors("%{green}".."\ndata section:")) if (a["data_section"] ~= nil) then io.write("id:"..tostring(a["data_section"]:id()).."\n") @@ -194,17 +241,16 @@ function demo4() io.write("count:"..tostring(a["data_section"]:count()).."\n") io.write("entries:"..tostring(a["data_section"]:entries()).."\n") if type(a["data_section"]:entries()) == "table" then + io.write(colors("%{cyan}".."entries:").."\n") for k,v in pairs(a["data_section"]:entries()) do - io.write(v:index().."\t") - io.write(tostring(v:offset()).."\t") - print(colors("%{red}"..tostring(#v:offset():code()))) + io.write("index:"..v:index().."\n") + io.write("offset: ") for i = 1, #v:offset():code() do local c = v:offset():code():sub(i,i) - print(colors("%{red}"..string.byte(c))) + io.write(colors("%{red}"..string.byte(c)).." ") end - --io.write(colors("%{yellow}"..v:offset():code())) + io.write("\n") io.write("size:"..v:size().."\n") - io.write(tostring(v:data()).."\n") for i, j in pairs(v:data()) do io.write(colors("%{blue}"..string.char(j))) end @@ -214,7 +260,29 @@ function demo4() else print(colors("%{red}".."section doesnt exist.")) end +end + +function libwasm.dump_all(wasm_path) + local a = getwasmobj(wasm_path) + libwasm.dump_import_section(a) + libwasm.dump_type_section(a) + libwasm.dump_function_section(a) + libwasm.dump_table_section(a) + libwasm.dump_memory_section(a) + libwasm.dump_global_section(a) + libwasm.dump_export_section(a) + libwasm.dump_start_section(a) + libwasm.dump_element_section(a) + libwasm.dump_code_section(a) + libwasm.dump_data_section(a) +end +function libwasm.dev(wasm_path) + local a = getwasmobj(wasm_path) + libwasm.dump_import_section(a) end -demo4() +--libwasm.dev("/home/bloodstalker/devi/hell2/bruiser/autogen/wasm/ft/test.wasm") +libwasm.demo("/home/bloodstalker/devi/hell2/bruiser/autogen/wasm/ft/test.wasm") +--libwasm.dump_all("/home/bloodstalker/devi/hell2/bruiser/autogen/wasm/ft/test.wasm") +return libwasm diff --git a/bruiser/tablegen b/bruiser/tablegen -Subproject c0eda3bcb258278bba83b6d3d26d5d7f4b65ef4 +Subproject ec0f1d881c9f0da07e57f1c4a307fbc4e96313c |