Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

Trang web Mạng xã hội runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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.

Related resources

CodeTracer

CodeTracer là một trình gỡ lỗi du hành thời gian (time-traveling debugger) thân thiện với người dùng, được thiết kế để hỗ trợ nhiều ngôn ngữ lập trình web3.

EDB: The Ethereum Project Debugger

EDB là một trình gỡ lỗi cấp độ mã nguồn cho việc thực thi Solidity với các tính năng từng bước, biến cục bộ, theo dõi và điểm dừng khi bạn cần khả năng hiển thị cấp độ IDE vào hành vi của hợp đồng trên chuỗi hoặc trong các bài kiểm tra.

Abi Ninja

Abi Ninja là một giao diện người dùng trình duyệt để gọi các hợp đồng với các ABI đã biết, các ABI được dán hoặc mã byte được dịch ngược, với các lần đọc nhận biết proxy trên nhiều mạng lưới bao gồm cả nút Hardhat hoặc Anvil đang chạy cục bộ của bạn.

Walnut

Trình gỡ lỗi và mô phỏng giao dịch dựa trên web cho EVM. Mã nguồn mở và có thể tự lưu trữ. Kiểm tra các trạng thái biến ở mỗi bước, mô phỏng các giao dịch trước khi triển khai và lập hồ sơ mức sử dụng Gas. Hỗ trợ bất kỳ nhà cung cấp RPC nào.

evmc

một công cụ cli đơn giản để tải mã hợp đồng lên IDE của bạn ngay lập tức.

solizard

Shell tương tác siêu dễ dàng để tương tác với các hợp đồng thông minh