Semgrep (smart-contracts rules)

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 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.

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.

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.

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

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.