They apparently made a tool to find vulnerabilities that could later lead to bugs is a different patch was introduced. And for some insane reason, they decided

They apparently made a tool to find vulnerabilities that could later lead to bugs is a different patch was introduced. And for some insane reason, they decided to test if these kinds of bugs would be caught by inventing some and just submitting the patches, without informing anyone beforehand. https://www-users.cs.umn.edu/~kjlu/papers/clarifications-hc.pdf https://www-users.cs.umn.edu/~kjlu/papers/clarifications-hc....