The online verification platform of QUIVERIF

http://101.43.0.73:3456/

Usage Instructions:

• Submit the smart contract file to be verified (or use an example file)

• Select the security properties for verification

• Click "Run Detection" to start the verification

The dataset of QUIVERIF

This repository provides two datasets, namely the vulnerability dataset and the real-world dataset, aimed at evaluating the accuracy and effectiveness of QUIVERIF.

References

• FASVERIF: Automated Inference on Financial Security of Ethereum Smart Contracts

• ContractFuzzer: fuzzing smart contracts for vulnerability detection

• VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

• Exploiting the laws of order in smart contracts

• Empirical review of automated analysis tools on 47,587 Ethereum smart contracts

• IR-fuzz

• ConFuzzius