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

[FEATURE REQUEST] Backward analysis (beta) #120

Closed
lucaneg opened this issue Sep 27, 2021 · 0 comments · Fixed by #289
Closed

[FEATURE REQUEST] Backward analysis (beta) #120

lucaneg opened this issue Sep 27, 2021 · 0 comments · Fixed by #289
Labels
⚠ priority:p5 Priority planning - level 5 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
Milestone
0.1b9

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 27, 2021 •
edited
Loading

Description
Add a first basic support for backward analysis.
@lucaneg lucaneg added 🎆 type:feature New feature or request ⚠ priority:p5 Priority planning - level 5 labels Sep 27, 2021
@lucaneg lucaneg added the 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms label Jan 21, 2022
@lucaneg lucaneg moved this to Todo in LiSA Nov 3, 2022
@lucaneg lucaneg added this to LiSA Nov 3, 2022
@lucaneg lucaneg moved this from Todo to Backlog in LiSA Nov 3, 2022
@lucaneg lucaneg added this to the 0.1b9 milestone Sep 21, 2023
@lucaneg lucaneg moved this from Backlog to Todo in LiSA Sep 21, 2023
@lucaneg lucaneg moved this from Todo to In Progress in LiSA Sep 28, 2023
@lucaneg lucaneg mentioned this issue Sep 28, 2023
Merged
@lucaneg lucaneg changed the title [FEATURE REQUEST] Backward analysis [FEATURE REQUEST] Backward analysis (beta) Oct 5, 2023
lucaneg added a commit that referenced this issue Oct 6, 2023
@lucaneg
Removing 'forward' from dataflow class naming #120
7776342
lucaneg added a commit that referenced this issue Oct 6, 2023
@lucaneg
Infrastructure for backward analyses #120
88217bf
lucaneg added a commit that referenced this issue Oct 6, 2023
@lucaneg
Fwd/Bwd edge traversal #120
cebe6fe
lucaneg added a commit that referenced this issue Oct 6, 2023
@lucaneg
Renaming forward semantics methods #120
81586ba
lucaneg added a commit that referenced this issue Oct 6, 2023
@lucaneg
Methods renaming #120
fe14abc
lucaneg added a commit that referenced this issue Oct 6, 2023
@lucaneg
Fixing tests #120
9827722
@lucaneg lucaneg mentioned this issue Oct 6, 2023
Open
lucaneg added a commit that referenced this issue Oct 9, 2023
@lucaneg
Liveness analysis #120
2543b47
lucaneg added a commit that referenced this issue Oct 9, 2023
@lucaneg
Finalizing backward tests #120
896d23b
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Oct 9, 2023
@lucaneg lucaneg moved this from In Progress to Done in LiSA Oct 9, 2023
@github-project-automation github-project-automation bot moved this from Done to Merged in LiSA Oct 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
⚠ priority:p5 Priority planning - level 5 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
Projects
LiSA
Archived in project
Milestone
0.1b9
Development

Successfully merging a pull request may close this issue.

Beta9 roundup lisa-analyzer/lisa
1 participant
@lucaneg