Skip to content

README.md

Latest commit

 

History

History
66 lines (46 loc) · 1.68 KB

README.md

File metadata and controls

66 lines (46 loc) · 1.68 KB

Traverse

Test Suite Release

Static analysis tools for Solidity smart contracts. Generate call graphs, create tests, analyze storage patterns.

Smart Invoice Analysis 17 contracts, 580 functions analyzed in ~500ms

Quick Start

brew tap calltrace/tap && brew install traverse
sol2cg contracts/*.sol -o graph.dot
dot -Tsvg graph.dot -o graph.svg

Tools

  • sol2cg - Generate call graphs (DOT/Mermaid)
  • sol2test - Create Foundry test stubs
  • sol-storage-analyzer - Map storage reads/writes
  • storage-trace - Compare function storage access
  • sol2bnd - Generate interface bindings

IDE Integration

Integrate Traverse into your development workflow:

  • VS Code - Full extension with UI
  • Neovim - Zero-config plugin
  • Emacs/Helix/Sublime - LSP support

Documentation

Full documentation, installation guides, and examples at traverse.tools

Installation

Homebrew

brew tap calltrace/tap && brew install traverse

Docker

docker pull ghcr.io/calltrace/traverse:all

Binaries

Download from releases

Build from Source

git clone --recursive https://github.com/calltrace/traverse.git
cd traverse
cargo build --release

Examples

See Smart Invoice analysis for real-world usage.

License

MIT