Have a look at the example icount.py: It rewrites binaries to count the number of instructions executed.

Therefore it seems the rewriter can modify already existing binaries corresponding to some rules in Python files by inserting additional instructions.