Ana içeriğe geç

Güvenlik, test ve resmi doğrulama

Akıllı sözleşme güvenliğini ve doğruluğunu artırmak için denetim, test etme, fuzzing ve doğrulama araçları.

Öne Çıkanlar

Titanoboa is a Vyper interpreter and testing framework that provides a modern, integrated development experience for Vyper smart contracts. It enables developers to test and debug Vyper contracts directly within Python, offering features like pretty tracebacks, forking, debugging capabilities, pytest integration and out-of-the box fuzzing. Beyond its standalone capabilities, Titanoboa serves as the foundation for other popular testing frameworks like Ape and Moccasin, and is a core piece of infrastructure for the Vyper ecosystem.

Titanoboa
Güvenlik, test ve resmi doğrulama

Titanoboa

Vyper · Hata ayıklama araçları

solidity-coverage provides smart-contract code coverage for the Hardhat developer platform. It's highly accurate, supports full viaIR solidity compilation and a large set of solidity-specific code branch patterns. It's installed on ~230k Github projects and is downloaded ~100k times a week from NPM.

solidity-coverage
Güvenlik, test ve resmi doğrulama

solidity-coverage

Hardhat · Analitik · Kod kapsamı · Solidity · Test otomasyonu

Synpress is an end-to-end testing framework for web applications based on Cypress.io and Playwright, with support for MetaMask. It is a pioneering tool in web3 end-to-end testing with the potential to evolve into a decentralized network of test runners and continuous integration providers in the future. Synpress is easy to use, fully tested, and includes features such as MetaMask support, headless mode, integrated video recording, and many more. It is also blazingly-fast and extensible, with the ability to add custom commands and plugins. Synpress is already used by many open-source repositories.

Synpress
Güvenlik, test ve resmi doğrulama

Synpress

Ön uç · Sürekli entegrasyon · Performans optimizasyonu · Hata ayıklama araçları

Uygulamalar

Gösteriliyor (19)

ERCx: Token Test Library

ERCx: Token Test Library

Foundry · Güvenlik · ERC-721 · Çalışma zamanı doğrulaması

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

Güvenlik · Eğitim · Analitik · Resmi doğrulama · Sembolik yürütme · Hata ayıklama araçları · Çalışma zamanı doğrulaması · Vyper

Crytic-Properties

Crytic-Properties

Güvenlik · ERC-721 · Fuzz testi · Solidity

Medusa

Medusa

Güvenlik · Yönetim · Analitik · Fuzz testi

Slither

Slither

Güvenlik · Statik analiz · Solidity · Vyper · Sürekli entegrasyon

Verifereum

Verifereum

Güvenlik · Eğitim · Resmi doğrulama

Titanoboa

Titanoboa

Vyper · Hata ayıklama araçları

solidity-coverage

solidity-coverage

Hardhat · Analitik · Kod kapsamı · Solidity · Test otomasyonu

blocksmith.js

blocksmith.js

CLI · Foundry · Zincirler arası · Sözleşme dağıtımı

Chimera

Chimera

Foundry · Solidity · Kod kapsamı · Test otomasyonu · VSCode uzantısı

Synpress

Synpress

Ön uç · Sürekli entegrasyon · Performans optimizasyonu · Hata ayıklama araçları

Simbolik - Solidity Debugger

Simbolik - Solidity Debugger

Güvenlik · Eğitim · Sembolik yürütme · VSCode uzantısı · Çalışma zamanı doğrulaması · Resmi doğrulama

bulloak

bulloak

CLI · Solidity · Kod kalitesi · Kod analizi · Test otomasyonu · Solidity geliştirme · Kod kapsamı

Ackee

Ackee

Eğitim · Güvenlik · Solidity · Statik analiz · Sözleşme dağıtımı · Vekil sözleşmeler

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · Eğitim · Yönetim · Resmi doğrulama · Solidity · Çalışma zamanı doğrulaması · Sözleşme dağıtımı · Statik analiz

Act

Act

Eğitim · Analitik · Resmi doğrulama · Sembolik yürütme

Wallet Test Framework

Test etme · Cüzdan · Kullanıcı deneyimi · Geliştirici deneyimi · Güvenlik

hax

Resmi doğrulama

Trail of Bits Skills Marketplace

Güvenlik · Test etme · page-developers-tools-tag-agent-skills

Diğer uygulama kategorileri

Zincirler arası ve birlikte çalışabilirlik

Ethereum ana ağı, toplamalar ve diğer blokzincirler arasında mesajlaşmayı, varlık transferlerini ve paylaşılan durumu sağlayan araçlar.

İşlem ve cüzdan altyapısı

Ethereum işlemleri ve cüzdanları oluşturmak, imzalamak, göndermek, simüle etmek ve yönetmek için altyapı.

Veri, analiz ve izleme

Zincir üstündeki veriler, yürütme ve ağ etkinliği için dizin oluşturma, sorgulama, analiz ve izleme araçları.

Eğitim ve topluluk kaynakları

Ethereum yapımcıları için öğrenim materyalleri, dokümanlar, öğreticiler ve topluluk platformları.

İstemci kütüphaneleri ve SDK'lar (ön uç)

Ethereum düğümleri, sözleşmeleri ve protokolleri ile etkileşim için dile özgü kütüphaneler ve SDK'lar.

Akıllı sözleşme geliştirme ve araç zincirleri

Akıllı sözleşmeleri yazmak, test etmek, dağıtmak ve yükseltmek için çerçeveler ve araçlar.