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

Expose symbolic pointer ValueSet information in info::MemAccess #18

Open
3 tasks
Boyan-MILANOV opened this issue Dec 26, 2021 · 0 comments
Open
3 tasks

Expose symbolic pointer ValueSet information in info::MemAccess #18

Boyan-MILANOV opened this issue Dec 26, 2021 · 0 comments
Assignees
@Boyan-MILANOV
Labels
enhancement New feature or request

Comments

@Boyan-MILANOV
Copy link
Collaborator

We should provide the value set computed for symbolic pointers in the memory access information. Moreover, we should allow the user to manually tamper it in an event callback, and take the modifications into account before performing the memory access.

  • Add mem_access.range, with attributes
    • range.min
    • range.max
    • range.stride
  • Let the user modify mem_access.range and use the modified value set to perform the mem access
  • Add python bindings for mem_access.range
@Boyan-MILANOV Boyan-MILANOV added the enhancement New feature or request label Dec 26, 2021
@Boyan-MILANOV Boyan-MILANOV self-assigned this Dec 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Boyan-MILANOV Boyan-MILANOV

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Boyan-MILANOV