[DynInst_API:] Dyninst and Data flow analysis

[Milind Chabbi <Milind.Chabbi@xxxxxxxx>]

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