/SmartState

Primary LanguageHTML

SmartState

The artifact of SmartState.

Usage

Build from source

  1. Requirements
pip install -r requirements.txt
  1. Run Run SmartState to detect vulnerabilities.
python vulnerability_detection.py

Build from docker

We also provide a docker image on docker hub.

Please pull it first.

docker pull inplus/smartstate:v1

You can run it with the following cmd:

docker run -it --name smartstate inplus/smartstate

cd smartstate/

python vulnerability_detection.py

And the result is in demo_profitgain.csv, containing contract address, vulnerability location (i.e. vulnerable function), tainted/manipulated state variables.

Dataset

The manual-labeled SRV dataset is in SmartState-dataset.