Hi!
We discussed collecting and uploading all syzkaller reproducers somewhere. You wanted to see how they look. I've uploaded all current reproducers here: https://github.com/dvyukov/syzkaller-repros Minimalistic build/run scripts are included.
What is the reason behind statically linking the reproducers?
The difference between static and dynamic binary is a bit less than 4MB, which gives difference of several gigabytes for the whole repo. This amount of binary data would complicate and slow down any CI significantly...