Security & testing

hevm

Fuzz/Property testing

CLI · Foundry · Segurança · Execução simbólica

O hevm é um mecanismo de execução da EVM simbólico e concreto, rápido, de código aberto e de última geração, que pode encontrar problemas em contratos inteligentes. Por meio de seu sistema de execução e análise simbólica, o hevm pode executar contratos de forma simbólica, semiconcreta ou concreta para encontrar bugs, ou comparar dois contratos diferentes em busca de discrepâncias, realizando a verificação de equivalência.

Related resources

Chimera

O Chimera é um framework para escrever testes Solidity no Foundry e poder reutilizá-los com outras ferramentas de código aberto, como Echidna, Medusa, Halmos e Kontrol

Slither

O Slither é o mecanismo de análise estática em Python da Trail of Bits para Solidity e Vyper: execute-o em CI para acionar detectores, imprimir visualizações estruturais de contratos ou criar scripts de verificações personalizadas em bases de código inteiras.

Synpress

O Synpress sobrepõe o Playwright com automação de navegador ciente do Ethereum para que você possa testar aplicativos descentralizados (dapps) de ponta a ponta, incluindo pop-ups de carteira e trocas de cadeia, em CI.

Aderyn

O Aderyn é o analisador estático de contratos inteligentes em Solidity de código aberto e baseado em Rust da Cyfrin, projetado para ajudar engenheiros de protocolo e pesquisadores de segurança a encontrar vulnerabilidades em bases de código Solidity.

Medusa

O Medusa é um fuzzer de contratos inteligentes com estado (stateful) inspirado no Echidna. Ele fornece testes de fuzzing paralelizados de contratos inteligentes e a verificação de invariantes avançados de contratos inteligentes.

Titanoboa

O Titanoboa é um interpretador Vyper interativo e ambiente de teste para ciclos de feedback rápidos quando você está experimentando contratos fora de um ciclo completo do Foundry.