Hi All, I am considering use Dyninst binary rewriting mode to implement a Control Flow Integrity prototype (as mostly described at [1]). For that I need to add validation checks around indirect control flow. I wanted to check if BPatch API is expressive enough to create snippets with arbitrary x86 instructions (for example at the validation check I may need to include a prefetchnta instruction).
Regards Buddhika [1] https://www.microsoft.com/en-us/research/wp-content/uploads/2005/11/ccs05.pdf
_______________________________________________ Dyninst-api mailing list Dyninst-api@cs.wisc.edu https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api