W
E
A
S
E
L
Solidity static analyzer written in Rust
(beta coming soon)