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