eth-sri/securify2

O que faz

eth-sri/securify2 é um repositório público GitHub, principalmente em Solidity. O último registro informa 635 estrelas e 141 forks. Temas: datalog, ethereum, segurança, smart contract, solidity, static analysis. Leia documentação, licença e issues atuais antes de usar.

Securify v2.0

Repositórios GitHub

Estrelas

635

Estrelas ganhas · 7 dias

—

Forks

141

Linguagem principal

Solidity

Licença do repositório

Apache-2.0

Último envio de código

25 de mai. de 2025

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.