Toward Efficient Smart Contract Auditing: Integrating Large Language Models for Automated Reporting and Adaptive Test Case Generation

L’adoption croissante de la technologie blockchain a entraîné une augmentation de l’utilisation des contrats intelligents pour l’exécution de transactions de grande valeur et la gestion de systèmes décentralisés. Les contrats intelligents faisant de plus en plus partie intégrante de l’écosystème de la blockchain, il est primordial de garantir leur sécurité. Cependant, la complexité des contrats intelligents, associée au développement rapide de la finance décentralisée (DeFi) et d’autres applications basées sur la blockchain, a créé une demande importante de pratiques de codage sécurisées et d’outils d’audit fiables. Ce projet de recherche aborde les défis de l’audit des contrats intelligents en développant de nouvelles approches pour aider les auditeurs humains et améliorer l’efficacité et la précision du processus d’audit. Nous présentons deux contributions clés : (1) une technique d’incitation contextuelle pour les grands modèles de langage (LLM) afin de détecter les vulnérabilités dans les contrats intelligents, et (2) une technique de priorisation, PRiMG, pour la génération efficace de cas de test en utilisant des tests de mutation. Notre technique d’incitation contextuelle améliore la conception d’incitations grâce à trois techniques clés : Le cadrage du code, le cadrage de l’évaluation et le cadrage du rapport. Ces méthodes optimisent le processus d’audit en guidant les LLM pour qu’ils se concentrent sur les aspects les plus pertinents du code. Nous évaluons l’efficacité de notre approche en utilisant des contrats intelligents réels. PRiMG, notre technique de priorisation, s’appuie sur les tests de mutation pour améliorer l’efficacité des cas de test générés par les LLM pour les contrats intelligents Solidity. PRiMG se compose de deux éléments principaux : un module de hiérarchisation des mutations et un module de génération de cas de test. Nous démontrons l’efficacité de PRiMG en utilisant des projets Solidity réels de Code4Arena. Cette recherche contribue au domaine de la sécurité des blockchains en fournissant des outils et des méthodologies avancés pour l’audit des contrats intelligents. Notre approche comble le fossé entre l’expertise humaine et les outils automatisés, garantissant que les contrats intelligents sont à la fois sécurisés et dignes de confiance dans les applications du monde réel. L’adoption généralisée des technologies blockchain dans les industries dépend de la fiabilité et de la sécurité des contrats intelligents, ce qui rend cette recherche opportune et impactante.