스마트 계약을 위한 정적 애플리케이션 보안 테스팅(SAST) 도구: 어디까지 왔나?

Core Concepts

기존 SAST 도구들은 스마트 계약의 약 50%의 취약점을 탐지하지 못하고 있으며, 정밀도도 10%를 넘지 못하고 있다.

Abstract

이 연구는 스마트 계약 취약점에 대한 최신 및 세부적인 분류 체계를 제안하고, 이를 기반으로 가장 포괄적인 벤치마크 데이터셋을 구축했다. 이를 통해 8개의 대표적인 SAST 도구들의 성능을 다각도로 평가했다.
주요 결과는 다음과 같다:

CSA와 Securify2가 가장 높은 취약점 유형 커버리지를 보였다. Slither는 접근 제어와 메모리 관련 취약점 탐지에 강점을 보였다.
기존 SAST 도구들은 벤치마크의 약 50%의 취약점을 탐지하지 못했으며, 정밀도도 10%를 넘지 못했다.
다수의 도구를 조합하면 탐지율을 높일 수 있지만, 동시에 오탐률도 크게 증가한다.
기호 실행 기반 도구들이 정적 분석 기반 도구들보다 분석 시간이 더 오래 걸리며, Securify2가 메모리 사용량이 가장 높다.

이 연구 결과는 SAST 도구 개발, 개선, 평가 및 선택에 대한 유용한 통찰력을 제공한다.

Stats

기존 SAST 도구들은 벤치마크의 약 50%의 취약점을 탐지하지 못했다.
기존 SAST 도구들의 정밀도는 10%를 넘지 못했다.
다수의 도구를 조합하면 탐지율을 29.3%까지 높일 수 있지만, 동시에 오탐률도 36.77%p 증가한다.
접근 제어와 재진입 취약점은 다른 유형에 비해 도구들이 탐지하기 쉬운 편이다.

Quotes

"기존 SAST 도구들은 벤치마크의 약 50%의 취약점을 탐지하지 못했다."
"기존 SAST 도구들의 정밀도는 10%를 넘지 못했다."
"다수의 도구를 조합하면 탐지율을 29.3%까지 높일 수 있지만, 동시에 오탐률도 36.77%p 증가한다."

Key Insights Distilled From

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?

by Kaixuan Li,Y... at arxiv.org 04-30-2024

https://arxiv.org/pdf/2404.18186.pdf

Deeper Inquiries

스마트 계약 취약점 탐지를 위한 새로운 SAST 기술은 어떤 방향으로 발전해야 할까?

새로운 SAST 기술은 더 넓은 취약점 범주를 포함하고 더 정확한 탐지 기능을 갖춰야 합니다. 이를 위해 기존의 취약점 분류 체계를 업데이트하고 더 세부적이고 최신의 취약점 유형을 포함하는 새로운 탐지 체계를 구축해야 합니다. 또한 스마트 계약 보안에 대한 이해를 높이고 새로운 보안 취약점에 대한 지속적인 연구와 개발을 통해 SAST 도구의 성능을 향상시켜야 합니다. 더 나아가 인공지능 및 기계학습과 같은 혁신적인 기술을 도입하여 보다 정확하고 효율적인 취약점 탐지를 실현할 필요가 있습니다.

기존 SAST 도구들의 성능 저하 원인은 무엇일까, 그리고 이를 개선하기 위한 방안은 무엇일까?

기존 SAST 도구들의 성능 저하 원인은 주로 취약점 유형의 미비한 지원, 거짓 양성률의 증가, 그리고 특정 취약점 유형에 대한 부족한 탐지 능력 등이 있습니다. 이를 개선하기 위해서는 먼저 새로운 취약점 유형에 대한 지원을 강화하고 거짓 양성률을 줄이기 위한 정교한 알고리즘 및 기술을 도입해야 합니다. 또한 효율적인 탐지를 위해 다양한 취약점 유형에 대한 광범위한 테스트와 검증을 실시하여 도구의 성능을 향상시킬 필요가 있습니다. 더불어 지속적인 연구 및 개발을 통해 새로운 기술과 방법론을 도입하여 SAST 도구의 성능을 지속적으로 향상시켜야 합니다.

스마트 계약 보안 향상을 위해 SAST 도구 외에 어떤 다른 기술들이 활용될 수 있을까?

스마트 계약 보안을 향상시키기 위해 SAST 도구 외에도 다양한 기술들이 활용될 수 있습니다. 예를 들어, 동적 분석 기술인 DAST (Dynamic Application Security Testing)를 활용하여 스마트 계약의 실행 중에 보안 취약점을 탐지할 수 있습니다. 또한 펜테스팅 및 취약점 스캐닝과 같은 보안 검사 서비스를 활용하여 스마트 계약의 보안을 강화할 수 있습니다. 더불어 블록체인 네트워크의 모니터링 및 보안 감사를 위한 SIEM (Security Information and Event Management) 도구를 활용하여 스마트 계약의 활동을 실시간으로 모니터링하고 보안 이벤트를 탐지할 수 있습니다. 이러한 다양한 기술들을 종합적으로 활용하여 스마트 계약의 보안을 향상시키는 ganz한 전략을 수립할 필요가 있습니다.