Análise rápida e escalável de contratos inteligentes
Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
Concebemos e implementamos um quadro rápido e escalável para os contratos inteligentes Ethereum. Fornece uma forma de codificar as propriedades personalizadas num contrato que será automaticamente verificado. O fuzzer toma um projecto de trufa como input, espoleta contratos e para cada contrato reporta cobertura, transbordos de inteiros, afirmações, qualquer violação de propriedades personalizadas e estatísticas sobre transacções falhadas/sucedidas para cada método. É configurável para ajustar a estratégia de fuzzer para um domínio específico. Relatamos padrões de referência ...
Concebemos e implementamos um quadro rápido e escalável para os contratos inteligentes Ethereum. Fornece uma forma de codificar as propriedades personalizadas num contrato que será automaticamente verificado. O fuzzer toma um projecto de trufa como input, espoleta contratos e para cada contrato reporta cobertura, transbordos de inteiros, afirmações, qualquer violação de propriedades personalizadas e estatísticas sobre transacções falhadas/sucedidas para cada método. É configurável para ajustar a estratégia de fuzzer para um domínio específico. Relatamos padrões de referência testando-o em vários cenários, incluindo mais de 30k contratos do mundo real implantados na cadeia principal do Ethereum.
Andere Kunden interessierten sich für
