Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

보안 · 교육 · 심볼릭 실행 · VSCode 확장 프로그램 · 런타임 검증 · 정형 검증

웹사이트 소셜 runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Abi Ninja

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

Walnut

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

evmc

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

solizard

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