8000 [FEATURE REQUEST] External instances as mockups · Issue #124 · lisa-analyzer/lisa · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[FEATURE REQUEST] External instances as mockups #124

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
Open
lucaneg opened this issue Sep 27, 2021 · 0 comments
Open

[FEATURE REQUEST] External instances as mockups #124

lucaneg opened this issue Sep 27, 2021 · 0 comments
Labels
❗ priority:p3 Priority planning - level 3 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request

Comments

@lucaneg
Copy link
Member
lucaneg commented Sep 27, 2021 •
edited
Loading

Description
Option for generating mockups of each compilation unit that can redefine all methods returning top to simulate external instances (i.e. application behaves as a library that can be extended).

We should also consider mockups for open types that are subtypes of non-sealed compilation units or types that are outside of analysis.
@lucaneg lucaneg added 🎆 type:feature New feature or request ❗ priority:p3 Priority planning - level 3 labels Sep 27, 2021
@lucaneg lucaneg added 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏛 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
❗ priority:p3 Priority planning - level 3 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Projects
LiSA
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lucaneg
0