Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2024.10a
  • /
  • Pages.283-285
  • /
  • 2024
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

A Survey of Smart Contract Bug Detection

스마트 계약 버그 탐지 연구 동향

  • Tae-Wook Kim (Industry-University Cooperation Foundation, Hanyang University) ;
  • Yeongpil Cho (Dept. of Computer and Software, Hanyang University)
  • 김태욱 (한양대학교 산학협력단 ) ;
  • 조영필 (한양대학교 컴퓨터소프트웨어학과 )
  • Published : 2024.10.31
Download PDF
⟨ Previous Next ⟩

Abstract

스마트 계약은 다양한 형태의 계약을 체결하고 이행할 수 있게 해주는 오늘날 가장 인기있는 기술 중 하나이다. 그러나 적절히 구현되지 않은 스마트 계약은 공격 대상이 될 수 있으므로 버그 탐지 기법의 개발과 적용이 중요하다. 본 논문에서는 스마트 계약에서 발생하는 주요 버그 유형과, 이를 탐지하기 위한 최신 연구 동향을 조사한다. 이를 통해 스마트 계약의 안전한 구현과 블록체인 네트워크의 지속 가능한 발전에 기여하고자 한다.

Keywords

Acknowledgement

이 논문은 2024년도 정부(과학기술정보통신부)의 재원으로 정부통신기획평가원의 지원을 받아 수행된 연구 결과 임 (No. RS-2024-00337414, SW공급망 운영환경에서 역공학 한계를 넘어서는 자동화된 마이크로 보안 패치 기술 개발)

References

  1. P. Zhang, F. Xiao, and X. Luo, "A framework and dataset for bugs in Ethereum smart contracts," in Proc. 36th IEEE Int. Conf. Softw. Maintenance Evolution (ICSME), 2020, pp. 139-150.
  2. Luu, L., Chu, D.H., Olickel, H., Saxena, P., & Hobor, A. (2016). Making Smart Contracts Smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (pp. 254-269). Association for Computing Machinery.
  3. Mossberg, M., Manzano, F., Hennenfent, E., Groce, A., Grieco, G., Feist, J., Brunson, T., & Dinaburg, A. (2019). Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 1186-1189).
  4. Jiang, B., Liu, Y., & Chan, W. (2018). ContractFuzzer: fuzzing smart contracts for vulnerability detection. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (pp. 259-269). Association for Computing Machinery.
  5. Choi, J., Kim, D., Kim, S., Grieco, G., Groce, A., & Cha, S. (2021). SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 227-239).
  6. Zhang, P., Yu, Q., Xiao, Y., Dong, H., Luo, X., Wang, X., & Zhang, M. (2023). BiAn: Smart Contract Source Code Obfuscation. IEEE Transactions on Software Engineering, 49(9), 4456-4476.