Stellar Community Fund

RFP: Soroban (WASM) Specialized Reverse Engineering Tool

SCF #41

Description

In SCF RFPs section: https://stellar.gitbook.io/scf-handbook/scf-awards/build-award/rfp-track#soroban-specialized-reverse-engineering-tool
A special WASM->WAT tool has been described, which I personally found immense need for while working on Solang (Solidity to WASM compiler). In summary, the tool should be able to:
- Convert Soroban specific WASM files to WAT, in which the WAT is human readable via embedding knowledge about the soroban host functions or imported utilities in the tool itself.
- The produced WAT should be more human-readbale and accurate than the standard WASM2WAT tool
- reconstructed WAT should be as close to the original source as possible

Note: before such tool exists, what I would personally do to trace a WAT file would be a mix of syntax highlighted WAT, mapping the host function names(i.e i._) to human readable names and finally using some AI chatbot (which is not really accurate for debugging or auditing purposes)