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

Construct PDG exclusively on provenance information #1107

Closed
wants to merge 4 commits into from

Conversation

ahomescu
Copy link
Contributor

This is a split of the first few commits of #1086 so it can be reviewed and landed faster.

@ahomescu ahomescu self-assigned this Jul 24, 2024
@ahomescu ahomescu force-pushed the ahomescu/provenance_only_pdg branch 5 times, most recently from bd3986b to a71b395 Compare July 25, 2024 06:09
ahomescu added 3 commits July 24, 2024 23:37
Record field and index projections for pointers
by recording a Project event with a base and target
pointer pair.
Add an index value to Project events to differentiate between
different projections with the same pointer offset, e.g.,
(*p).x and (*p).x.a if a is the first field of the structure.

This is implemented as an IndexSet<Vec<usize>> where each element
is a unique combination of field projections. The Project index
points to an element in this set.
The event assignment-based PDG
construction steps were giving incorrect results
for indirect accesses, so remove them completely.
@ahomescu ahomescu force-pushed the ahomescu/provenance_only_pdg branch from a71b395 to 77cbeb3 Compare July 25, 2024 06:37
@ahomescu ahomescu force-pushed the ahomescu/provenance_only_pdg branch from 77cbeb3 to 9b94bad Compare July 25, 2024 06:41
@ahomescu ahomescu closed this Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant