MultiTagging Demo

In this demo, the MultiTagging framework is tested using 6 smart contract analysis tools: MAIAN, Mythril, Semgrep, Slither, Solhint, and VeriSmart.

Demo Files

• The MultiTagging framework demo is available here: MultiTagging.ipynb
• For the Demo's output: check the Results directory.

Benchmarks

• We have benefited from work published by Monika di Angelo and Gernot Salzer: Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts
• For more details, see the Benchmarks Github Repository

Publications

For more details, read our publication: MultiTagging: A Vulnerable Smart Contract Labeling and Evaluation Framework, published in the Electronics Journal. Please cite our article if you use any part of our work.

@article{alsunaidi2024multitagging,
  title={MultiTagging: A Vulnerable Smart Contract Labeling and Evaluation Framework},
  author={Alsunaidi, Shikah J and Aljamaan, Hamoud and Hammoudeh, Mohammad},
  journal={Electronics},
  volume={13},
  number={23},
  pages={4616},
  year={2024},
  publisher={MDPI}
}