solana-vulnerability-scanner

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 contratos inteligentes de TON escritos en FunC en busca de tres vulnerabilidades críticas de seguridad: uso incorrecto de enteros como booleanos, contratos Jetton falsos y reenvío de TON sin protección. Úsela durante auditorías de contratos inteligentes para detectar automáticamente estos fallos comunes. Está diseñada para desarrolladores que construyen o revisan contratos seguros en The Open Network.

Esta habilidad ayuda a los desarrolladores a preparar contratos inteligentes para auditorías de seguridad automatizando la lista de verificación de Trail of Bits. Ejecuta análisis estático, mejora la cobertura de pruebas, elimina código inactivo y genera documentación como diagramas de flujo y casos de uso. Úsala para fortalecer sistemáticamente tu base de código antes de una revisión formal.

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.