보안 및 테스트

CodeTracer는 광범위한 web3 프로그래밍 언어를 지원하도록 설계된 사용자 친화적인 시간 여행 디버거입니다.

Simbolik은 기존의 중단점 디버깅과 기호 실행을 결합한 강력한 Solidity 디버거로, 개발자가 가능한 모든 실행 경로를 탐색하고 취약점을 정밀하게 찾아낼 수 있도록 합니다. VSCode 확장 프로그램으로 제공되는 Simbolik은 기존 워크플로에 원활하게 통합되어 중단점 스타일 디버깅, Solidity 및 EVM 수준 검사, 정형 검증 기능을 제공합니다.

EVM을 위한 웹 기반 트랜잭션 디버거 및 시뮬레이터입니다. 오픈 소스이며 자체 호스팅이 가능합니다. 모든 단계에서 변수 상태를 검사하고, 배포하기 전에 트랜잭션을 시뮬레이션하며, 가스 사용량을 프로파일링합니다. 모든 RPC 공급자를 지원합니다.

Abi Ninja는 알려진 ABI, 붙여넣은 ABI 또는 디컴파일된 바이트코드를 사용하여 컨트랙트를 호출하기 위한 브라우저 UI로, 로컬에서 실행 중인 Hardhat 또는 Anvil 노드를 포함한 여러 네트워크에서 프록시를 인식하는 읽기 기능을 제공합니다.

IDE에 컨트랙트 코드를 즉시 로드하는 간단한 CLI 도구입니다.

스마트 컨트랙트와 상호 작용하기 위한 매우 쉬운 대화형 셸

viem-tracer는 실패한 ethestimateGas 및 ethsendTransaction 호출이 sourcify.dev로 디코딩된 사람이 읽을 수 있는 추적 출력을 자동으로 포함하도록 Viem 클라이언트를 보강하며, 개발자가 기존 RPC 스택을 떠나지 않고도 실행을 검사할 수 있도록 debug_traceCall 주변에 타입이 지정된 도우미를 추가합니다.

EDB는 온체인 또는 테스트에서 컨트랙트 동작에 대한 IDE 수준의 가시성이 필요할 때 스테핑, 로컬, 조사식 및 중단점을 제공하는 Solidity 실행을 위한 소스 수준 디버거입니다.

forge-stack-tracer는 장황한 Foundry 테스트 출력을 Swiss-Knife 디코딩을 통해 파이프하므로 실패한 테스트는 불투명한 16진수 대신 대화형 스택 추적을 반환합니다.

Chimera는 Foundry에서 Solidity 테스트를 작성하고 Echidna, Medusa, Halmos, Kontrol과 같은 다른 오픈 소스 도구와 재사용할 수 있는 프레임워크입니다.

슬리더(Slither)는 Solidity 및 Vyper를 위한 Trail of Bits의 Python 정적 분석 엔진입니다. CI에서 실행하여 탐지기를 실행하거나, 컨트랙트의 구조적 뷰를 인쇄하거나, 전체 코드베이스에 대한 사용자 지정 검사를 스크립팅할 수 있습니다.

Synpress는 Playwright에 이더리움을 인식하는 브라우저 자동화를 계층화하여 CI에서 지갑 팝업 및 체인 전환을 포함한 탈중앙화 애플리케이션 (dapp)을 엔드투엔드로 테스트할 수 있도록 합니다.

Aderyn은 프로토콜 엔지니어와 보안 연구원이 Solidity 코드베이스에서 취약점을 찾을 수 있도록 설계된 Cyfrin의 오픈 소스 Rust 기반 Solidity 스마트 컨트랙트 정적 분석기입니다.

Titanoboa는 전체 Foundry 루프 외부에서 컨트랙트를 실험할 때 빠른 피드백 루프를 위한 대화형 Vyper 인터프리터 및 테스트 하네스입니다.

Medusa는 Echidna에서 영감을 받은 상태 저장(stateful) 스마트 컨트랙트 퍼저(fuzzer)입니다. 스마트 컨트랙트의 병렬 퍼즈 테스트와 고급 스마트 컨트랙트 불변성(invariants) 검증을 제공합니다.

