El verano que pasó en el LLVM Clang analizador estático para el kernel de Linux (Linux.com)

Linux.com perfiles Eduard Bachmakov, un estudiante del Google Summer of Code que trabajó en el análisis estático para el kernel de Linux. « Mucho trabajo hacia la creación de un analizador estático para el kernel Linux ya se había realizado como parte del proyecto LLVM. Uno de los objetivos de prácticas de Bachmakov fue demostrar cómo funciona el Analzyer través de una herramienta que los rastros que los errores vienen de y crea un informe. (Véase un ejemplo de la herramienta de comprobación, aquí.) También se propuso hacer una selección de las damas que tengan sentido dentro del kernel. «Muchos (de cheques) aunque técnicamente correcta, no se aplican. Muchas cheques son simplemente omiten porque se entiende que esto nunca iba a suceder «, dijo Bachmakov.» Estos son temas que no se pueden leer desde el código. Estas son las cosas que tienes que saber, así que había un montón de falsos positivos. « »
href href=»http://lwn.net/Articles/574676/rss»> LWN.net