Slither, 스마트 계약 정적 분석기

Empire Hacking Slack에 참여하세요

- 토론 및 지원

Slither는 Python3로 작성된 Solidity 및 Vyper 정적 분석 프레임워크입니다. 취약점 탐지기 모음을 실행하고, 계약 세부 정보에 대한 시각적 정보를 출력하며, 사용자 정의 분석을 쉽게 작성할 수 있는 API를 제공합니다. Slither는 개발자가 취약점을 찾고, 코드 이해도를 높이며, 사용자 정의 분석을 신속하게 프로토타입화할 수 있도록 합니다.

• 특징
• 사용법
• 설치 방법
  • uv 사용 (권장)
  • Pip 사용
  • Git 사용
  • Docker 사용
  • 통합
• 탐지기
• 프린터
  • 빠른 검토 프린터
  • 심층 검토 프린터
• 도구
• API 문서
• 도움말
• FAQ
• 라이선스
• 발행물
  • Trail of Bits 발행물
  • 외부 발행물

특징

• 낮은 오탐지율로 취약한 Solidity 코드를 탐지합니다 (트로피 목록 보기 trophies)
• 소스 코드에서 오류 조건이 발생하는 위치를 식별합니다
• 지속적 통합 및 Hardhat/Foundry 빌드에 쉽게 통합됩니다
• 내장된 '프린터'가 중요 계약 정보를 신속하게 보고합니다
• Python으로 사용자 정의 분석을 작성하기 위한 탐지기 API
• Solidity >= 0.4로 작성된 계약 분석 기능
• 중간 표현 (SlithIR)을 통해 간단하고 높은 정밀도의 분석 가능
• 모든 공개 Solidity 코드의 99.9%를 정확하게 파싱
• 계약당 평균 실행 시간 1초 미만
• CI에서 Github의 코드 스캔과 통합
• Vyper 스마트 계약 지원

사용법

Hardhat/Foundry/Dapp/Brownie 애플리케이션에서 Slither 실행:```console slither .

이 방법은 프로젝트에 의존성이 있을 때 권장됩니다. Slither는 기본 컴파일 프레임워크에 의존하여 소스 코드를 컴파일하기 때문입니다.

하지만 의존성을 임포트하지 않는 단일 파일에서 Slither를 실행할 수도 있습니다:```console
slither tests/uninitialized.sol

설치 방법

참고 Slither는 Python 3.10+가 필요합니다. 지원되는 컴파일 프레임워크 중 하나를 사용하지 않을 경우, solc, 즉 Solidity 컴파일러가 필요합니다. solc 버전 간 편리하게 전환하려면 solc-select 사용을 권장합니다.

uv 사용 (권장)

uv는 pip보다 10~100배 빠른 Python 패키지 관리자입니다.```console

Install uv if you haven't already

curl -LsSf https://astral.sh/uv/install.sh | sh

Install slither as a tool

uv tool install slither-analyzer

Or run slither without installation

uvx --from slither-analyzer slither

업그레이드하려면:```console
uv tool upgrade slither-analyzer

Pip 사용하기```console

python3 -m pip install slither-analyzer

업그레이드하려면:```console
python3 -m pip install --upgrade slither-analyzer

Brew 사용하기```console

brew install slither-analyzer

### Git 사용하기 (개발)```bash
git clone https://github.com/crytic/slither.git && cd slither

# Install as editable for development
uv tool install -e .

# Or use uv run for testing without installation
uv run slither <target>

The -e 플래그는 편집 가능 모드로 설치하여, 소스 코드 변경 사항이 재설치 없이 즉시 반영됩니다.

Docker 사용

eth-security-toolbox 도커 이미지를 사용하세요. 이 이미지에는 모든 보안 도구와 모든 주요 Solidity 버전이 단일 이미지에 포함되어 있습니다. 컨테이너에서 /home/share가 /share에 마운트됩니다.```bash docker pull trailofbits/eth-security-toolbox

컨테이너에서 디렉터리를 공유하려면:```bash
docker run -it -v /home/share:/share trailofbits/eth-security-toolbox

통합

