pytcg (pypi): A Python interface to libtcg and TCG IR
Keywords: TCG|pytcg|angr|QEMU