-
Taliansky jazyk
Analisi veloce e scalabile dei contratti intelligenti
Autor: Nodar Ambroladze
Progettiamo e implementiamo un framework di fuzzing veloce e scalabile per i contratti intelligenti di Ethereum. Fornisce un modo per codificare proprietà personalizzate in un contratto che sarà automaticamente controllato. Il fuzzer prende un progetto truffle... Viac o knihe
Na objednávku
36.99 €
bežná cena: 41.10 €
O knihe
Progettiamo e implementiamo un framework di fuzzing veloce e scalabile per i contratti intelligenti di Ethereum. Fornisce un modo per codificare proprietà personalizzate in un contratto che sarà automaticamente controllato. Il fuzzer prende un progetto truffle come input, fa il fuzzing dei contratti e per ogni contratto riporta la copertura, gli integer overflow, le asserzioni, qualsiasi violazione delle proprietà personalizzate e le statistiche sulle transazioni fallite/successive per ogni metodo. È configurabile per regolare la strategia di fuzzing per un dominio specifico. Riportiamo i benchmark testandolo in diverse impostazioni tra cui oltre 30k contratti del mondo reale distribuiti sulla catena principale di Ethereum.
- Vydavateľstvo: Edizioni Sapienza
- Rok vydania: 2022
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Taliansky jazyk
- ISBN: 9786204503776
Nemecký jazyk 
Anglický jazyk 
