Data dependency for objects #158
Description
Problem:
currently, extension block slicing algorithm takes control- and data-dependencies as constraints. However, it ignores potential data dependencies for objects (Resulting extended slices may violate semantics of original program bcoz of that). This is because object data dependencies are not included in the current data dependence graph.
Possible solution:
- Consider any object method or method that has an object argument as modification of object:
- either incorporate this into DDG (too harsh?)
- or use it as constraint only for the block extension algorithm