Re: Looking for Dependency Analysis Tool for C

On Mon, 2004-08-23 at 12:11, Gerald wrote:
> 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)
>
GCC will give you 1-3. From that it shouldn't be hard to get 4 and 5.
At least an approximation.


You need to get GCC out of CVS or a snapshot, though. We still have not
released this functionality (expect it for GCC 3.5).




Diego.

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