Take a binary and make changes to it (without breaking anything unintentionally). E.g. add hooks for performance measurements, add additional security checks, make it use/not use specific CPU instructions.

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.