Exécution symbolique par surcharge de __bool__
2024-12-24
Cet article présente une technique astucieuse pour l'exécution symbolique de code Python en surchargeant la fonction __bool__ dans la bibliothèque Python Z3. L'auteur utilise les capacités de Z3 pour traduire les instructions conditionnelles Python en expressions Z3, permettant l'exploration des chemins et l'analyse des résultats. Cette approche contourne le parcours complexe de l'AST et permet une utilisation directe dans le code Python, simplifiant ainsi l'exécution symbolique.