Does Syzgen supports Linux Kernel

[srikanth007m]

Hi @CvvT from this project it seems the support is only for mac OS. Is there any support for Linux Kernel as well?

[CvvT]

Thanks for your interest. Unfortunately, there is no support for Linux drivers right now, but I'm currently working on refactoring the whole project and adding support for Linux. Stay tuned!

[srikanth007m]

@CvvT Thank you for the update. Nice to hear the support coming for Linux kernel. Sure. Let me know if any validation/ testing is needed

[srikanth007m]

@CvvT Any update on adding support to Linux. Thank you.

[CvvT]

Hi @srikanth007m
Thanks for your interest. Unfortunately, refactoring the whole project to support multiple platforms/targets takes much more time than I originally expected. One thing I would like to mention is that this tool aims to analyze kernel drivers without source code. Since we already have source code for Linux, it might be a better idea to use tools like difuze. That said, I'm still working on it. Hopefully, it can be done by this summer.

[srikanth007m]

@CvvT Thank you for the update. I will wait 👍

difuze have some issues with latest LLVM and one more drawback, it won't backtrack all dependencies of the syscalls/ IOCTLs structures.

[srikanth007m]

@CvvT Sorry to bother. Just wanted to know if you got chance to successfully port the syzgen for linux.

[CvvT]

Hey @srikanth007m

I'm actually working on this as part of my dissertation. Porting for Linux is not that difficult and has been done, but I ran into lots of issues when testing more Linux drivers. Debugging and fixing bugs may still take a while and I expect to finish my dissertation by the end of this summer. Thanks for your patience.

-Weiteng

[srikanth007m]

@CvvT thank you for the update. Let me know if any testsing is required or else i will wait for some beta release for linux to try

[srikanth007m]

Hi Weiteng, Just wanted to know if the tool is well matured and available. Can you help share?

[srikanth007m]

@CvvT waiting for your update to share the syzgen for Linux kernel. Please support.

[CvvT]

Hi @srikanth007m

Sorry for my late response. I was occupied recently because I joined MSR last month and didn't have much spare time.
One tricky part of the release of the source code is that I worked at IBM research this summer as an intern and thus some of the new features/patches are now considered as IBM's IP. I'm still working with them to figure out how to make it open source and then I'm allowed to release it.

Thanks for your patience. I will keep you updated when it is available.

[srikanth007m]

@CvvT Sorry for the late response. Congratulation on your new job and role.

Sure, Please update ASAP. Hope it will get release soon.

[srikanth007m]

@CvvT any update on releasing the code?