Eveem's logo

Panoramix utiliza una técnica inusual, para descompiladores, llamada ejecución simbólica. En resumen, tiene una máquina virtual que funciona en símbolos y álgebra en lugar de valores concretos y aritmética. Este método se utiliza generalmente para la verificación formal de contratos, pero sorprendentemente, al parecer, nadie trató de usarlo para entregar un código fuente legible. También tiene un modelo de memoria hecho a medida que, espero, es más rápido que uno genérico basado en el solver SMT. Lleno de errores, sin embargo, que se puede ver especialmente cerca de los bucles y variables de longitud dinámica. Las mejores prácticas de codificación de vaqueros y programación de cintas adhesivas se utilizaron para entregarla en el plazo de un mes, empezando desde cero. Será de código abierto, sólo déjame limpiar el código fuente un poco.

Copiado al portapapeles