Synpress

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

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.