Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Data dependency for objects #158

Open
KatGarmash opened this issue Dec 7, 2021 · 0 comments · May be fixed by #162
Open

Data dependency for objects #158

KatGarmash opened this issue Dec 7, 2021 · 0 comments · May be fixed by #162
Assignees
Labels
bug Something isn't working enhancement New feature or request

Comments

@KatGarmash
Copy link
Collaborator

KatGarmash commented Dec 7, 2021

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
@KatGarmash KatGarmash added bug Something isn't working enhancement New feature or request labels Dec 7, 2021
@KuYaki KuYaki linked a pull request Feb 1, 2022 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants