wake 다운로드 - wake 소스 코드 다운로드

wake

기타 카테고리

v4.13.2

다운로드

Wake, 내장 취약성 탐지기를 갖춘 파이썬 기반 견고성 개발 및 테스트 프레임 워크

웨이크 커버

특징:

Pytest를 기반으로 한 테스트 프레임 워크
부동산 기반 퍼지
배포 및 메인 넷 상호 작용
취약성 및 코드 품질 감지기
견고성 코드에서 유용한 정보를 추출하기위한 프린터
맞춤형 탐지기 및 프린터 구현을위한 정적 분석 프레임 워크
Wake and Running 탐지기 설정을위한 GitHub 작업
언어 서버 (LSP)
대 코드 확장 (견고성 도구)
SOLC 버전 관리자

의존성

파이썬 (버전 3.8 이상)
Rosetta는 Apple Silicon Mac에서 활성화되어야합니다

켈 Python 3.12는 실험적으로 지원됩니다.

설치

pip 를 통해

pip3 install eth-wake

문서 및 기여

깨우기 문서는 여기에서 찾을 수 있습니다.

거기에서 기여에 관한 섹션을 찾을 수도 있습니다.

취약점을 발견했습니다

취약성	심각성	프로젝트	방법	발견 됨	자원
이익 및 손실은 두 번 회계되었습니다	비판적인	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
콘솔 영구 서비스 거부	높은	수송아지	퍼즈 테스트	Ackee Blockchain	보고서
풀림 풀라 오류를 바꾸십시오	높은	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
교체 풀기 수수료는 두 번 회계되었습니다	높은	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
잘못된 이벤트 데이터	높은	솔라디	통합 테스트	Ackee Blockchain	보고, 깨우기 테스트
`INTEREST_FROM_STRATEGY_BELOW_ZERO` dos를 되돌립니다	중간	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
부정확 한 가상의 관심 공식	중간	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
풀림 수수료 정규화 오류를 바꾸십시오	중간	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
청산 예금은 LP 잔액으로 설명되었습니다	중간	IPOR	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트
누락 된 수신 기능	중간	axelar	퍼즈 테스트	Ackee Blockchain	깨우기 테스트
`SafeERC20` `approve` 에 사용되지 않습니다	중간	리도	퍼즈 테스트	Ackee Blockchain	깨우기 테스트
비 최적 인 심사 및 비공개 키 잘못된 회계	중간	리도	퍼즈 테스트	Ackee Blockchain	보고, 깨우기 테스트

특징

테스트 프레임 워크

자세한 내용은 예제와 문서를 참조하십시오.

쓰기 테스트는 다음과 같이 간단합니다.

 from wake . testing import *
from pytypes . contracts . Counter import Counter

@ chain . connect ()
def test_counter ():
    counter = Counter . deploy ()
    assert counter . count () == 0

    counter . increment ()
    assert counter . count () == 1

퍼저

Fuzzer는 테스트 프레임 워크 위에 구축되며 Solidity 스마트 계약의 효율적인 퍼즈 테스트를 허용합니다.

 from wake . testing import *
from wake . testing . fuzzing import *
from pytypes . contracts . Counter import Counter

class CounterTest ( FuzzTest ):
    def pre_sequence ( self ) -> None :
        self . counter = Counter . deploy ()
        self . count = 0

    @ flow ()
    def increment ( self ) -> None :
        self . counter . increment ()
        self . count += 1

    @ flow ()
    def decrement ( self ) -> None :
        with may_revert ( PanicCodeEnum . UNDERFLOW_OVERFLOW ) as e :
            self . counter . decrement ()

        if e . value is not None :
            assert self . count == 0
        else :
            self . count -= 1

    @ invariant ( period = 10 )
    def count ( self ) -> None :
        assert self . counter . count () == self . count

@ chain . connect ()
def test_counter ():
    CounterTest (). run ( sequences_count = 30 , flows_count = 100 )