Cited by 10Blockchain Technology Applications and SecuritySoftware Engineering ResearchSoftware Testing and Debugging Techniques

The DOI matches its Crossref record; 3 of the 3 references it cites were found in a registry or an index.

Automated Smart Contract Vulnerability Detection using Fine-tuned Large Language Models

Open access
Yang, Zhiju, Man, Gaoyuan, Yue, Songqing·2023·Proceedings of the 2023 6th International Conference on Blockchain Technology and Applications

Abstract

As decentralized finance (DeFi) built on blockchain grows rapidly, the security of smart contracts underpinning DeFi has become a major concern due to exploits leading to billions in damages. Although tools exist for automated vulnerability detection in smart contracts, studies show that most vulnerabilities remain undetected. In this work, we propose using fine-tuned large language models (LLMs) for enhanced automated detection of vulnerabilities in smart contracts. We collected over 26,727 labeled smart contract vulnerabilities and fine-tuned the 13B parameter Llama-2 model. Evaluation of 1,000 unseen functions shows promising precision of 31-36% in predicting vulnerability categories. The fine-tuned LLM demonstrates potential as an auxiliary tool to identify vulnerable code and assist auditors. Future work is outlined for improving performance via larger models, higher-quality data, and specialized binary detection models. We present promising preliminary results on integrating LLMs into smart contract analysis and motivate further research at the intersection of LLMs and blockchain security.

Overview

Integrity signals

Registry

Crossref · 10.1145/3651655.3651658

Cites

3 of 3 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

Show all 3 references

Research works printed but not linked: 32

  1. 10.1109/SP46215.2023.10179435 · DOI
  2. 10.1007/978-3-662-64322-8_1 · DOI
  3. 10.1145/3324884.3416553 · DOI
  4. 10.1109/SP40000.2020.00040 · DOI
  5. Zhang Zhuo Brian Zhang Wen Xu and Zhiqiang Lin. "Demystifying Exploitable Bugs in Smart Contracts." ICSE 2023. · DOI
  6. 10.1109/WETSEB.2019.00008 · DOI
  7. 10.1145/3385412.3385990 · DOI
  8. Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018. Vandal: A scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981 (2018). · arXiv
  9. Bhargava, Shruti Bhosale, Llama 2: Open foundation and fine-tuned chat models. arXiv preprint arXiv:2307.09288, 2023. · arXiv
  10. Ali M Son DH Kang SH Nam SR. An accurate CT saturation classification using a deep learning approach based on unsupervised feature extraction and supervised fine-tuning strategy. Energies. 2017 Nov 10;10(11):1830. · DOI
  11. 10.1145/3316481 · DOI
  12. 10.1016/j.future.2017.08.020 · DOI · Paper page
  13. 10.1109/TSE.2019.2942301 · DOI
  14. Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, and Martin Vechev. Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS ’18, page 67–82
  15. 10.1145/3194113.3194115 · DOI
  16. 10.1145/3324884.3415298 · DOI
  17. 10.1145/3183440.3183495 · DOI
  18. 10.1145/3238147.3238177 · DOI
  19. 10.1007/978-3-030-32409-4_18 · DOI
  20. J. Krupp and C. Rossow, “teEther: Gnawing at Ethereum to automatically exploit smart contracts,” in 27th USENIX Security Symposium (USENIX Security 18), pp. 1317–1333, 2018.
  21. 10.1145/2976749.2978309 · DOI
  22. S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “Zeus: analyzing safety of smart contracts.,” in Ndss, pp. 1–12, 2018.
  23. 10.1109/CSF.2018.00022 · DOI
  24. 10.1145/3236024.3264591 · DOI
  25. 10.1007/978-3-319-96145-3_4 · DOI
  26. Yang, Zhiju, Gaoyuan Man, and Songqing Yue. "Understanding Security Audits on Blockchain." Proceedings of the 2022 5th International Conference on Blockchain Technology and Applications. 2022.
  27. OpenAI. GPT-4 Technical Report. arXiv preprint arXiv:2303.08774 2023. · arXiv
  28. Dong, A survey of large language models. arXiv preprint arXiv:2303.18223, 2023. · arXiv
  29. audit? arXiv preprint arXiv:2306.12338 2023. · arXiv
  30. Chen M Tworek J Jun H Yuan Q Pinto HP Kaplan J Edwards H Burda Y Joseph N Brockman G Ray A. Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374. 2021 Jul 7. · arXiv
  31. Singhal K Azizi S Tu T Mahdavi SS Wei J Chung HW Scales N Tanwani A Cole-Lewis H Pfohl S Payne P. Large language models encode clinical knowledge. arXiv preprint arXiv:2212.13138. 2022 Dec 26. · arXiv
  32. Rozière B Gehring J Gloeckle F Sootla S Gat I Tan XE Adi Y Liu J Remez T Rapin J Kozhevnikov A. Code llama: Open foundation models for code. arXiv preprint arXiv:2308.12950. 2023 Aug 24. · arXiv

Metadata

Authors
Yang, Z., Man, G., & Yue, S.
Affiliations
  • Seattle University (US)
  • Arizona State University (US)
  • University of Wisconsin–Platteville (US)
Venue
Proceedings of the 2023 6th International Conference on Blockchain Technology and Applications
Publisher
ACM
Published
2023-12-15
Pages
19-23
OpenAlex
W4399117385
Cited by
10
References
3
Citations by year
2026: 5 · 2025: 5
FWCI
2.57
Type
conference paper
Language
en
Open access
Topics
  • Physical Sciences › Computer Science › Information Systems › Blockchain Technology Applications and Security
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Research
  • Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
Keywords
smart contract vulnerability detection, large language models, Llama 2, fine-tuning, decentralized finance, blockchain security, vulnerability classification, binary analysis

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review