Securify v2.0
Auditoría de Smart ContractsGratis
// DESCRIPTION
Analizador estatico sofisticado para auditar smart contracts Solidity.
// TAGS
soliditystatic-analysispythonaudit
650 stars
0 views
1/26/2026
Analizador estatico sofisticado para auditar smart contracts Solidity.
Analizador estático de smart contracts en Solidity. Detecta vulnerabilidades automáticamente.
Herramienta de analisis de seguridad para smart contracts EVM. Ejecucion simbolica.
Analizador estatico en Rust para vulnerabilidades en contratos Solidity.
Fuzzer basado en propiedades para smart contracts Ethereum.