Skip to content

Conversation

@a-nogikh
Copy link
Collaborator

Don't generate just the hard-coded list of filesystems, but also generate seeds for the externally supplied json description of a filesystem.

Add a special syscall attribute to help syz-imagegen guess the actual filesystem name from the syz_mount_image variant name.

@a-nogikh a-nogikh requested a review from dvyukov August 22, 2025 17:06
Don't generate just the hard-coded list of filesystems, but also
generate seeds for the externally supplied json description of a
filesystem.

Add a special syscall attribute to help syz-imagegen guess the actual
filesystem name from the syz_mount_image variant name.
@a-nogikh a-nogikh force-pushed the features/extend-imagegen branch from 6e7b21f to 297ff27 Compare August 27, 2025 16:51
@a-nogikh
Copy link
Collaborator Author

Pushed two more commits - the objective is to generate a subset of feature combinations (in case there would be too many of them) right in the tool.

TODO: debug the algorithm, for some reason it now stops at 36 instead of the specified 64 seeds.

@a-nogikh a-nogikh force-pushed the features/extend-imagegen branch from 297ff27 to e5527e9 Compare August 27, 2025 18:06
Introduce a new Filesystem parameter - the maximum number of resulting
seeds.

If the total number of flag combinations exceeds this number, switch to
generating a covering array (that is, make sure that all flag value
pairs are covered, or at least as many of them as possible).
Transform the hard-coded list of feature combinations in to individual
groups of features.
@a-nogikh a-nogikh force-pushed the features/extend-imagegen branch from e5527e9 to 894d86f Compare August 28, 2025 10:47
@a-nogikh a-nogikh marked this pull request as ready for review August 28, 2025 10:48
@a-nogikh
Copy link
Collaborator Author

TODO: debug the algorithm, for some reason it now stops at 36 instead of the specified 64 seeds.

Okay, that was not a bug, but rather a feature :)

If we only cover all pairs of feature values, we don't need too many seeds. I've adjusted the code to aim to cover all triples once all pairs are covered, now it can generate more seeds.

@a-nogikh a-nogikh added this pull request to the merge queue Aug 29, 2025
Merged via the queue into google:master with commit 6e04c24 Aug 29, 2025
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants