2 releases

0.1.2 Jun 18, 2019
0.1.1 Jun 16, 2019

#46 in #static-analysis

GPL-3.0 license

72KB
1.5K SLoC

SSA

A collection of utilities to statically analyze solidity program

1. Installation

Add to Cargo.toml

ssa = "0.1.2"

2. Usage

We have an example in main.rs


lib.rs:

ssa

ssa is a collection of utillities to statically analyze solidity source codes

Dependencies

~20MB
~437K SLoC