Integration of Syntia program synthesis tool into the radare2 reverse engineering framework. - View it on GitHub