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] Error tokens #126

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

[FEATURE REQUEST] Error tokens #126

lucaneg opened this issue Sep 27, 2021 · 0 comments
Labels
⁉ priority:p2 Priority planning - level 2 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Milestone
0.2

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 27, 2021

Description
The abstract state should have capabilities to express error tokens/exceptions. An example for this is when the type analysis discovers that there is a possible cast error: fixpoint algorithms could use this information to direct execution towards error-catching blocks.
@lucaneg lucaneg added 🎆 type:feature New feature or request ⁉ priority:p2 Priority planning - level 2 labels Sep 27, 2021
@lucaneg lucaneg added 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🏛 scope:program-structure Work regarding the program structure labels 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.1b8 milestone Nov 4, 2022
@lucaneg lucaneg moved this from Backlog to Todo in LiSA Nov 4, 2022
@lucaneg lucaneg removed this from the 0.1b8 milestone Dec 9, 2022
@lucaneg lucaneg moved this from Todo to Backlog in LiSA Dec 9, 2022
@lucaneg lucaneg added this to the 0.2 milestone Dec 12, 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:p2 Priority planning - level 2 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Projects
LiSA
Status: Backlog
Milestone
0.2
Development

No branches or pull requests
1 participant
@lucaneg