Outils libres et gratuits pour vérifier le code avant le lancement, d'abord pour ATON, puis les chaînes EVM

Ce qui le compose

• Atheron Lens dans les éditeurs de code que vous utilisez déjàEn chantier
• Atheron Lens : un analyseur de code pour contrats Web3, d'abord pour EVMEn chantier
• Une seule ligne pour lancer les vérifications d'Atheron Lens à chaque pull requestPrêt
• Une section Libre accès sur le site Labs et le site de progrès, avec une page par outilLivré
• Tests automatisés qui vérifient les règles des contrats avec des millions de séquences de transactions aléatoiresÀ venir
• Vérifier que chaque version d'Atheron traite les mêmes données de la même façonPlus tard
• Un outil qui examine la configuration des ponts et des multisigs pour montrer où elle est insuffisantePlus tard
• Un outil qui prouve qu'un état fautif est inatteignable, ou trouve l'entrée qui y mènePlus tard
• Un outil qui signale les erreurs courantes des circuits à connaissance nullePlus tard
• Voir ce que coûte chaque fonction, ligne par ligne, y compris les frais ATONPlus tard
• Un rapport unique qui réunit les constats de tous les outils, prêt pour l'auditPlus tard
• Des vérifications prêtes à l'emploi pour tester jetons, coffres, mise en jeu, enchères et pontsPlus tard
• Des mises à niveau plus sûres : des vérifications pour ne rien perdre ni casserPlus tard