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] Dataflow interface #34

Closed
lucaneg opened this issue Jan 28, 2021 · 0 comments · Fixed by #37
Closed

[FEATURE REQUEST] Dataflow interface #34

lucaneg opened this issue Jan 28, 2021 · 0 comments · Fixed by #37
Assignees
@lucaneg
Labels
🎊 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
Milestone
0.1a3

Comments

@lucaneg
Copy link
Member

lucaneg commented Jan 28, 2021

Description
It should be possible to easily define dataflow analysis by just defining the join operator and the gen/kill functions.
@lucaneg lucaneg added the 🎆 type:feature New feature or request label Jan 28, 2021
@lucaneg lucaneg added this to the 0.1a3 milestone Jan 28, 2021
@lucaneg lucaneg self-assigned this Jan 28, 2021
@lucaneg lucaneg added this to TODO in LiSA via automation Jan 28, 2021
lucaneg added a commit that referenced this issue Feb 2, 2021
@lucaneg
#34 dataflow domain and dataflow elements
d75e34d
@lucaneg lucaneg mentioned this issue Feb 8, 2021
Merged
@lucaneg lucaneg moved this from TODO to DOING in LiSA Feb 10, 2021
LiSA automation moved this from DOING to DONE Feb 11, 2021
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Feb 24, 2021
@lucaneg lucaneg added the 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms label Jan 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
🎊 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
No open projects
LiSA
  
DONE
Milestone
0.1a3
Development

Successfully merging a pull request may close this issue.

Inference systems and dataflow lisa-analyzer/lisa
1 participant
@lucaneg