Ejecución simbólica sobrecargando __bool__
2024-12-24
Este artículo presenta una ingeniosa técnica para la ejecución simbólica de código Python mediante la sobrecarga de la función __bool__ en la biblioteca Python Z3. El autor aprovecha las capacidades de Z3 para traducir las sentencias condicionales de Python en expresiones Z3, permitiendo la exploración de rutas y el análisis de resultados. Este enfoque evita el recorrido complejo del AST y permite el uso directo en código Python, simplificando la ejecución simbólica.
Desarrollo
ejecución simbólica