veriwasm (cargo): A safety verifier for native-compiled WebAssembly code
Keywords: verification|static-analysis|webassembly|binary-analysis|security