Analyse rapide et évolutive des contrats intelligents

Nous concevons et mettons en ¿uvre un cadre de fuzzing rapide et évolutif pour les contrats intelligents Ethereum. Il fournit un moyen d'encoder des propriétés personnalisées dans un contrat qui sera automatiquement vérifié. Le fuzzer prend un projet truffe comme entrée, fuzze les contrats et pour chaque contrat il rapporte la couverture, les dépassements d'entier, les assertions, toute violation des propriétés personnalisées et les statistiques sur les transactions échouées/réussies pour chaque méthode. Il est configurable pour ajuster la stratégie de fuzzing pour un domaine spécifique. Nous présentons les résultats des tests effectués dans plusieurs contextes, dont plus de 30 000 contrats réels déployés sur la chaîne principale d'Ethereum.