Abstract
This research is a follow-up on the work already performed with the instrumentation of loops by Paradyn. This work had FAPESP support through undergraduate scholarships and a research grant. At this project it is proposed advancements in this instrumentation by the implementation of modules that enable automatic binary optimization, its performance test and, if this modification is effici…