Andere Kunden interessierten sich auch für
![Analisi di previsione dei dati con tecniche di data mining]( "Analisi di previsione dei dati con tecniche di data mining")
Analisi di previsione dei dati con tecniche di data mining18,99 €![Analisi dei dati nelle attività di controllo della velocità]( "Analisi dei dati nelle attività di controllo della velocità")
Analisi dei dati nelle attività di controllo della velocità29,99 €![SICUREZZA DEI SISTEMI INFORMATIVI]( "SICUREZZA DEI SISTEMI INFORMATIVI")
SICUREZZA DEI SISTEMI INFORMATIVI29,99 €![Analisi delle vie metaboliche per la consulenza sulla terapia genica]( "Analisi delle vie metaboliche per la consulenza sulla terapia genica")
Analisi delle vie metaboliche per la consulenza sulla terapia genica32,99 €![Soldi intelligenti]( "Soldi intelligenti")
Soldi intelligenti18,99 €![Sviluppo di un sistema di trading energetico su Ethereum Blockchain]( "Sviluppo di un sistema di trading energetico su Ethereum Blockchain")
Sviluppo di un sistema di trading energetico su Ethereum Blockchain36,99 €![Soluzioni tecnologiche per le città intelligenti]( "Soluzioni tecnologiche per le città intelligenti")
Soluzioni tecnologiche per le città intelligenti36,99 €
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.