A control-flow-based analyzer of Wasm smart contracts.
Primary LanguagePythonApache License 2.0Apache-2.0