MoveScanner is a bytecode detection tool for Move Contracts based on static analysis. It converts the Move bytecodes to IR&CFG, and does static analysis to find issues.
- Support the detection of Move language.
- Detect both complete projects and individual bytecode files.
- Generate detection reports to assist in contract audits.
- Use the static analysis to detect Move contract vulnerability.
- Support more than 10+ kinds of vulnerabilities.