The first automated smart contract gas-optimized vulnerability repair system. SCRepair can automatically generate patches fixing vulnerabilities while attempt to keep the test cases passing. More importantly, SCRepair attempts to generate patches with lower gas usage as long as possible!

Current implementation supports Slither and Oyente as vulnerability detector. Ethereum smart contract written in Solidity is supported.

To install SCRepair, use the following command, the dependencies will be automatically installed and configured:

python3 setup.py install

You might need to install the vulnerability detector of choice separately before our repair system can invoke. You may consult the corresponding installation instructions.

Use the following command

python3 CLI.py repair PATH_TO_CONTRACT

You also need to configure the detectors intended to be used via the --detector flag. Besides, you may use --targeted_vul to only target subset of detected vulnerabilities.

As output, the paths to the plausible patches will be printed to the standard out.

Paper "Smart Contract Repair" will appear in TOSEM (ACM Transactions on Software Engineering and Methodology). The full-text is available at https://arxiv.org/abs/1912.05823

If this system is helpful or related to your publication, please cite with the following latex bibtex entry:

@misc{yu2020SCRepair,
    title={Smart Contract Repair},
    author={Xiao Liang Yu and Omar Al-Bataineh and David Lo and Abhik Roychoudhury},
    year={2020},
    journal={ACM Transactions on Software Engineering and Methodology (TOSEM)},
    publisher={ACM New York, NY, USA}
}

Our experiments subjects are the followings:

The above subjects are either have no balance in the contract at the time we wrote this paper, self-destructed, or the detected vulnerabilities reported in our paper cannot be exploited for stealing the Ether stored in the contract. Please contact us immediately as soon as you find the above described status is no longer up-to-date.

You may access their source code at etherscan.

Abhik Roychoudhury, Principal Investigator

Developed by Xiao Liang Yu xiaoly@comp.nus.edu.sg