Skip to content

Draft implementation of basic data flow analysis #212

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

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

stravant
Copy link

@stravant stravant commented May 27, 2025

Implement basic data flow analysis, showing known values in place of registers where we have more information about the contents of the register available.

  • Currently implemented for PPC assembly, but designed the approach in a way that other Arch impls could implement it as well.
  • Shows float / double values point values.
  • Shows parameters
  • Includes checkbox for setting to toggle between raw assembly and assembly with known data flow values swapped in.

Still needs a lot of cleanup / work. Looking for UX and architectural confirmation before I do that additional work.

image

Note: This is my first time implementing non-toy code in Rust, open to significantly changing the approach if I'm not following some conventions / design intent correctly here.

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.

1 participant