https://github.com/assert-kth/repaircomp

Comparison of APR tools for smart contracts in Solidity https://arxiv.org/pdf/2501.04600

https://github.com/assert-kth/repaircomp

Science Score: 36.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
    Found .zenodo.json file
  • DOI references
  • Academic publication links
    Links to: arxiv.org
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (5.1%) to scientific vocabulary
Last synced: 9 months ago · JSON representation

Repository

Comparison of APR tools for smart contracts in Solidity https://arxiv.org/pdf/2501.04600

Basic Info
  • Host: GitHub
  • Owner: ASSERT-KTH
  • License: mit
  • Language: Solidity
  • Default Branch: main
  • Homepage:
  • Size: 58.3 MB
Statistics
  • Stars: 0
  • Watchers: 9
  • Forks: 2
  • Open Issues: 0
  • Releases: 0
Created about 2 years ago · Last pushed 11 months ago
Metadata Files
Readme License

README.md

RepairComp

Overview

A comprehensive comparison of Automated Program Repair (APR) tools for Solidity smart contracts.

This repository accompanies our research paper Do Automated Fixes Truly Mitigate Smart Contract Exploits?, arXiv:2501.04600

bibtex @techreport{2501.04600, title = {Do Automated Fixes Truly Mitigate Smart Contract Exploits?}, year = {2025}, author = {Sofia Bobadilla and Monica Jin and Martin Monperrus}, url = {http://arxiv.org/pdf/2501.04600}, number = {2501.04600}, institution = {arXiv}, }

The sister repository is sb-heists, our exploit benchmark and patch evaluator for smartbugs-curated.

Evaluated APR Tools

Note: These repos are our own forks, some of them have been modified from their original source code to add missing dependencies and fix minor errors.

Discarded tools, see https://github.com/ASSERT-KTH/RepairComp/blob/main/results/technical-report-reproducibility.md:

Dataset

Smartbugs-curated - Curated vulnerability dataset

Owner

  • Name: ASSERT
  • Login: ASSERT-KTH
  • Kind: organization
  • Location: Sweden

assertEquals("Research group at KTH Royal Institute of Technology, Stockholm, Sweden", description);

GitHub Events

Total
  • Create event: 5
  • Issues event: 3
  • Delete event: 1
  • Member event: 1
  • Issue comment event: 5
  • Push event: 23
  • Public event: 1
  • Pull request review event: 1
  • Pull request review comment event: 4
  • Pull request event: 11
  • Fork event: 2
Last Year
  • Create event: 5
  • Issues event: 3
  • Delete event: 1
  • Member event: 1
  • Issue comment event: 5
  • Push event: 23
  • Public event: 1
  • Pull request review event: 1
  • Pull request review comment event: 4
  • Pull request event: 11
  • Fork event: 2

Dependencies

.github/workflows/deploy.yml actions
  • actions/checkout v4 composite
  • actions/deploy-pages v4 composite
  • actions/setup-python v5 composite
  • actions/upload-pages-artifact v3 composite
  • astral-sh/setup-uv v4 composite
requirements.txt pypi
  • marimo *
  • pandas *
  • plotly *
  • polars *
  • pyarrow *
  • requests *