Skip to content

[LifetimeSafety] Add lattice tracking per program point #149069

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

[LifetimeSafety] Add lattice tracking per program point #149069

wants to merge 1 commit into from

Conversation

@usx95
Copy link
Contributor

@usx95 usx95 commented Jul 16, 2025 •
edited
Loading

Added per-program-point state tracking to dataflow analyses to enable more precise error reporting.

  • Added a ProgramPoint type to represent a specific point in the CFG (a block and fact pair)
  • Modified the transferBlock method to store intermediate states after each fact
  • Added accessor methods to query analysis results at specific program points:
    • getLoans(OriginID, ProgramPoint) in LoanPropagationAnalysis
    • isLive(OriginID, ProgramPoint) and getLiveOrigins(ProgramPoint) in LiveOriginAnalysis
    • isExpired(LoanID, ProgramPoint) in ExpiredLoansAnalysis

This was referenced Jul 16, 2025
Merged
Merged
@usx95 Graphite App
Copy link
Contributor Author

usx95 commented Jul 16, 2025 •
edited
Loading

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

This stack of pull requests is managed by Graphite. Learn more about stacking.

This was referenced Jul 16, 2025
Merged
Closed
@usx95 usx95 changed the title add-point-level-granularity-to-analyses [LifetimeSafety] Add per-program-point state tracking and query methodscg Jul 16, 2025
@usx95 usx95 changed the title [LifetimeSafety] Add per-program-point state tracking and query methodscg [LifetimeSafety] Add lattice tracking per program point Jul 16, 2025
@usx95 usx95 force-pushed the users/usx95/07-15-add-liveness-finally branch from 76e0954 to b51604d Compare July 16, 2025 14:08
@usx95 usx95 force-pushed the users/usx95/07-16-add-point-level-granularity-to-analyses branch from 4956a92 to 266cf01 Compare July 16, 2025 14:08
@usx95 usx95 force-pushed the users/usx95/07-15-add-liveness-finally branch from b51604d to 9834dbd Compare July 16, 2025 14:28
@usx95 usx95 force-pushed the users/usx95/07-16-add-point-level-granularity-to-analyses branch from 266cf01 to 6d74145 Compare July 16, 2025 14:29
@usx95 usx95 force-pushed the users/usx95/07-15-add-liveness-finally branch from 9834dbd to a3e57e4 Compare July 16, 2025 22:10
@usx95 usx95 force-pushed the users/usx95/07-16-add-point-level-granularity-to-analyses branch from 6d74145 to 689a06c Compare July 16, 2025 22:10
@usx95 usx95 closed this Jul 17, 2025
This was referenced Jul 17, 2025
Merged
Merged
@usx95 usx95 mentioned this pull request Jul 19, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@usx95