SoftSec-KAIST / Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
MIT License
140 stars 21 forks source link

docs(readme): add install instructions #9

Closed sambacha closed 4 months ago

sambacha commented 4 months ago

update install instructions and provide platform instructions