El manifiesto del "handmade dev" no lo conocía pero es una soberana estupidez. Es tomar una sóla de las dimensiones del problema del desarrollo de software, el rendimiento, y ponerla por encima del resto de dimensiones sin tener en cuenta el contexto.
Pobre del que tenga que mantener el codigo que vayan dejando a su paso estos lumbreras. Velocidad de desarrollo, mantenibilidad, extensibilidad, robustez, escalabilidad (que no es lo mismo que rendimiento)... vamos a olvidarnos de estas cosas y a escribir toneladas de código en lenguajes de bajo nivel optimizando chorradas que no le interesan a nadie!, gran idea.
Cuanto sensacionalismo, luego lees la noticia y resulta que han analizado 700 y pico proyectos en github, analizando errores reportados y los parches que solucionan esos errores. Vamos que para lo único que puede servir es para detectar patrones comunes de error y más que para arreglarlos automaticamente sería util para mostrar avisos de posibles errores si detecta esos patrones o para inferir algunas prácticas que pueden inducir a errores y sacar algún pequeño catalogo de buenas prácticas u olores a evitar.
Hay cientos de herramientas y proyectos de investigación en la misma linea, pero en general las herramientas de analisis estatico como esta tienen un uso bastante limitado, los bugs importantes son los que tienen que ver con la lógica del problema o incluso con no resolver el problema adecuado.