Andere Kunden interessierten sich auch für
![Análise rápida e escalável de contratos inteligentes]( "Análise rápida e escalável de contratos inteligentes")
Análise rápida e escalável de contratos inteligentes29,99 €![Supervisión de infraestructuras de ciudades inteligentes mediante tecnologías LIDAR]( "Supervisión de infraestructuras de ciudades inteligentes mediante tecnologías LIDAR")
Supervisión de infraestructuras de ciudades inteligentes mediante tecnologías LIDAR53,99 €![Soluciones tecnológicas para ciudades inteligentes]( "Soluciones tecnológicas para ciudades inteligentes")
Soluciones tecnológicas para ciudades inteligentes39,99 €![Mejorar la Producción de Invernaderos Usando Sistemas Expertos]( "Mejorar la Producción de Invernaderos Usando Sistemas Expertos")
Mejorar la Producción de Invernaderos Usando Sistemas Expertos51,99 €![Monitorização de infra-estruturas de cidades inteligentes utilizando tecnologias LIDAR]( "Monitorização de infra-estruturas de cidades inteligentes utilizando tecnologias LIDAR")
Monitorização de infra-estruturas de cidades inteligentes utilizando tecnologias LIDAR53,99 €![Modelos de Conducta Humana para la Validación de Entornos Inteligentes]( "Modelos de Conducta Humana para la Validación de Entornos Inteligentes")
Modelos de Conducta Humana para la Validación de Entornos Inteligentes29,99 €![Desarrollo de Sistemas Inteligentes para la detección de alertas]( "Desarrollo de Sistemas Inteligentes para la detección de alertas")
Desarrollo de Sistemas Inteligentes para la detección de alertas56,99 €
Diseñamos e implementamos un marco de fuzzing rápido y escalable para los contratos inteligentes de Ethereum. Proporciona una forma de codificar propiedades personalizadas en un contrato que se comprobará automáticamente. El fuzzer toma un proyecto de trufa como entrada, fuzzes contratos y para cada contrato informa de la cobertura, desbordamientos de enteros, aserciones, cualquier violación de las propiedades personalizadas y las estadísticas sobre las transacciones fallidas / exitosas para cada método. Es configurable para ajustar la estrategia de fuzzing para un dominio específico. Informamos de los puntos de referencia probándolo en varios escenarios, incluyendo más de 30k contratos del mundo real desplegados en la cadena principal de Ethereum.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.