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] Interprocedural analysis as a fixpoint over a call-cfg #119

Open
lucaneg opened this issue Sep 27, 2021 · 0 comments
Open

[FEATURE REQUEST] Interprocedural analysis as a fixpoint over a call-cfg #119

lucaneg opened this issue Sep 27, 2021 · 0 comments
Labels
⚠ priority:p5 Priority planning - level 5 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🎆 type:feature New feature or request

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 27, 2021

Description
Implement an interprocedural analysis that computes the fixpoint over a unique interprocedural CFG instead of many CFGs (see https://dl.acm.org/doi/pdf/10.1145/2259051.2259052 page 3)
@lucaneg lucaneg added 🎆 type:feature New feature or request ❕ priority:p4 Priority planning - level 4 labels Sep 27, 2021
@lucaneg lucaneg added ⚠ priority:p5 Priority planning - level 5 and removed ❕ priority:p4 Priority planning - level 4 labels Sep 27, 2021
@lucaneg lucaneg added the 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 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
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 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🎆 type:feature New feature or request
Projects
LiSA
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lucaneg