You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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:
The text was updated successfully, but these errors were encountered: