blob: 9fafa180245ce5c0674e240669dbafa2b51618d2 (
plain) (
tree)
|
|
colors = require("ansicolors")
local libwasm = {}
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")
io.write(tostring("payloadlength:"..a["type_section"]:payloadlength()).."\n")
io.write(tostring("count:"..a["type_section"]:count()).."\n")
io.write("entries"..tostring(a["type_section"]:entries()).."\n")
for k, v in pairs(a["type_section"]:entries()) do
io.write(v:form().."\t")
io.write(v:param_count().."\t")
io.write(v:param_types().."\t")
io.write(v:return_count().."\t")
io.write(v:return_types().."\n")
end
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")
io.write("payloadlength:"..tostring(a["import_section"]:payloadlength()).."\n")
io.write("count:"..tostring(a["import_section"]:count()).."\n")
io.write("entries"..tostring(a["import_section"]:entries()).."\n")
for k, v in pairs(a["import_section"]:entries()) do
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("kind:"..tostring(v:type()).."\t")
if v:kind() == 0 then
print()
io.write("kind:"..tostring(v:type()).."\n")
--FIXME
elseif v:kind() == 1 then
--io.write("element_type:"..v:type():element_type().."\n")
--io.write("rsz:"..v:type():resizable_limit().."\t")
--io.write("flags:"..v:type():resizable_limit():flags().."\t")
--io.write("init:"..v:type():resizable_limit():init().."\t")
--io.write("max:"..v:type():resizable_limit():maximum().."\n")
elseif v:kind() == 2 then
--io.write("rsz:"..v:type():resizable_limit().."\t")
--io.write("flags:"..v:type():resizable_limit():flags().."\t")
--io.write("init:"..v:type():resizable_limit():init().."\t")
--io.write("max:"..v:type():resizable_limit():maximum().."\n")
print()
elseif v:kind() == 3 then
io.write("value_type:"..v:type():value_type().."\t")
io.write("mutability:"..v:type():mutability().."\n")
end
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")
io.write("payloadlength:"..tostring(a["function_section"]:payloadlength()).."\n")
io.write("count:"..tostring(a["function_section"]:count()).."\n")
io.write("types:"..tostring(a["function_section"]:types()).."\n")
for k,v in pairs(a["function_section"]:types()) do
print(v)
end
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")
io.write("payloadlength:"..tostring(a["table_section"]:payloadlength()).."\n")
io.write("count:"..tostring(a["table_section"]:count()).."\n")
io.write("entries:"..tostring(a["table_section"]:entries()).."\n")
for k, v in pairs(a["table_section"]:entries()) do
io.write(v:element_type().."\t")
io.write(tostring(v:resizable_limit()).."\t")
io.write(v:resizable_limit():flags().."\t")
io.write(v:resizable_limit():initial().."\t")
io.write(v:resizable_limit():maximum().."\n")
end
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")
io.write("payloadlength:"..tostring(a["memory_section"]:payloadlength()).."\n")
--for wasm v.1.0. memory section count is 1
--io.write("count:"..tostring(a["memory_section"]:count()).."\n")
io.write("entries:"..tostring(a["memory_section"]:entries()).."\n")
io.write(a["memory_section"]:entries():resizable_limit():flags().."\t")
io.write(a["memory_section"]:entries():resizable_limit():initial().."\t")
io.write(a["memory_section"]:entries():resizable_limit():maximum().."\n")
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")
io.write("payloadlength:"..tostring(a["global_section"]:payloadlength()).."\n")
io.write("count:"..tostring(a["global_section"]:count()).."\n")
io.write("globals:"..tostring(a["global_section"]:globals()).."\n")
for k, v in pairs(a["global_section"]:globals()) do
io.write(v:global_type().."\t")
io.write(v:init().."\n")
io.write(v:init():code().."\n")
end
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")
io.write("payloadlength:"..tostring(a["export_section"]:payloadlength()).."\n")
io.write("count:"..tostring(a["export_section"]:count()).."\n")
io.write("entries:"..tostring(a["export_section"]:entries()).."\n")
for k, v in pairs(a["export_section"]:entries()) do
io.write(v:field_len().."\t")
io.write(v:field_str().."\t")
io.write(v:kind().."\t")
io.write(v:index().."\n")
end
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")
io.write("payloadlength:"..tostring(a["start_section"]:payloadlength()).."\n")
io.write("index:"..tostring(a["start_section"]:index()).."\n")
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")
io.write("payloadlength:"..tostring(a["element_section"]:payloadlength()).."\n")
io.write("count:"..tostring(a["element_section"]:count()).."\n")
io.write(colors("%{cyan}".."entries:"..tostring(a["element_section"]:entries()).."\n"))
for k, v in pairs(a["element_section"]:entries()) do
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")
io.write("payloadlength:"..tostring(a["code_section"]:payloadlength()).."\n")
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(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()).."\n")
for i, j in pairs(v:locals()) do
io.write("locals count:"..j:count().."\t")
io.write("locals type:"..j:type().."\n")
end
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")
io.write("payloadlength:"..tostring(a["data_section"]:payloadlength()).."\n")
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("index:"..v:index().."\n")
io.write("offset: ")
for i = 1, #v:offset():code() do
local c = v:offset():code():sub(i,i)
io.write(colors("%{red}"..string.byte(c)).." ")
end
io.write("\n")
io.write("size:"..v:size().."\n")
for i, j in pairs(v:data()) do
io.write(colors("%{blue}"..string.char(j)))
end
io.write("\n")
end
end
else
print(colors("%{red}".."section doesnt exist."))
end
end
function libwasm.dump_all(wasm_path)
local a = getwasmobj(wasm_path)
libwasm.dump_type_section(a)
libwasm.dump_import_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
return libwasm
|