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

syzkaller: resource values #5325

Open
a-nogikh opened this issue Sep 19, 2024 · 1 comment
Open

syzkaller: resource values #5325

a-nogikh opened this issue Sep 19, 2024 · 1 comment

Comments

@a-nogikh
Copy link
Collaborator

#5323 provided a quick solution for the problem of passing the same value to several different arguments.

The downsides are that it's actually an extra call that we will have to carry on in our reproducers and that puts extra burden on our resource generation/mutation code.

I wonder if we can reimplement in a cleaner way, e.g. by introducing some resource values like:

value x[int16[0:10]]
value y[int16]: 2, 4, 8, 16

which will act like resources (and which would be represented exactly like resources: using *prog.ResourceType, *prog.ResourceDesc, *prog.ResultArg), but they won't require any extra pseudo syscalls and we won't be able to return them from fuctions.

There can also be some synergy with #1621

@dvyukov
Copy link
Collaborator

dvyukov commented Sep 21, 2024

Will this work for the original use for ptr[in, filename]?

We could also "inline" syz_create_resource in C reproducers, and specialize it during generation/mutation.

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

No branches or pull requests

2 participants