We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 462f077 commit 1546e11Copy full SHA for 1546e11
2 files changed
README.md
@@ -3,6 +3,12 @@
3
[](https://github.com/calltrace/traverse/actions/workflows/test.yml)
4
[](https://github.com/calltrace/traverse/releases/latest)
5
6
+
7
+
8
+<p align="center">
9
+ <em>Automatic security analysis and visualization of Smart Invoice contract interactions</em>
10
+</p>
11
12
Analyze, visualize, and test Solidity smart contracts. Built with Rust and tree-sitter parsing.
13
14
> 📖 **For architectural details and design principles, see [DESIGN.md](DESIGN.md)**
media/hero-diagram.svg
0 commit comments