Delivering binary object modification tools for program tools for program analysis and optimization