eth-sri/securify2

Para qué sirve

eth-sri/securify2 es un repositorio público GitHub, principalmente en Solidity. El último registro indica 635 estrellas y 141 forks. Temas: datalog, ethereum, seguridad, smart contract, solidity, static analysis. Lee documentación, licencia e incidencias actuales antes de usarlo.

Securify v2.0

Repositorios GitHub

Estrellas

635

Estrellas ganadas · 7 días

—

Forks

141

Lenguaje principal

Solidity

Licencia del repositorio

Apache-2.0

Último envío de código

25 may 2025

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.