<p>PROBLEM: modifying the linking and loading characteristics of binaries is difficult, and doesn't necessarily get easier with builds from source</p><p>SOLUTION: design and implement a binary-to-binary compiler (like a conceptual inverse of a source-to-source compiler) that provides a rich array of transformations through the use of an intermediate representation that yields itself to composition of operations</p>
