이것은 최신 릴리스를 echidna-2.2.1-Linux.zip으로 다운로드할 수 있는 Echidna라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
Echidna라는 이 앱을 OnWorks와 함께 무료로 다운로드하여 온라인에서 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
에키드나
기술
Echidna는 버그를 먹고 매우 전기에 민감한 이상한 생물입니다(Jacob Stanley에게 사과합니다). 더 심각하게 Echidna는 Ethereum 스마트 계약의 퍼징/속성 기반 테스트를 위해 설계된 Haskell 프로그램입니다. 계약 ABI를 기반으로 정교한 문법 기반 퍼징 캠페인을 사용하여 사용자 정의 술어 또는 Solidity 주장을 위조합니다. 우리는 Echidna를 모듈화를 염두에 두고 설계했기 때문에 새로운 돌연변이를 포함하거나 특정 사례에서 특정 계약을 테스트하도록 쉽게 확장할 수 있습니다. 더 깊은 버그를 찾기 위한 선택적인 말뭉치 수집, 돌연변이 및 적용 범위 지침. 퍼지 캠페인 전에 유용한 정보를 추출하기 위해 Slither에 의해 구동됩니다. 퍼징 캠페인 후에 어떤 라인이 커버되는지 식별하기 위한 소스 코드 통합. Curses 기반 레트로 UI, 텍스트 전용 또는 JSON 출력.
기능
- 실제 코드에 맞는 입력 생성
- Etheno 및 Truffle을 사용한 복잡한 계약 초기화 지원
- 퍼징 캠페인의 최대 가스 사용량 보고
- 개발 워크플로에 원활하게 통합
- 빠른 분류를 위한 자동 테스트 사례 최소화
- 저주 기반 레트로 UI, 텍스트 전용 또는 JSON 출력
프로그래밍 언어
하스켈, 솔리디티
카테고리
이것은 https://sourceforge.net/projects/echidna.mirror/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
