Appearance
WebAssembly Language Tools provides not only some basic validations that WABT does, but also some additional lints such as detecting unused items, unreachable code and needless mutable items.
This documentation introduces most kinds of diagnostics.