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

Distinguish between statements and expressions #669

Open
robrix opened this issue Mar 10, 2022 · 1 comment
Open

Distinguish between statements and expressions #669

robrix opened this issue Mar 10, 2022 · 1 comment
Labels
analysis general program analysis (e.g. abstract interpretation) issues enhancement New feature or request

Comments

@robrix
Copy link
Contributor

robrix commented Mar 10, 2022 •
edited
Loading

This doesn't apply to all languages, but it would be nice to distinguish between statements and expressions at the level of abstract domains.

The goal would be to avoid polluting the abstract domain with stuff that doesn't actually relate to it, e.g. imports.
@robrix robrix added enhancement New feature or request analysis general program analysis (e.g. abstract interpretation) issues labels Mar 10, 2022
@robrix
Copy link
Contributor Author

robrix commented Mar 10, 2022 •
edited
Loading

One possibility is simply to model them with instrumentation: an out-of-band effect notified of various events (e.g. an import was reached), with unit returned by each.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
analysis general program analysis (e.g. abstract interpretation) issues enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@robrix