스마트 컨트랙트를 한번 배포하게 되면 수정이 불가능하다는 특징이 있다.

따라서 스마트 컨트랙트가 배포되기 전에 취약점을 탐지하는 것은 매우 중요하다.

Solidity 소스코드 에 대해 Taint Analysis를 진행하여 취약점을 야기하는 경로를 파악하고 실제로 호출되는 코드를를 포함하는 만 확보 하게 된다.

확보한 solidity 소스코드 한줄 한줄을 노드로 변경한 후, 노드들을 호출 순서대로 call-flow를 생성한다.

이러한 flow 데이터 들을 반복적으로 생성 및 수집한 후 데이터 마이닝 기법을 통해 패턴을 추출한다.

추출한 패턴을 기반으로 룰을 생성한 후 취약점 탐지에 활용한다.