Analyzing the Impact of Elusive Faults on Blockchain Reliability – Supplemental Material

Supplemental Material for the paper - Analyzing the Impact of Elusive Faults on Blockchain Reliability

# Repository Structure

- `smartcontract-faultinjector`: All injector artifacts

- `contracts`: It contains the originals and the mutant contracts executed by this experiment

- `executiondata`: It contains the results obtained by executing all contracts on the blockchain

- `toolsanalysis`: It contains the reports of the vulnerability detection tools'

# Injector Structure

- `.. solidity-ast`: It contains a) fault injection modules for Solidity contracts, b) workload generator, and c) execution scripts

- `.. examples`: It refers to the input source folder. Thus, the free-faulty contracts must be included there

- `.. eda`: It contains scripts to unify the generated data

# How to reproduce the experiment (Step by Step)

1) Copy the free-faulty contracts in the examples folder

2) Run solidity-ast\generate-solidity-specific.sh

This process will inject the fault model into the free-faulty contracts, and as a result, the mutant contracts are created. In addition, the workload files will generated

3) Run solidity-ast\test\run.sh

This process starts the blockchain environment and starts the execution of all contracts (i.e., mutants and free-faulty)

4) Run eda\Merge.py

This process creates the CSV files. Import these files into an SGDB database.

5) On SGDB, run the eda/UC.sql for data analysis

# Tools Supported Version

Mythril: 0.4, 0.5, 0.6 and 0.7

Slither: 0.4, 0.5 and 0.6.

Securify 0.4, 0.5 and 0.6