Proposal of smart contract collection and detection automation framework based on regular expression pattern matching

Abstract

스마트 컨트랙트는 운영 주체 없이 당사자 간 계약이 이루어지고, 솔리디티를 통해 거래를 코드 형태로 구현 가능하다. 그러나 한번 배포되면 수정 및 삭제가 어렵다는 특성이 있어 기존에 배포된 컨트랙트 내 취약성을 악용하는 공격들이 증가하고 있으며, 피해 규모 또한 상당하다. 본 논문은 정규식 패턴매칭 기반으로 솔리디티 레벨 취약점을 내포한 컨트랙트를 수집, 검출 및 분석하는 자동화된 취약점 분석 프레임워크를 제안한다. 수집단계에서는 최신 이더리움 네트워크에서 발생하는 토큰, 오픈 소스를 대상으로 패턴화한 정규식 매칭을 통해 잠재적인 취약성을 내포한 컨트랙트를 데이터베이스화하여 저장한다. 분석단계에서는 현존하는 스마트 컨트랙트 취약점 분석도구로 수집한 컨트랙트의 오탐 여부 및 분석 성능을 비교 분석한다. 제안한 프레임워크를 통해, 스마트 컨트랙트 생태계에서의 제로데이 취약점 동향 및 분석 도구의 효용성을 평가할 수 있을 것으로 기대한다.