There does appear to be a static analysis tool. https://www-users.cs.umn.edu/~kjlu/papers/eecatch.pdf?fbclid=IwAR0isr1QLNlofPBDpR1tf8rYUEknEeTHf2VdmIxZZboAmR4-

There does appear to be a static analysis tool. https://www-users.cs.umn.edu/~kjlu/papers/eecatch.pdf?fbclid=IwAR0isr1QLNlofPBDpR1tf8rYUEknEeTHf2VdmIxZZboAmR4-FpCLfbaIYrQ https://www-users.cs.umn.edu/~kjlu/papers/eecatch.pdf?fbclid... Still, given that he is 4+ years into a PhD (after a Masters), and has published on this topic before, his first deflection is "We are not experts in the linux kernel" seems disingenuous - kinda like "Hey guys, I'm not malicious, just not good at my job."