solidity-coverage는 Hardhat 개발자 플랫폼을 위한 스마트 컨트랙트 코드 커버리지를 제공합니다. 정확도가 매우 높으며 전체 viaIR Solidity 컴파일과 대규모 Solidity 전용 코드 분기 패턴 세트를 지원합니다. 약 23만 개의 GitHub 프로젝트에 설치되어 있으며 NPM에서 일주일에 약 10만 번 다운로드됩니다.

hevm은 스마트 컨트랙트의 문제를 찾을 수 있는 오픈 소스 기반의 최첨단 고속 기호 및 구체적 EVM 실행 엔진입니다. 기호 실행 및 분석 시스템을 통해 hevm은 컨트랙트를 기호적, 반구체적 또는 구체적으로 실행하여 버그를 찾거나, 두 개의 다른 컨트랙트를 비교하여 불일치를 찾고 동등성 검사를 수행할 수 있습니다.

Crytic-Properties는 ERC-20, ERC-721, ERC-4626 등과 같이 가장 널리 사용되는 일부 토큰 표준을 위한 재사용 가능한 보안 테스트 제품군입니다.

Wallet Test Framework는 전송, 잔액 읽기, 기본 탈중앙화 애플리케이션 (dapp) 상호 작용과 같은 핵심 지갑 흐름을 안내하는 자동화된 제품군이므로 팀은 CI에서 공유된 UX 기대치를 회귀 테스트할 수 있습니다.

분기 트리 기법(Branching Tree Technique)을 기반으로 하는 스마트 컨트랙트 테스트 생성기입니다.

ERCx는 ERC-20, ERC-721, ERC-1155 및 ERC-4626 구현 전반에 걸쳐 500개 이상의 개별 테스트를 특징으로 하는 ERC 토큰 표준을 위한 포괄적인 오픈 소스 테스트 라이브러리입니다.

104개의 취약점 패턴과 8개의 분석 도구를 갖춘 Solidity/EVM 스마트 컨트랙트 보안 감사 도구입니다. CTF 및 EVMBench 벤치마크에서 100%(120/120)를 달성했습니다. 스마트 컨트랙트의 취약점을 탐지하기 위한 정적 분석을 제공합니다.

foundry-storage-check는 모든 풀 리퀘스트에서 실행되어 업그레이드 가능한 프록시 스토리지 레이아웃이 충돌로부터 안전하게 유지되고 새로 추가된 스토리지 슬롯이 병합이 배포되기 전에 온체인에서 0으로 초기화되도록 하는 Foundry 프로젝트용 GitHub Action입니다.

blocksmith.js는 단일 로컬 EVM으로 충분하지 않을 때 다중 체인 또는 다중 인스턴스 Foundry 테스트를 스크립팅하기 위해 forge 및 anvil을 둘러싼 가벼운 JavaScript 하네스입니다.

KEVM은 EVM의 K-프레임워크 실행 가능 의미론(executable semantics)입니다. 적합성 검사 실행, 기호 탐색, 가스 추론 또는 이더리움의 규칙을 면밀히 추적하는 증명이 필요할 때 바이트코드에 적용하세요.

Kontrol은 Foundry 속성 테스트를 KEVM 기반 증명으로 끌어올려, 순수 KEVM만 사용할 때보다 수작업 사양 작성 작업을 줄이면서 정형 검증 보장을 추구할 수 있게 해줍니다.

hax는 Rust의 큰 하위 집합을 F* 또는 Rocq와 같은 공식 언어로 높은 보증(high assurance)을 가지고 번역하기 위한 도구입니다.

Act는 EVM 프로그램의 모든 동작을 설명하기 위한 이더리움의 선언적 사양 언어 및 툴체인으로, SMT 솔버, 정리 증명기 또는 경제 분석 도구가 구체적인 구현에 대한 자동 정제 증명을 포함하여 바이트코드 수준의 정확성과 인센티브 호환성을 추론할 수 있도록 합니다.

Verifereum은 이더리움 스마트 컨트랙트를 HOL4 기반 정리 증명에 연결하여 자동화된 SMT 접근 방식이 충분하지 않을 때 매우 강력한 정확성 주장을 목표로 할 수 있도록 합니다.