• GitHub 액션 통합을 위해서는 slither-action을 사용하세요.
• pre-commit 통합을 위해서는 ($GIT_TAG를 실제 태그로 바꾸세요) 사용하세요. ```YAML
  • repo: https://github.com/crytic/slither rev: $GIT_TAG hooks:
    • id: slither
  root@kitploit:~

• To generate a Markdown report, use slither [target] --checklist.
• To generate a Markdown with GitHub source code highlighting, use slither [target] --checklist --markdown-root https://github.com/ORG/REPO/blob/COMMIT/ (replace ORG, REPO, COMMIT)

탐지기

자세한 내용은 다음을 참조하세요.

• 각 탐지기에 대한 자세한 내용은 탐지기 문서를 참조하세요.
• 선택한 탐지만 실행하려면 탐지 선택을 참조하세요. 기본적으로 모든 탐지기가 실행됩니다.
• 개별 결과를 필터링하려면 분류 모드를 참조하세요.

출력기

빠른 검토 출력기

• human-summary: 계약의 사람이 읽을 수 있는 요약 출력
• inheritance-graph: 각 계약의 상속 그래프를 dot 파일로 내보내기
• contract-summary: 계약 요약 출력
• loc: 소스 파일(SRC), 종속성(DEP), 테스트 파일(TEST)에서 찾은 총 코드 줄 수(LOC), 소스 코드 줄 수(SLOC), 주석 코드 줄 수(CLOC) 계산
• entry-points: 계약의 모든 상태 변경 진입점 함수와 해당 변수 출력

심층 검토 출력기* call-graph: 컨트랙트의 호출 그래프를 dot 파일로 내보내기

• cfg: 각 함수의 CFG 내보내기
• function-summary: 함수 요약 출력
• vars-and-auth: 쓰여진 상태 변수와 함수의 권한 출력
• not-pausable: whenNotPaused 수정자를 사용하지 않는 함수 출력.

프린터를 실행하려면 --print와 함께 쉼표로 구분된 프린터 목록을 사용하세요.

전체 목록은 프린터 문서를 참조하세요.

도구

• slither-check-upgradeability: delegatecall 기반 업그레이드 가능성 검토
• slither-prop: 자동 단위 테스트 및 속성 생성
• slither-flat: 코드베이스 평탄화
• slither-check-erc: ERC 적합성 검사
• slither-read-storage: 컨트랙트에서 스토리지 값 읽기
• slither-interface: 컨트랙트에 대한 인터페이스 생성

추가 도구는 도구 문서를 참조하세요.

문의하기를 통해 사용자 정의 도구 구축에 대한 도움을 받을 수 있습니다.

API 문서

Slither 내부에 대한 문서는 여기에서 확인할 수 있습니다.

도움말

Slither 사용 또는 확장에 대한 도움을 받으려면 Slack 채널 (#ethereum)에 방문하세요.

• 프린터 문서는 Slither가 각 컨트랙트에 대해 시각화할 수 있는 정보를 설명합니다.
• 탐지기 문서는 새로운 취약점 분석을 작성하는 방법을 설명합니다.
• API 문서는 사용자 정의 분석에 사용 가능한 메서드와 객체를 설명합니다.
• SlithIR 문서는 SlithIR 중간 표현을 설명합니다.

자주 묻는 질문 (FAQ)

모의 객체(mocks)나 테스트를 제외하려면 어떻게 하나요?

• 경로 필터링에 대한 문서를 참조하세요.

"unknown file" 또는 컴파일 문제를 해결하려면 어떻게 하나요?

• slither는 solc AST가 필요하므로 모든 의존성을 사용할 수 있어야 합니다. 컨트랙트에 의존성이 있는 경우 slither contract.sol은 실패합니다. 대신 contracts/의 상위 디렉토리에서 slither .를 사용하세요(ls를 실행하면 contracts/가 보여야 합니다). node_modules/ 폴더가 있다면 contracts/와 같은 디렉토리에 있어야 합니다. 이 문제가 slither와 관련된 것인지 확인하려면 사용 중인 프레임워크의 컴파일 명령어(예: npx hardhat compile)를 실행하세요. 해당 명령어가 성공적으로 작동해야 합니다. 그렇지 않으면 slither의 컴파일 엔진인 crytic-compile이 AST를 생성할 수 없습니다.

라이선스

Slither는 AGPLv3 라이선스에 따라 라이선스가 부여되고 배포됩니다. 라이선스 예외가 필요하시면 문의해 주세요.

출판물

Trail of Bits 출판물

• Slither: A Static Analysis Framework For Smart Contracts, Josselin Feist, Gustavo Grieco, Alex Groce - WETSEB '19

외부 출판물

학술 연구에 Slither를 사용하는 경우 Crytic $10,000 연구상 신청을 고려해 보세요.