Diversidad estructural y JIT
Limite el valor de atajos reutilizables respetando el presupuesto de ejecución de su aplicación.
El objetivo va más allá de cambiar bytes#
Una semilla puede cambiar constantes y nombres sin eliminar el atajo estructural del analista. El conjunto de representaciones compara huellas estructurales, familias algebraicas y límites. Variar parámetros y cambiar el problema de reconstrucción no son formas equivalentes de diversidad.
Tenga en cuenta la simplificación#
Una expresión compleja en bytecode puede simplificarse tras optimizar. El motor modela ciertos comportamientos de canonicalización de HotSpot C2 y examina el colapso estructural. La minimización observacional elimina perturbaciones sin efecto en los bits de salida requeridos. La complejidad sin función observable es una base débil para elegir.
Son señales basadas en modelos, no medidas de todas las JVM ni pruebas frente a cualquier optimizador. Las mediciones finales corresponden a la aplicación y JVM de destino.
Separe los presupuestos físicos y de ejecución#
El tamaño del class-file y el coste de ejecución son restricciones distintas. La selección puede considerar bytes, pool de constantes, presupuestos modelados de inlining y nodos JIT, estado escalar activo y asignaciones. Las regiones distinguen bucles críticos, lógica habitual y rutas infrecuentes de alto valor.
Revise lo que contiene la publicación#
Una ruta reforzada pierde valor si conserva al lado una equivalente más sencilla. La revisión incluye ramas alternativas y filtraciones de metadatos, no solo el cuerpo transformado. El proyecto incorpora comprobaciones de inventario y saneamiento de archivos. Los diagnósticos y datos de reconstrucción deben quedar fuera del artefacto distribuido.