teutsch / tb-wasm-machine-poc

PoC for process virtual machine to interpret WASM binaries within the context of the TB verification game and it's particular constraints

tb-wasm-machine-poc

PoC for process virtual machine to interpret WASM binaries within the context of the TB verification game and it's particular constraints

Content Description

argparser.py is the interpreter. I'll change the name later.
getobj.sh dumps a hex file that's easy to read. you need binaryen for this to work.
injected.wast is the test file generated by wasmfiddle.
The c-samples directory contains simple C files and their WAST translation for anyone who wants to get a feel for it.

Tools

Just what the name says:

• binaryen
  
• wabt
  
• wasmfiddle
  

Running the Sample

To be able to run the code as it is right now, you need to get the binary. I'm using binaryen.
Our implementation will not run on python2.x.

To run the interpreter you should call:

python3 argparser.py --wasm ./injected.wasm