solana-vulnerability-scanner

Cette compétence guide les développeurs à travers le processus de sécurité en 5 étapes de Trail of Bits pour les contrats intelligents. Elle automatise l'analyse Slither, vérifie des fonctionnalités spécifiques comme l'évolutivité, et génère des diagrammes de sécurité. Utilisez-la pour documenter systématiquement les propriétés de sécurité et examiner les zones critiques de votre projet Solidity.

Cette compétence évalue systématiquement la maturité du code des contrats intelligents en utilisant le cadre de sécurité à 9 catégories de Trail of Bits. Elle analyse des domaines critiques tels que la sûreté arithmétique, les contrôles d'accès et les risques de MEV pour générer une fiche d'évaluation fondée sur des preuves. Utilisez-la pour obtenir des recommandations de sécurité actionnables et une évaluation professionnelle de la maturité de votre base de code.

Cette compétence aide les développeurs à préparer les contrats intelligents pour des audits de sécurité en automatisant la liste de contrôle de Trail of Bits. Elle exécute une analyse statique, améliore la couverture des tests, supprime le code mort et génère une documentation telle que des organigrammes et des récits utilisateurs. Utilisez-la pour renforcer systématiquement votre base de code avant une revue formelle.

Cette compétence analyse les contrats intelligents TON rédigés en FunC pour détecter trois vulnérabilités de sécurité critiques : l'utilisation incorrecte des entiers comme booléens, les contrats Jetton falsifiés et le transfert TON non protégé. Utilisez-la lors des audits de contrats intelligents pour identifier automatiquement ces failles courantes. Elle est conçue pour les développeurs qui créent ou examinent des contrats sécurisés sur The Open Network.