algorand-vulnerability-scanner

Esta habilidad escanea contratos inteligentes de Cairo/StarkNet en busca de seis vulnerabilidades críticas de seguridad, como desbordamiento aritmético y problemas de mensajería. Úsela durante auditorías de contratos inteligentes para detectar automáticamente fallos de seguridad comunes en proyectos de StarkNet. Es especialmente valiosa para desarrolladores que construyen o revisan contratos seguros en Cairo.

Esta habilidad escanea programas de Solana y Anchor en busca de seis vulnerabilidades críticas de seguridad, como CPI arbitrario y validación incorrecta de PDA. Los desarrolladores deben usarla al auditar contratos inteligentes para identificar automáticamente fallos de seguridad comunes. Proporciona análisis de seguridad automatizado para ayudar a construir programas de Solana más seguros.

Esta habilidad escanea los pallets de la cadena de bloques Substrate/Polkadot en busca de siete vulnerabilidades críticas de seguridad, como desbordamientos aritméticos y verificaciones de origen incorrectas. Úsela al auditar runtimes de Substrate o pallets de FRAME para detectar automáticamente problemas de seguridad comunes. Es ideal para desarrolladores que construyen o revisan contratos inteligentes seguros en Polkadot.

Esta habilidad analiza implementaciones e integraciones de tokens en busca de riesgos de seguridad basándose en la lista de verificación de Trail of Bits. Verifica la conformidad con ERC20/ERC721, detecta patrones inusuales en tokens y evalúa los privilegios del contrato. Úsala al integrar tokens o auditar contratos de tokens para identificar comportamientos no estándar y vulnerabilidades.