Hello,
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){
x=3;
bar(x);
}
bar(int x){
y=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
tsule...@gmail.com (Email,MSN)
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_feb
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
