본문으로 건너뛰기
보안 및 테스트

Simbolik - Solidity Debugger

디버깅 및 검사

웹사이트 방문 (새 탭에서 열림)X의 Simbolik - Solidity Debugger (새 탭에서 열림)GitHub의 Simbolik - Solidity Debugger (새 탭에서 열림)

다음 보기

hardhat-gas-reporter

Simbolik - Solidity Debugger 소개

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

태그

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

리포지토리runtimeverification

정보

유형
디버깅 및 검사
GitHub 스타
48
라이선스
BSD-3-Clause
리스팅 검토일
2026년 6월

유사한 도구

Semgrep (smart-contracts rules)

Semgrep (smart-contracts rules)

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.

CROPS 네이티브

heimdall-rs

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.

CROPS 네이티브

sol2uml

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.