భద్రత, టెస్టింగ్ & ఫార్మల్ వెరిఫికేషన్

ముఖ్యాంశాలు

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

Vyper · డీబగ్గింగ్ ఉపకరణాలు

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

Hardhat · విశ్లేషణలు · కోడ్ కవరేజ్ · Solidity · టెస్ట్ ఆటోమేషన్

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

ఫ్రంటెండ్ · నిరంతర సమగ్రత · పనితీరు ఆప్టిమైజేషన్ · డీబగ్గింగ్ ఉపకరణాలు

చూపిస్తోంది (19)

ERCx: Token Test Library

Foundry · భద్రత · ERC-721 · రన్‌టైమ్ వెరిఫికేషన్

K Semantics of the Ethereum Virtual Machine (EVM)

భద్రత · విద్య · విశ్లేషణలు · ఫార్మల్ వెరిఫికేషన్ · సింబాలిక్ ఎగ్జిక్యూషన్ · డీబగ్గింగ్ ఉపకరణాలు · రన్‌టైమ్ వెరిఫికేషన్ · Vyper

Crytic-Properties

భద్రత · ERC-721 · ఫజ్ టెస్టింగ్ · Solidity

Medusa

భద్రత · గవర్నెన్స్ · విశ్లేషణలు · ఫజ్ టెస్టింగ్

Slither

భద్రత · స్టాటిక్ అనాలిసిస్ · Solidity · Vyper · నిరంతర సమగ్రత

Verifereum

భద్రత · విద్య · ఫార్మల్ వెరిఫికేషన్

Titanoboa

Vyper · డీబగ్గింగ్ ఉపకరణాలు

solidity-coverage

Hardhat · విశ్లేషణలు · కోడ్ కవరేజ్ · Solidity · టెస్ట్ ఆటోమేషన్

blocksmith.js

CLI · Foundry · క్రాస్-చైన్ · కాంట్రాక్ట్ డిప్లాయ్‌మెంట్

Chimera

Foundry · Solidity · కోడ్ కవరేజ్ · టెస్ట్ ఆటోమేషన్ · VSCode ఎక్స్‌టెన్షన్

Synpress

ఫ్రంటెండ్ · నిరంతర సమగ్రత · పనితీరు ఆప్టిమైజేషన్ · డీబగ్గింగ్ ఉపకరణాలు

Simbolik - Solidity Debugger

భద్రత · విద్య · సింబాలిక్ ఎగ్జిక్యూషన్ · VSCode ఎక్స్‌టెన్షన్ · రన్‌టైమ్ వెరిఫికేషన్ · ఫార్మల్ వెరిఫికేషన్

bulloak

CLI · Solidity · కోడ్ నాణ్యత · కోడ్ విశ్లేషణ · టెస్ట్ ఆటోమేషన్ · Solidity డెవలప్‌మెంట్ · కోడ్ కవరేజ్

Ackee

విద్య · భద్రత · Solidity · స్టాటిక్ అనాలిసిస్ · కాంట్రాక్ట్ డిప్లాయ్‌మెంట్ · ప్రాక్సీ కాంట్రాక్టులు

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · విద్య · గవర్నెన్స్ · ఫార్మల్ వెరిఫికేషన్ · Solidity · రన్‌టైమ్ వెరిఫికేషన్ · కాంట్రాక్ట్ డిప్లాయ్‌మెంట్ · స్టాటిక్ అనాలిసిస్

Act

విద్య · విశ్లేషణలు · ఫార్మల్ వెరిఫికేషన్ · సింబాలిక్ ఎగ్జిక్యూషన్

Wallet Test Framework

టెస్టింగ్ · వాలెట్ · యూజర్ అనుభవం · డెవలపర్ అనుభవం · భద్రత

hax

ఫార్మల్ వెరిఫికేషన్

Trail of Bits Skills Marketplace

భద్రత · టెస్టింగ్ · page-developers-tools-tag-agent-skills

ఇతర అప్లికేషన్ వర్గాలు

క్రాస్-చైన్ & అంతర్-కార్యసాధకత

ఇతీరియము మెయిన్‌నెట్, రోలప్‌లు మరియు ఇతర బ్లాక్‌చైన్‌లలో సందేశం, ఆస్తి బదిలీలు మరియు షేర్డ్ స్టేట్‌ను ప్రారంభించే ఉపకరణాలు.

లావాదేవీ & వాలెట్ మౌలిక సదుపాయాలు

ఇతీరియము లావాదేవీలు మరియు వాలెట్‌లను నిర్మించడం, సంతకం చేయడం, పంపడం, అనుకరించడం మరియు నిర్వహించడం కోసం మౌలిక సదుపాయాలు.

డేటా, అనలిటిక్స్ & ట్రేసింగ్

ఆన్‌చైన్ డేటా, ఎగ్జిక్యూషన్ మరియు నెట్‌వర్క్ కార్యకలాపాల కోసం ఇండెక్సింగ్, క్వెరీయింగ్, అనలిటిక్స్ మరియు ట్రేసింగ్ ఉపకరణాలు.

విద్యా & కమ్యూనిటీ వనరులు

ఇతీరియము బిల్డర్ల కోసం అభ్యాస సామగ్రి, డాక్యుమెంటేషన్, ట్యుటోరియల్స్ మరియు కమ్యూనిటీ ప్లాట్‌ఫారమ్‌లు.

క్లయింట్ లైబ్రరీలు & SDKలు (ఫ్రంట్-ఎండ్)

ఇతీరియము నోడ్‌లు, కాంట్రాక్ట్‌లు మరియు ప్రోటోకాల్‌లతో పరస్పర చర్య చేయడం కోసం భాషా నిర్దిష్ట లైబ్రరీలు మరియు SDKలు.

స్మార్ట్ కాంట్రాక్ట్ డెవలప్‌మెంట్ & టూల్‌చైన్‌లు

స్మార్ట్ కాంట్రాక్టులను రాయడం, పరీక్షించడం, డిప్లాయ్ చేయడం మరియు అప్‌గ్రేడ్ చేయడం కోసం ఫ్రేమ్‌వర్క్‌లు మరియు ఉపకరణాలు.

భద్రత, టెస్టింగ్ & ఫార్మల్ వెరిఫికేషన్

ముఖ్యాంశాలు

అప్లికేషన్లు

ఇతర అప్లికేషన్ వర్గాలు

క్రాస్-చైన్ & అంతర్-కార్యసాధకత

లావాదేవీ & వాలెట్ మౌలిక సదుపాయాలు

డేటా, అనలిటిక్స్ & ట్రేసింగ్

విద్యా & కమ్యూనిటీ వనరులు

క్లయింట్ లైబ్రరీలు & SDKలు (ఫ్రంట్-ఎండ్)

స్మార్ట్ కాంట్రాక్ట్ డెవలప్‌మెంట్ & టూల్‌చైన్‌లు