Looking for Dependency Analysis Tool for C

I am looking for a tool that will take as input a C program
1) Convert the code to a single assignment form like SSA
2) Output the single assignment form as C code
3) Perform alias analysis for stack-directed and heap-directed pointers
      (type-based, flow-insensitive analysis is sufficient)
4) Perform dependency analysis between atomic blocks
        (def-use, def-def, use-def)
5) Output the dependency as a relation on atomic blocks
        (each atomic block could have a unique label, then
          the dependency relation would be on the labels)

Return to the comp.compilers page.
Search the comp.compilers archives again.