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] Pass an oracle to all semantic evaluations functions #291

Closed
lucaneg opened this issue Sep 21, 2023 · 0 comments · Fixed by #289
Closed

[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions #291

lucaneg opened this issue Sep 21, 2023 · 0 comments · Fixed by #289
Assignees
@lucaneg
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
Milestone
0.1b9

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 21, 2023

Description
To enable cross-communication among the domains that compose the abstract state, we should pass a SemanticOracle to each function defined by SemanticDomain so that implementations can query properties determined by other domains (eg, type information can be accessed everywhere, as well as aliasing info).
@lucaneg lucaneg added 🎆 type:feature New feature or request ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA labels Sep 21, 2023
@lucaneg lucaneg added this to the 0.1b9 milestone Sep 21, 2023
@lucaneg lucaneg self-assigned this Sep 21, 2023
lucaneg added a commit that referenced this issue Sep 28, 2023
@lucaneg
Adding SemanticOracle to domains #291
60d095c
lucaneg added a commit that referenced this issue Sep 28, 2023
@lucaneg
Using SemanticOracle to retrieve runtime types #291
121014c
lucaneg added a commit that referenced this issue Sep 28, 2023
@lucaneg
Avoiding rewriting of value expressions #291
898b911
lucaneg added a commit that referenced this issue Sep 28, 2023
@lucaneg
Supporting recursions #291
49eda2e
lucaneg added a commit that referenced this issue Sep 28, 2023
@lucaneg
Fixing rewriting #291
db68abb
@lucaneg lucaneg mentioned this issue Sep 28, 2023
Merged
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Oct 2, 2023
lucaneg added a commit that referenced this issue Oct 9, 2023
@lucaneg
Memory oracle methods #291
bd00779
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:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 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