스마트 컨트랙트 취약점 탐지 도구 동향 분석

초록

최근 몇 년간 블록체인 기술에 대한 인기가 높아짐에 따라 관련 기술인 스마트 컨트랙트에 대한 관심도 부상하고 있다. 스마트 컨트랙트는 블록체인 네트워크상에서 중개자 없이 작성된 거래 내용과 실행 조건이 충족되면 자동으로 계약을 수행되는 프로그램으로 중개 수수료에 대한 부담 감소와 편리성으로 다양한 분야에서 사용될 수 있는 효율성이 기대받고 있다. 하지만, 인기에 비례하여 취약점에 노출되는 위험이 증가하였고, 실제로 취약점을 악용하여 금전적으로 손실을 입는 사례들이 발생하였다. 이러한 악용 사례들을 예방하기 위해서 취약점에 대한 연구와 소스코드의 취약점을 탐지하는 연구가 활발히 진행되고 있다. 본 논문은 스마트 컨트랙트를 개발하는 프로그래머가 코드를 작성할 때 고려해야 할 대표적인 취약점들에 대해 소개하고, 이를 해결하기 위해 연구된 다양한 탐지 도구에 대해 분석한다.

키워드