I am considering using Dyninst for a binary analysis (not rewriting). My particular use case involves answering questions such as: 1. Is the memory address accessed by this instruction loop invariant or not? 2. Is the value read/written in this instruction loop invariant or not? 3. May/Must given two memory accesses alias?
Does Dyninst have facilities for such data flow analysis on x86_64 binaries? -Milind
_______________________________________________ Dyninst-api mailing list [email protected] https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
