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

Design Abstract Domain abstraction and implement some domains #30

Closed

hermanventer opened this issue Jan 10, 2019 · 1 comment

Assignees

Labels

Collaborator

hermanventer commented Jan 10, 2019

Flesh out abstract_domains.rs, abstract_value.rs, constant_value.rs, etc, by:

Adding transfer functions for all MIR operations.
Add constructors that can create domains on demand, given an expression domain.
Adding helper methods to query properties of abstract values, such as subset, relational operators and so on.
Make widen on the expression domain smarter.

hermanventer added the enhancement label

hermanventer self-assigned this

Collaborator Author

hermanventer commented Feb 7, 2019

Replaced with a milestone.

hermanventer closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment