폴더 구조

데이터셋은 네 개의 폴더로 구성되어 있습니다:

• papers/: 우리의 예비 결과를 요약한 ICSE23 논문과 해당 논문의 보충 자료를 포함합니다.
• results/: bugs.csv의 버그 분류와 contests.csv의 각 콘테스트 설명을 포함합니다.
• contracts/: 콘테스트 당시 버전을 기준으로 검토한 모든 스마트 계약을 포함합니다.
• reports/: code4rena가 제공한 모든 보고서를 포함합니다.

버그 라벨

우리는 조사한 버그를 그 특성에 따라 세 가지 주요 범주로 분류합니다:

• 범위 밖의 버그 (__O__로 표시)
• 간단하고 일반적인 테스트 오라클로 탐지 가능한 버그 (__L__로 표시)
• 고수준 의미론적 오라클을 요구하는 버그 (__S__로 표시)

기능적 버그의 분류는 모호할 수 있으므로, 분류 기준을 개선하기 위한 제안을 환영합니다. 보다 자세한 라벨 정보는 문서에서 확인할 수 있으며, 현재 분류 지침을 참조하시기 바랍니다.

권장 보안 분석 도구

우리의 목표는 Web3 개발자와 보안 분석가에게 유용한 리소스가 될 포괄적인 취약점 탐지 기법 목록을 만드는 것입니다. 우리는 두 가지 주요 범주에 초점을 맞출 것입니다:

• 스마트 계약을 위한 의미론적 오라클 개발을 우선시하는 취약점 탐지 기법
• 감사에 사용할 수 있는 공개적으로 이용 가능한 보안 분석 도구

커뮤니티의 추가 제안이나 기여를 통해 목록을 확장하고 개선하는 데 도움을 주시길 진심으로 환영합니다.

자동 의미론적 오라클을 이용한 취약점 탐지

우리는 향후 web3 보안 노력이 기능적 버그 식별과 이에 대응하는 오라클 개발을 우선시할 것이라고 믿습니다. 이를 위해 자동 의미론적 오라클 생성에 지침을 제공하는 기법 목록을 정리하고자 합니다. 이러한 기법은 동료 검토 연구 논문, 사전 인쇄본, 산업 도구, 온라인 리소스 등 다양한 자료에서 수집될 것입니다.

공개적으로 이용 가능한 보안 분석 기법

이 섹션에는 공개적으로 이용 가능하고 현재 활발히 개발 중인 오픈소스 기법이 포함됩니다. 이러한 기법은 Web3 개발자와 보안 분석가가 직접 사용하거나 다른 도구의 구성 요소로 사용할 수 있습니다. 우리는 Web3 개발 및 감사 환경에 더 적합한 소스 코드 수준의 기법을 우선시합니다.

Web3 보안에 유용한 리소스

기여

우리는 다음을 포함하되 이에 국한되지 않는 모든 종류의 기여를 환영합니다:

• 스마트 계약 보안 분석을 위한 새로운 참조 기법 제안.
• 새로 공개된 code4rena 콘테스트 버그 추가.
• 분류 표준 개선 제안
• 잘못 라벨링된 버그 수정
• results/contests.csv에서 누락된 defillama 엔티티 채우기

자세한 내용은 기여 지침에서 확인할 수 있습니다.

인용

학술 출판물에 저희 데이터셋을 사용하신다면 다음 작업을 인용해 주시면 정말 감사하겠습니다:``` @inproceedings{DBLP:conf/icse/ZhangZXL23, author = {Zhuo Zhang and Brian Zhang and Wen Xu and Zhiqiang Lin}, title = {Demystifying Exploitable Bugs in Smart Contracts}, booktitle = {{ICSE}}, pages = {615--627}, publisher = {{IEEE}}, year = {2023} }