I have a question about the Reaching Definition module based on the Data Flow module in CIL.
Can the RD(Reaching Definition) module analyzes interprocedural def-use pair of a variable? or it only can do intraprocedural def-use pair analysis?
for example,
foo(int x){
bar(int x){
Here, x=3 and y=x is a def-use pair interprocedurally.
Then can the RD module finds out this fact ?
Thank you, any help is appreciated.
Best Regards!

Ting SU,software institute,East China Normal University
PhD. student
tsuletgo@gmail.com (Email,MSN)