위키득계정 ↗
기술

Wake 계약 개발 도구

Wake 계약 개발 도구기술
대상
Solidity 스마트 계약
테스트 기반
Python과 pytest
주요 기능
퍼징 정적 분석 개발 도구
현재 저장소
ack3-ai/wake
Wake는 Solidity 계약의 테스트와 퍼징, 정적 분석을 지원하는 Python 기반 도구 모음이다. pytest 기반 테스트와 개발 편의 기능을 함께 제공한다.

테스트와 퍼징 연결

Python으로 계약 테스트를 작성하고 자동 입력 생성과 수동으로 유도한 시나리오를 결합할 수 있다. 특정 동작이나 경계 조건에 집중하도록 테스트 흐름을 설계한다. 다양한 입력을 실행하는 것과 필요한 업무 규칙을 검사하는 것은 별개의 준비가 필요하다.

정적 분석과 편집 지원

취약점 및 코드 품질 탐지기, 계약 정보를 추출하는 printer, 사용자 정의 정적 분석 기반을 제공한다. 언어 서버와 편집기 확장, 컴파일러 버전 관리도 도구 체계에 포함된다. 각 기능의 실행 결과를 동일한 종류의 검증으로 취급하지 않는다.

저장소와 버전 구분

기존 Ackee-Blockchain 저장소는 개발 위치가 ack3-ai/wake로 이동했다고 안내한다. 안정판과 새 주요 버전의 사전 공개판도 구분되어 있다. 예전 설정이나 예제를 사용할 때는 설치 버전과 대응하는 문서를 맞추어 변경 사항을 확인한다.

관련 문서

Slither / Solhint / Echidna 계약 퍼저 / Medusa 계약 퍼저