The header "wasm-interpreter.h" has a definition to use a "standard" trace functionality (see the "NOTE_ENTER" templates).
It would be good to execute wasm binaries with such capability (see WASM_INTERPRETER_DEBUG flag).
As far as I can see, the trace format (in the wasm-intepreter.h file) is somehow a natural language. Probably, it is a good idea to extend it to export CTF format, or use the same format that we include in swam trace support.