-
Francúzsky jazyk
Analyse rapide et évolutive des contrats intelligents
Autor: Nodar Ambroladze
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
36.99 €
bežná cena: 41.10 €
O knihe
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.
- Vydavateľstvo: Editions Notre Savoir
- Rok vydania: 2022
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Francúzsky jazyk
- ISBN: 9786204503769
Nemecký jazyk 
Anglický jazyk 
