SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models-Reference-Cited by-同舟云学术

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

So Sunbeom¹,Oh Hakjoo¹

Affiliation:

1. Korea University, Seoul, South Korea

Funder

Institute of Information & communications Technology Planning & Evaluation (IITP) grant funded by the Korea government(MSIT)

the MSIT(Ministry of Science and ICT), Korea, under the ICT Creative Consilience program(IITP-2023-2020-0-01819) supervised by the IITP(Institute for Information & communications Technology Planning & Evaluation)

the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT)

Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3616341

Reference58 articles.

1. [n. d.]. 487 smart contracts that contain arithmetic vulnerabilities with assigned CVE IDs. https://github.com/kupl/VeriSmart-benchmarks/tree/master/benchmarks/cve Accessed : August 2023 [n. d.]. 487 smart contracts that contain arithmetic vulnerabilities with assigned CVE IDs. https://github.com/kupl/VeriSmart-benchmarks/tree/master/benchmarks/cve Accessed: August 2023

2. [n. d.]. A $50 Million Hack Just Showed That the DAO Was All Too Human. https://www.wired.com/2016/06/50-million-hack-just-showed-dao-human/ Accessed : August 2023 [n. d.]. A $50 Million Hack Just Showed That the DAO Was All Too Human. https://www.wired.com/2016/06/50-million-hack-just-showed-dao-human/ Accessed: August 2023

3. [n. d.]. Etherscan: The Ethereum Blockchain Explorer. https://etherscan.io/ Accessed : August 2023 [n. d.]. Etherscan: The Ethereum Blockchain Explorer. https://etherscan.io/ Accessed: August 2023

4. [n. d.]. Mythril: a security analysis tool for EVM bytecode. https://github.com/ConsenSys/mythril Accessed : August 2023 [n. d.]. Mythril: a security analysis tool for EVM bytecode. https://github.com/ConsenSys/mythril Accessed: August 2023

5. [n. d.]. pyml: OCaml bindings for Python. https://opam.ocaml.org/packages/pyml Accessed : August 2023 [n. d.]. pyml: OCaml bindings for Python. https://opam.ocaml.org/packages/pyml Accessed: August 2023