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

Intra-procedural slicing #444

Open
dokyungs opened this issue Jul 12, 2022 · 1 comment
Open

Intra-procedural slicing #444

dokyungs opened this issue Jul 12, 2022 · 1 comment
Labels

Comments

@dokyungs
Copy link

Thanks for a great tool!

I was wondering if there is any switch that allows us to perform intra-procedural slicing. Is there?

@mchalupa
Copy link
Owner

There is none atm, but control and data dependence analysis support intra-procedural computation: https://github.com/mchalupa/dg/search?q=intraproc and all analyses should support specifying the entry point, so it should not be that hard to add such a switch. Maybe there would be needed a small modification to points-to analysis to correctly handle values that are fed into procedures from outside.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants