CodeTracer

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.

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.

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.

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.

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

viem-tracer tăng cường một client Viem để các lệnh gọi ethestimateGas và ethsendTransaction bị lỗi tự động bao gồm đầu ra theo dõi dễ đọc đối với con người được giải mã bằng sourcify.dev, và nó thêm các trình trợ giúp có kiểu dữ liệu xung quanh debug_traceCall để các nhà phát triển có thể kiểm tra việc thực thi mà không cần rời khỏi ngăn xếp RPC hiện tại của họ.