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.

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

[BUG] Make entrypoint processing in ContextBasedAnalysis deterministic #253

Closed
lucaneg opened this issue Dec 12, 2022 · 0 comments · Fixed by #260
Closed

[BUG] Make entrypoint processing in ContextBasedAnalysis deterministic #253

lucaneg opened this issue Dec 12, 2022 · 0 comments · Fixed by #260
Assignees
@lucaneg
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🐛 type:bug Something isn't working
Milestone
0.1b8

Comments

@lucaneg
Copy link
Member

lucaneg commented Dec 12, 2022 •
edited
Loading

Description
Iteration over entrypoints in ContextBasedAnalysis should be deterministic.
@lucaneg lucaneg added the 🐛 type:bug Something isn't working label Dec 12, 2022
@lucaneg lucaneg added this to the 0.1b8 milestone Dec 12, 2022
@lucaneg lucaneg self-assigned this Dec 12, 2022
@lucaneg lucaneg added this to LiSA Dec 12, 2022
@lucaneg lucaneg moved this to Backlog in LiSA Dec 12, 2022
@lucaneg lucaneg added ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🌍 scope:interproc Work regarding interprocedural analyses or call graphs and removed 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Dec 12, 2022
@lucaneg lucaneg moved this from Backlog to Todo in LiSA Dec 12, 2022
@lucaneg lucaneg moved this from Todo to In Progress in LiSA Dec 13, 2022
lucaneg added a commit that referenced this issue Dec 14, 2022
@lucaneg
Deterministic entrypoint processing #253
95a03a4
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Dec 14, 2022
@lucaneg lucaneg moved this from In Progress to Done in LiSA Dec 14, 2022
@lucaneg lucaneg mentioned this issue Dec 16, 2022
Merged
lucaneg added a commit that referenced this issue Mar 20, 2023
@lucaneg
Deterministic entrypoint processing #253
71ee637
lucaneg added a commit that referenced this issue Mar 20, 2023
@lucaneg
Fixing cfg processing order in ModularWorstCaseAnalysis #253
25d2f51
@github-project-automation github-project-automation bot moved this from Done to Merged in LiSA Apr 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🐛 type:bug Something isn't working
Projects
LiSA
Archived in project
Milestone
0.1b8
Development

Successfully merging a pull request may close this issue.

Interprocedural fixes: recursions, call caches, determinism lisa-analyzer/lisa
1 participant
@lucaneg