Pular para o conteúdo principal

Segurança, testes e verificação formal

Ferramentas de auditoria, teste, fuzzing e verificação para melhorar a segurança e a correção de contratos inteligentes.

Destaques

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
Segurança, testes e verificação formal

Titanoboa

Vyper · Ferramentas de depuração

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
Segurança, testes e verificação formal

solidity-coverage

Hardhat · Análise · Cobertura de código · Solidity · Automação de testes

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
Segurança, testes e verificação formal

Synpress

Front-end · Integração contínua · Otimização de desempenho · Ferramentas de depuração

Aplicações

Mostrando (19)

ERCx: Token Test Library

ERCx: Token Test Library

Foundry · Segurança · ERC-721 · Verificação em tempo de execução

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

Segurança · Educação · Análise · Verificação formal · Execução simbólica · Ferramentas de depuração · Verificação em tempo de execução · Vyper

Crytic-Properties

Crytic-Properties

Segurança · ERC-721 · Teste de fuzz · Solidity

Medusa

Medusa

Segurança · Governança · Análise · Teste de fuzz

Slither

Slither

Segurança · Análise estática · Solidity · Vyper · Integração contínua

Verifereum

Verifereum

Segurança · Educação · Verificação formal

Titanoboa

Titanoboa

Vyper · Ferramentas de depuração

solidity-coverage

solidity-coverage

Hardhat · Análise · Cobertura de código · Solidity · Automação de testes

blocksmith.js

blocksmith.js

CLI · Foundry · Cross-chain · Implantação de contrato

Chimera

Chimera

Foundry · Solidity · Cobertura de código · Automação de testes · Extensão do VSCode

Synpress

Synpress

Front-end · Integração contínua · Otimização de desempenho · Ferramentas de depuração

Simbolik - Solidity Debugger

Simbolik - Solidity Debugger

Segurança · Educação · Execução simbólica · Extensão do VSCode · Verificação em tempo de execução · Verificação formal

bulloak

bulloak

CLI · Solidity · Qualidade de código · Análise de código · Automação de testes · Desenvolvimento em Solidity · Cobertura de código

Ackee

Ackee

Educação · Segurança · Solidity · Análise estática · Implantação de contrato · Contratos de proxy

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · Educação · Governança · Verificação formal · Solidity · Verificação em tempo de execução · Implantação de contrato · Análise estática

Act

Act

Educação · Análise · Verificação formal · Execução simbólica

Wallet Test Framework

Testes · Carteira · Experiência do usuário · Experiência do desenvolvedor · Segurança

hax

Verificação formal

Trail of Bits Skills Marketplace

Segurança · Testes · page-developers-tools-tag-agent-skills

Outras categorias de aplicativos

Cross-chain e interoperabilidade

Ferramentas que permitem troca de mensagens, transferências de ativos e estado compartilhado entre a mainnet da Ethereum, rollups e outras blockchains.

Infraestrutura de transação e carteira

Infraestrutura para construir, assinar, enviar, simular e gerenciar transações e carteiras da Ethereum.

Dados, análise e rastreamento

Ferramentas de indexação, consulta, análise e rastreamento de dados on-chain, execução e atividade da rede.

Recursos de educação e da comunidade

Materiais de aprendizagem, documentação, tutoriais e plataformas comunitárias para construtores da Ethereum.

Bibliotecas de cliente e SDKs (front-end)

Bibliotecas e SDKs específicos de linguagens para interagir com nós, contratos e protocolos da Ethereum.

Desenvolvimento de contratos inteligentes e cadeias de ferramentas

Frameworks e ferramentas para escrever, testar, implantar e atualizar contratos inteligentes.