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?
Here, x=3 and y=x is a def-use pair
Then can the RD module finds out this fact ?
Thank you, any help is appreciated.
SU,software institute,East China Normal University