Dmitry Vyukov

Another example we go: ``` [ 118.978828][ T3600] bridge0: port 2(bridge_slave_1) entered disabled state [ 118.987933][ T3600] bridge0: port 1(bridge_slave_0) entered disabled state [ 119.018985][ T3610] ====================================================== [ 119.018985][ T3610]...

> For example, the KVM in svm_init(amd) and vmx_init(intel) share many same structures. > If we want to keep them in different syscall description, e.g., syz_describe_svm_init_amd64.txt and syz_describe_vmx_init_amd64.txt, I have...

Note that init functions can have duplicate names as well. Since they are static, they all can be called just init().

> Currently, I have not found any module init functions with duplicate name. But I agree that it is possible to have duplicate name. How about using the path and...

> the same structures with different values would also be different. (I remember I saw this feature in syzkaller, but I cannot find this, please point out my mistakes if...

> I run make presubmit locally with no error. However, there is one in ci. That's a OOM flake, I've restarted CI.

We've discussed this internally and we think the first reasonable and uncontroversial step would be to commit automatic descriptions for interfaces for which we don't have manual descriptions. Can you...

Started looking. I assumed linux-v5.12-def (defconfig?) is a subset of linux-v5.12-allyes, but first 3 files I see in linux-v5.12-def are not present in linux-v5.12-allyes: syz_describe_arch_x86_kernel_cpuid_c_amd64.txt syz_describe_arch_x86_kernel_msr_c_amd64.txt syz_describe_block_bsg_c_amd64.txt Also matching files...

Looking at: https://github.com/ZHYfeng/Syscall_Description_by_SyzDescribe/blob/master/linux-v5.12-allyes/syz_describe_drivers_xen_evtchn_c_amd64.txt all ioctl's have intptr arguments. I understand there may be some false negatives, but both ioctl code looks pretty idiomatic and does typed copy_from_user in each case:...

I continued looking for some descriptions that are reachable in VMs and that we could commit. I noticed lots don't have any ioctls, and just open's won't give lots of...