A collection of utilities to statically analyze solidity program
Add to Cargo.toml ssa = "0.1.2"
Cargo.toml
ssa = "0.1.2"
We have an example in main.rs