Chuyển đến nội dung chính
Bảo mật & kiểm thử

Simbolik - Solidity Debugger

Gỡ lỗi & kiểm tra

Truy cập trang web (mở trong tab mới)Simbolik - Solidity Debugger trên X (mở trong tab mới)Simbolik - Solidity Debugger trên GitHub (mở trong tab mới)

Xem tiếp

hardhat-gas-reporter

Giới thiệu về Simbolik - Solidity Debugger

Simbolik là một trình gỡ lỗi Solidity mạnh mẽ kết hợp gỡ lỗi điểm dừng truyền thống với thực thi tượng trưng, cho phép các nhà phát triển khám phá mọi đường dẫn thực thi có thể và phát hiện các lỗ hổng với độ chính xác cao. Có sẵn dưới dạng tiện ích mở rộng VSCode, Simbolik tích hợp liền mạch vào các quy trình làm việc hiện có, cung cấp khả năng gỡ lỗi kiểu điểm dừng, kiểm tra cấp độ Solidity và EVM, cùng với các khả năng xác minh hình thức.

Thẻ

  • Bảo mật
  • Giáo dục
  • Thực thi tượng trưng
  • Tiện ích mở rộng VSCode
  • Xác minh thời gian chạy
  • Xác minh hình thức

Các kho lưu trữruntimeverification

Thông tin

Loại
Gỡ lỗi & kiểm tra
Số sao trên GitHub
48
Giấy phép
BSD-3-Clause
Đã đánh giá mục niêm yết
tháng 6 năm 2026

Các công cụ tương tự

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 Native

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 Native

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.