Resumen

La técnica de fuzzing greybox basada en cobertura tiene fuertes capacidades para descubrir vulnerabilidades en software de virtualización. La eficiencia es uno de los indicadores más importantes al evaluar el fuzzing greybox. Sin embargo, la interferencia de las condiciones del estado del hardware virtual en la evaluación de los casos de prueba perjudica gravemente la eficiencia del fuzzing greybox. Con el fin de reducir la interferencia de las condiciones del estado del hardware virtual y aumentar la eficiencia del fuzzing, proponemos un marco de trabajo de fuzzing de hardware virtual basado en el estado, llamado SAVHF (Fuzzing de Hardware Virtual Consciente del Estado). En este marco, se propone un método de instrumentación de fuente a fuente basado en el árbol de sintaxis abstracta para detectar la condición del estado del hardware virtual. Basándonos en la instrumentación de fuente a fuente, posteriormente proponemos una estrategia de fuzzing basada en el estado para adaptarse a las condiciones del estado del hardware virtual. Realizamos el sistema prototipo de SAVHF

• Materias:Comunicación inalámbrica Dispositivos móviles Seguridad de la información Algoritmo de inteligencia Sensor inteligente
• Subjects:Wireless communication Mobile devices Information security Algorithm intelligence Intelligent sensor
• Palabras claves:Cobertura; Pruebas de caja gris; Vulnerabilidades de software de virtualización; Eficiencia; Condiciones del estado del hardware virtual; SAVHF.
• Keywords:Coverage; Greybox fuzzing; Virtualization software vulnerabilities; Efficiency; Virtual hardware state conditions; SAVHF.