Bukowski Un proyecto para demostrar fallas de soluciones de seguridad popular
Descargar ahora

Bukowski Clasificación y resumen

Bukowski Etiquetas

motor seguridad control de seguridad motor de mutación mutación

Bukowski Descripción

Un proyecto para demostrar fallas de soluciones de seguridad popular. Bukowski fue creado para demostrar que las soluciones de seguridad más utilizadas de hoy como DAC o VMA aleatorización no son suficientes; Por lo tanto, otros enfoques (como Mac o diseño por contrato) deben tomarse seriamente en consideración. ¿Qué hay de nuevo en este lanzamiento: · El cambio importante aquí es que ahora es posible realizar la sustitución de instrucciones básicas. El ejemplo en grammar.xml no es completamente funcional porque solo he agregado una operación de "negred" hasta ahora. Sin embargo, hay muchas reglas que se pueden escribir para X86-32 utilizando la sustitución de instrucciones básicas. · Tan pronto como se agreguen más operaciones (incluidas las restricciones), será posible significativamente más. Por otro lado, hay un montón de más trabajo que hacer. Por un lado, mucho de esto necesita algo de refactorización grave. Estoy considerando que esta versión del motor es un prototipo bastante rudo. Además, la composición de la regla no es posible, ya sea (para hacer que las reglas no sean de los no terminales). · Entonces, aunque esto es muy "prototypy", estamos bien en nuestro camino a tener un motor de mutación de instrucción de gramática completamente funcional.

Bukowski Software relacionado