I've been trying to find ways to instrument the edges in the Dyninst CFG but instrumenting the back edge from a system library call, e.g. calling printf(), doesn't give insertion points that seem reasonable/valid (the insertion point addresses given by getExitPoints() and getAllPoints() appears to be out of the local programs address ranges.)
So, I'm thinking of moving that edge instrumenting code block into the edge that connects the calling block to the subsequent block along with the instrumenting code for that connecting edge, effectively marking that connecting edge as both the return path from the printf() system call and the inter-block connecting edge (which is EdgeTypeEnum type of "post-call fallthrough") My question is if it is possible to insert two snippets referencing calls to my edge marking library routine? Thanks, Wayne Motycka E2 Lab @ Univ. of Nebraska - Lincoln _______________________________________________ Dyninst-api mailing list Dyninst-api@cs.wisc.edu https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api