Medusa

Chimera — это фреймворк для написания тестов Solidity в Foundry с возможностью их повторного использования с другими инструментами с открытым исходным кодом, такими как Echidna, Medusa, Halmos и Kontrol.

Слизер — это механизм статического анализа на Python от Trail of Bits для Solidity и Vyper: запускайте его в CI для срабатывания детекторов, вывода структурных представлений контрактов или написания скриптов для пользовательских проверок по целым кодовым базам.

Synpress объединяет Playwright с автоматизацией браузера, адаптированной для Эфириума, чтобы вы могли проводить сквозное тестирование децентрализованных приложений (dapp), включая всплывающие окна кошельков и переключения сетей, в CI.

Aderyn — это статический анализатор смарт-контрактов на Solidity с открытым исходным кодом на базе Rust от Cyfrin, разработанный для того, чтобы помочь инженерам протоколов и исследователям безопасности находить уязвимости в базах кода на Solidity.

Titanoboa — это интерактивный интерпретатор Vyper и тестовая среда для быстрых циклов обратной связи при экспериментах с контрактами вне полного цикла Foundry.

solidity-coverage обеспечивает покрытие кода смарт-контрактов для платформы разработчиков Hardhat. Он обладает высокой точностью, поддерживает полную компиляцию Solidity viaIR и большой набор специфичных для Solidity шаблонов ветвления кода. Он установлен примерно в 230 тысячах проектов на GitHub и скачивается около 100 тысяч раз в неделю из NPM.