[Soot-list] Difference between slicing and reaching definition

[Zeinab Lashkaripour]

Is there no one to guide me?
Still looking forward to hearing from you.

Regards



________________________________
 From: Zeinab Lashkaripour <lashkaripour at yahoo.com>
To: "soot-list at sable.mcgill.ca" <soot-list at sable.mcgill.ca> 
Sent: Tuesday, June 18, 2013 12:56 AM
Subject: [Soot-list] Difference between slicing and reaching definition
 


Hi everyone,

I have a question and would be very grateful if anyone guided me.

Reaching definition is a type of DFA that we compute the definitions that can reach a point p in our program. On the other hand we have slicing that I think that it is some how on an upper level in comparison to DFA, but not sure? In slicing we extract the part of the program that is of our interest according to the slicing criterion.

What is the difference between RD and slicing? In both conditions we extract the parts of the program that we need. Maybe the difference is in the fact that we only consider assignments in RD while in slicing its not like that?
Do they have any similarities except the ones mentioned?


Regards,
Zeinab
_______________________________________________
Soot-list mailing list
Soot-list at sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130622/384f9f5f/attachment.html