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 inteligentes26,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 LIDAR51,99 €![Soluciones tecnológicas para ciudades inteligentes]( "Soluciones tecnológicas para ciudades inteligentes")
Soluciones tecnológicas para ciudades inteligentes36,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 Expertos46,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 LIDAR48,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 Inteligentes26,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 alertas51,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.