Data-flow informations (CFG)

[Harry Trinta]

Dear,

A program can be represented by a CFG (Control Flow Graph).
Within source file Profile.c, for example, is easy to navigate within
CFG and obtain certain information.
However, I would like some more specific information, for example,
what are the the declarations and what are the uses of variables
within a given node of the CFG.

Can I get this information somewhere in the building?

The goal is to calculate the viability of creating a "module" for
software testing based on the data flow.

Thanks,
Harry