Bảo mật & kiểm thử

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.

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

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.

forge-stack-tracer chuyển đầu ra kiểm thử Foundry chi tiết qua bộ giải mã Swiss-Knife để các bài kiểm thử thất bại trả về dấu vết ngăn xếp tương tác thay vì mã hex khó hiểu.

Chimera là một framework để viết các bài kiểm tra Solidity trong foundry và có thể tái sử dụng chúng với các Công cụ Mã nguồn mở khác như Echidna, Medusa, Halmos và Kontrol

Slither là công cụ phân tích tĩnh bằng Python của Trail of Bits dành cho Solidity và Vyper: chạy nó trong CI để kích hoạt các trình phát hiện, in các chế độ xem cấu trúc của hợp đồng hoặc viết kịch bản cho các kiểm tra tùy chỉnh trên toàn bộ cơ sở mã.

Synpress kết hợp Playwright với tự động hóa trình duyệt nhận biết Ethereum để bạn có thể kiểm thử end-to-end các dapp, bao gồm các cửa sổ bật lên của ví và chuyển đổi Chuỗi, trong CI.

Aderyn là trình phân tích tĩnh hợp đồng thông minh Solidity mã nguồn mở, dựa trên Rust của Cyfrin, được thiết kế để giúp các kỹ sư giao thức và nhà nghiên cứu bảo mật tìm ra các lỗ hổng trong các cơ sở mã Solidity.

Titanoboa là một trình thông dịch Vyper tương tác và bộ khung kiểm thử cho các vòng lặp phản hồi nhanh khi bạn đang thử nghiệm với các hợp đồng bên ngoài một vòng lặp Foundry đầy đủ.

Medusa là một fuzzer hợp đồng thông minh có trạng thái (stateful) lấy cảm hứng từ Echidna. Nó cung cấp thử nghiệm fuzz song song cho các hợp đồng thông minh và xác minh các bất biến hợp đồng thông minh nâng cao.

solidity-coverage cung cấp độ bao phủ mã hợp đồng thông minh cho nền tảng nhà phát triển Hardhat. Nó có độ chính xác cao, hỗ trợ biên dịch solidity viaIR đầy đủ và một tập hợp lớn các mẫu nhánh mã dành riêng cho solidity. Nó được cài đặt trên ~230 nghìn dự án Github và được tải xuống ~100 nghìn lần một tuần từ NPM.

hevm là một công cụ thực thi EVM tượng trưng và cụ thể, nhanh chóng, hiện đại, mã nguồn mở có thể tìm các vấn đề trong hợp đồng thông minh. Thông qua hệ thống phân tích và thực thi tượng trưng, hevm có thể thực thi hợp đồng một cách tượng trưng, bán cụ thể hoặc cụ thể để tìm lỗi, hoặc so sánh hai hợp đồng khác nhau để tìm sự khác biệt, thực hiện kiểm tra tính tương đương.

Crytic-Properties là một bộ các bài kiểm tra bảo mật có thể tái sử dụng cho một số tiêu chuẩn token được sử dụng rộng rãi nhất như ERC-20, ERC-721, ERC-4626 và nhiều tiêu chuẩn khác.

Wallet Test Framework là một bộ công cụ tự động chạy qua các luồng ví cốt lõi - chuyển khoản, đọc số dư, các tương tác dapp cơ bản - để các nhóm có thể kiểm thử hồi quy các kỳ vọng UX chung trong CI.

Một trình tạo bài kiểm tra smart contract dựa trên Kỹ thuật Cây phân nhánh (Branching Tree Technique).

ERCx là một thư viện kiểm thử mã nguồn mở toàn diện cho các tiêu chuẩn token ERC, với hơn 500 bài kiểm tra riêng lẻ trên các triển khai ERC-20, ERC-721, ERC-1155 và ERC-4626.

Trình kiểm toán bảo mật hợp đồng thông minh Solidity/EVM với 104 mẫu lỗ hổng và 8 công cụ phân tích. Đạt 100% trên các điểm chuẩn CTF và EVMBench (120/120). Phân tích tĩnh để phát hiện các lỗ hổng trong hợp đồng thông minh.

foundry-storage-check là một GitHub Action cho các dự án Foundry chạy trên mỗi pull request để đảm bảo bố cục lưu trữ proxy có thể nâng cấp luôn an toàn trước xung đột và các khe lưu trữ mới được thêm vào được khởi tạo bằng 0 trên chuỗi trước khi các bản hợp nhất được phát hành.

blocksmith.js là một bộ khung JavaScript mỏng xung quanh forge và anvil để viết kịch bản cho các bài kiểm tra Foundry đa chuỗi hoặc đa phiên bản khi một EVM cục bộ duy nhất là không đủ.

KEVM là ngữ nghĩa thực thi K-framework của EVM: hãy trỏ nó vào mã byte khi bạn cần thực thi được kiểm tra sự tuân thủ, khám phá tượng trưng, lập luận về gas hoặc các bằng chứng theo dõi chặt chẽ các quy tắc của Ethereum.

Kontrol nâng tầm các bài kiểm thử thuộc tính của Foundry thành các bằng chứng được hỗ trợ bởi KEVM để bạn có thể theo đuổi các đảm bảo hình thức với ít công việc viết đặc tả thủ công hơn so với chỉ dùng KEVM thô.

hax là một công cụ để dịch với độ đảm bảo cao một tập hợp con lớn của Rust sang các ngôn ngữ hình thức như F* hoặc Rocq.

Act là ngôn ngữ đặc tả khai báo và chuỗi công cụ của Ethereum để mô tả tất cả các hành vi của một chương trình EVM để các bộ giải SMT, trình chứng minh định lý hoặc các công cụ phân tích kinh tế có thể lập luận về tính đúng đắn ở cấp độ mã byte và khả năng tương thích khuyến khích, bao gồm các bằng chứng tinh chỉnh tự động đối với các triển khai cụ thể.

Verifereum kết nối các hợp đồng thông minh Ethereum với việc chứng minh định lý được hỗ trợ bởi HOL4 để bạn có thể nhắm đến các tuyên bố về tính đúng đắn rất mạnh mẽ khi các phương pháp SMT tự động là không đủ.