Analisi veloce e scalabile dei contratti intelligenti
Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
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 ...
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.
Andere Kunden interessierten sich für
