Description

This is the artifact for the ISSTA'20 paper "How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection". Two main things are covered in the artifact

1. How to use the introduced tool, SolidiFI, for injecting bugs and evaluating smart contract static analysis tools
2. How to reproduce the evaluation experiments presented in the paper.

Assets

Provenance

A living code of SolidiFI is available at the Github repository: https://github.com/DependableSystemsLab/SolidiFI

The dataset and the results of the paper are available at the Github repository: https://github.com/DependableSystemsLab/SolidiFI-benchmark

License