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

Reply via email to