보안 및 테스트

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.

heimdall-rs is a Rust EVM toolkit that disassembles bytecode, decompiles contracts, generates control flow graphs, and decodes calldata and traces. Builders reach for it when they need to understand a contract that has no published source.

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.

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

The Tenderly CLI is the command line client for Tenderly, pushing contracts for verification and driving error tracking, monitoring, and alerting. Builders install it to run those steps from a terminal or a continuous integration job.

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

EVMConnector is a browser workspace for calling contract functions on any EVM chain, with saved contracts and shareable call links. Builders use it to drive a contract without writing a script.

A calldata decoder that also unwraps nested function calls. Builders open it when a flat decoder leaves the inner calls of a batched or forwarded transaction unreadable.

SmartContractGUI turns an uploaded ABI into an interface for reading from and writing to that contract on any EVM chain. Builders use it when they have an ABI but no frontend.

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Web3Client is a browser tool for creating, testing, and sharing contract ABIs and the calls made against them. Builders use it to work out a call and hand the result to someone else.

revm-inspectors is a Rust crate of EVM execution hooks and tracing built on revm, and it powers call tracing in Reth and Foundry. Rust builders import it to build their own tracers and debuggers.

pyevmasm is a Python disassembler and assembler for EVM bytecode from Trail of Bits. Analysis scripts import it to turn bytecode into instructions and back.

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

EVMole extracts function selectors, arguments, and control flow from raw EVM bytecode, including contracts with no verified source. Builders point it at an unknown contract to work out what its functions take.

스마트 컨트랙트 테스트 제품군에 대한 가스 사용량 분석을 제공하는 Hardhat 플러그인입니다. OP Stack 체인에 대한 전용 지원을 제공하며, 15만 개 이상의 Github 리포지토리에서 종속성으로 사용되고 주당 10만 회 이상 NPM에서 다운로드됩니다.

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

hardhat-tracer is a Hardhat plugin that prints internal calls, events, and storage operations for a transaction in the console. Hardhat users install it to see what actually happened inside a failing test transaction.

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

geas, the Good Ethereum Assembler, is an assembler for writing raw EVM bytecode by hand, maintained by a go-ethereum core developer. It is used for EIP test cases and other low-level contract work.

evm-storage turns a transaction hash into readable state diffs and can list a contract's full storage. Builders install the command line tool when they need to see exactly which storage slots a call changed.

Loop Decoder는 외부 종속성을 최소화하여 블록체인 데이터를 사람이 읽을 수 있는 형식으로 변환하는 TypeScript 라이브러리입니다.

scopelint is an opinionated formatter and linter for Foundry Solidity projects. Builders install it to hold a codebase to the ScopeLift conventions.

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

forky is a fork choice viewer for the Ethereum beacon chain. Consensus client developers self-host it or use the public instances to see and debug fork choice behavior on mainnet and testnets.

sol-profiler is a command line tool that lists a Solidity contract's methods with their visibility, mutability and modifiers. Reviewers run it to see the surface of a contract at a glance.

tracoor is an explorer for beacon states and execution traces. Client and protocol developers self-host it to inspect block and state traces on devnets and testnets.

Slippy is a Solidity linter for static analysis of smart contracts. Teams install the npm package to lint contracts as part of a build.

4byte.directory maps four-byte function selectors and 32-byte event-signature hashes to their human-readable signatures. Builders query it when decoding calldata or logs from contracts without a published ABI.

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

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

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

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

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

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

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

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

eth-tester is a pluggable in-memory Ethereum backend used by web3.py for fast unit tests. Python builders import it when tests should run against a simulated chain instead of a node.

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

Hive is an end-to-end integration test harness that runs Ethereum clients in Docker across simulator scenarios. Client teams use it to check that implementations agree with each other.

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

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

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

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

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

contender from Flashbots is a load-testing tool that floods EVM execution nodes over JSON-RPC and benchmarks the results. Teams benchmarking a client point it at an endpoint to generate load and measure throughput.

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

spamoor is a configurable Ethereum transaction generator for load-testing testnets and devnets with realistic traffic. Teams point it at a network to see how it behaves under sustained transaction volume.

Assertoor runs configurable checks and assertions against a live Ethereum devnet to validate its behavior. Client and devnet teams use it to confirm a running network is healthy, in the same family as Hive.

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

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

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.

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

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

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

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.