-
Notifications
You must be signed in to change notification settings - Fork 27
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
Lazy cycle detection #676
Lazy cycle detection #676
Conversation
…ionBasedPointerAnalysis
…esentation of InclusionBasedPointerAnalysis
FYI, the error that refinement throws suggests that the may-alias relation is too small. EDIT: Unfortunately, I think some changes that I made to the refinement reasoning causes refinement to not properly report where the aliasing problem occurs. |
.../src/main/java/com/dat3m/dartagnan/program/analysis/alias/InclusionBasedPointerAnalysis.java
Outdated
Show resolved
Hide resolved
…lias-live-cycle-detection
.../src/main/java/com/dat3m/dartagnan/program/analysis/alias/InclusionBasedPointerAnalysis.java
Outdated
Show resolved
Hide resolved
.../src/main/java/com/dat3m/dartagnan/program/analysis/alias/InclusionBasedPointerAnalysis.java
Outdated
Show resolved
Hide resolved
.../src/main/java/com/dat3m/dartagnan/program/analysis/alias/InclusionBasedPointerAnalysis.java
Outdated
Show resolved
Hide resolved
.../src/main/java/com/dat3m/dartagnan/program/analysis/alias/InclusionBasedPointerAnalysis.java
Outdated
Show resolved
Hide resolved
…lias-live-cycle-detection
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
This PR replaces the transitive-closure-based approach in
InclusionBasedPointerAnalysis
with one based on Lazy Cycle Detection by Hardekopf & Lin: The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code.