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.

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

Generalise path flagging to metadata? #222

Open
MattWindsor91 opened this issue Sep 25, 2020 · 0 comments
Open

Generalise path flagging to metadata? #222

MattWindsor91 opened this issue Sep 25, 2020 · 0 comments
Labels
Area:Fuzzer Specifically affecting the program mutator Status:Question Further information is requested Type:Enhancement New feature or request

Comments

@MattWindsor91
Copy link
Collaborator

We now have information about paths that we want to carry through the payload that aren't just the path and its flags:

  • intended kind;
  • block restrictions;
  • eventually maybe other things.

The more metadata that is stored with the path, the more checking the path consumer can do to make sure the path producer is working (and, later on, any reducer is working).

This issue suggests generalising Path_flag.Flagged.t to contain multiple different kinds of path metadata. We can begin by renaming, then add things, then add consumer checking support, in stages.

@MattWindsor91 MattWindsor91 added Area:Fuzzer Specifically affecting the program mutator Type:Enhancement New feature or request Status:Question Further information is requested labels Sep 25, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area:Fuzzer Specifically affecting the program mutator Status:Question Further information is requested Type:Enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant