Move Read/Write Set Analyzer

github.comsite

Static analysis tool for computing an overapproximation of the global memory touched by a Move program. Maintained by the Move core team.

from

Move

added

2026-10-10

likes

0

similar

1. ▲

   Move Prover github.com

   Formal verification of user-defined specifications written in Move source code. Maintained by the Move core team.

   site link ↗
   site
2. ▲

   aoc-move github.com

   Advent of Code solutions in Move with some formal verification.

   tool link ↗
   
3. ▲

   Comparing Move and Rust smart contract development medium.com

   site · @kklas topic programming link ↗
   site
4. ▲

   Move-on-EVM github.com

   Experimental project to compile Move source code to EVM bytecode.

   site link ↗
   site
5. ▲

   mat github.com

   Simple memory analysis tool intended to help understand where the memory is used in a program.

   tool link ↗
   tool
6. ▲

   move-mode github.com

   Major mode for Emacs maintained by @amnn.

   tool link ↗
   

Move › Tools: “Static analysis tool for computing an overapproximation of the global memory touched by a Move program. Maintained by the Move core team.”