The section on ROP is fascinating. Has anyone done a ROP compiler?

Some program that takes a binary + c code -> address list?

If you think of the gadgets as being like assembler instructions, it seems like it'd be possible, though tricky to do.