Andere Kunden interessierten sich auch für
![Schnelle und skalierbare Analyse von Smart Contracts]( "Schnelle und skalierbare Analyse von Smart Contracts")
Schnelle und skalierbare Analyse von Smart Contracts39,90 €![Análise rápida e escalável de contratos inteligentes]( "Análise rápida e escalável de contratos inteligentes")
Análise rápida e escalável de contratos inteligentes26,99 €![Smart Contracts als Webservice]( "Smart Contracts als Webservice")
Smart Contracts als Webservice39,90 €![Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte]( "Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte")
Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte47,95 €![A Brief Introduction to Web3]( "A Brief Introduction to Web3")
A Brief Introduction to Web325,99 €![Das Potential der Blockchain-Technologie. Welche Anwendungsmöglichkeiten gibt es in der Industrie 4.0 und im Internet der Dinge?]( "Das Potential der Blockchain-Technologie. Welche Anwendungsmöglichkeiten gibt es in der Industrie 4.0 und im Internet der Dinge?")
Das Potential der Blockchain-Technologie. Welche Anwendungsmöglichkeiten gibt es in der Industrie 4.0 und im Internet der Dinge?42,95 €![Online Film Production in China Using Blockchain and Smart Contracts]( "Online Film Production in China Using Blockchain and Smart Contracts")
Online Film Production in China Using Blockchain and Smart Contracts117,99 €
Nous concevons et mettons en oeuvre 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.