Move Scanner
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.
Major Features
  • 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.