Reliable, retargetable and extensible link-time program rewriting by