Ruka kwenda kwenye maudhui makuu

Usalama, majaribio na uthibitishaji rasmi

Zana za ukaguzi, majaribio, fuzzing, na uthibitishaji ili kuboresha usalama na usahihi wa mkataba-erevu.

Vivutio

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
Usalama, majaribio na uthibitishaji rasmi

Titanoboa

Vyper · Zana za utatuzi

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
Usalama, majaribio na uthibitishaji rasmi

solidity-coverage

Hardhat · Uchanganuzi · Ufikiaji wa msimbo · Solidity · Uendeshaji otomatiki wa majaribio

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
Usalama, majaribio na uthibitishaji rasmi

Synpress

Mwisho wa mbele · Ujumuishaji endelevu · Uboreshaji wa utendaji · Zana za utatuzi

Matumizi

Inaonyesha (19)

ERCx: Token Test Library

ERCx: Token Test Library

Foundry · Usalama · ERC-721 · Uthibitishaji wa Runtime

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

Usalama · Elimu · Uchanganuzi · Uthibitishaji rasmi · Utekelezaji wa kiishara · Zana za utatuzi · Uthibitishaji wa Runtime · Vyper

Crytic-Properties

Crytic-Properties

Usalama · ERC-721 · Majaribio ya Fuzz · Solidity

Medusa

Medusa

Usalama · Utawala · Uchanganuzi · Majaribio ya Fuzz

Slither

Slither

Usalama · Uchambuzi tuli · Solidity · Vyper · Ujumuishaji endelevu

Verifereum

Verifereum

Usalama · Elimu · Uthibitishaji rasmi

Titanoboa

Titanoboa

Vyper · Zana za utatuzi

solidity-coverage

solidity-coverage

Hardhat · Uchanganuzi · Ufikiaji wa msimbo · Solidity · Uendeshaji otomatiki wa majaribio

blocksmith.js

blocksmith.js

CLI · Foundry · Mnyororo-tofauti · Upelekaji wa mkataba

Chimera

Chimera

Foundry · Solidity · Ufikiaji wa msimbo · Uendeshaji otomatiki wa majaribio · Kiendelezi cha VSCode

Synpress

Synpress

Mwisho wa mbele · Ujumuishaji endelevu · Uboreshaji wa utendaji · Zana za utatuzi

Simbolik - Solidity Debugger

Simbolik - Solidity Debugger

Usalama · Elimu · Utekelezaji wa kiishara · Kiendelezi cha VSCode · Uthibitishaji wa Runtime · Uthibitishaji rasmi

bulloak

bulloak

CLI · Solidity · Ubora wa msimbo · Uchambuzi wa msimbo · Uendeshaji otomatiki wa majaribio · Uendelezaji wa Solidity · Ufikiaji wa msimbo

Ackee

Ackee

Elimu · Usalama · Solidity · Uchambuzi tuli · Upelekaji wa mkataba · Mikataba ya proksi

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · Elimu · Utawala · Uthibitishaji rasmi · Solidity · Uthibitishaji wa Runtime · Upelekaji wa mkataba · Uchambuzi tuli

Act

Act

Elimu · Uchanganuzi · Uthibitishaji rasmi · Utekelezaji wa kiishara

Wallet Test Framework

Majaribio · Pochi · Uzoefu wa mtumiaji · Uzoefu wa msanidi programu · Usalama

hax

Uthibitishaji rasmi

Trail of Bits Skills Marketplace

Usalama · Majaribio · page-developers-tools-tag-agent-skills

Kategoria zingine za programu

Mnyororo-tofauti na utangamano

Zana zinazowezesha kutuma ujumbe, uhamisho wa mali, na hali iliyoshirikiwa kwenye mtandao mkuu wa Ethereum, unda-mpya, na minyororo mingine ya bloku.

Miundombinu ya muamala na mkoba

Miundombinu ya kujenga, kusaini, kutuma, kuiga, na kudhibiti miamala ya Ethereum na mikoba.

Data, uchanganuzi na ufuatiliaji

Zana za kuorodhesha, kuuliza, uchanganuzi, na ufuatiliaji wa data ya onchain, utekelezaji, na shughuli za mtandao.

Elimu na rasilimali za jumuiya

Nyenzo za kujifunza, nyaraka, mafunzo, na majukwaa ya jumuiya kwa wajenzi wa Ethereum.

Maktaba za wateja na SDKs (mwisho wa mbele)

Maktaba na SDKs maalum za lugha kwa ajili ya kuingiliana na nodi za Ethereum, mikataba, na itifaki.

Uendelezaji wa mkataba-erevu na mnyororo wa zana

Mifumo na zana za kuandika, kujaribu, kupeleka, na kuboresha mikataba-erevu.