슬리더
Solidity 코드를 분석하여 취약점을 찾아내는 정적 분석 프레임워크이다. 코드의 제어 흐름을 분석하여 재진입, 권한 관리 미흡 등 일반적인 보안 결함을 자동으로 탐지하여 개발자에게 경고를 제공한다.