Una solución estática al problema de Buffer Overflow

Abstract

El Buffer Over ow es desde hace más de una década el mayor de los problemas que amenaza la seguridad en sistemas. La clave del éxito para tratar de mitigar sus efectos parece encontrarse en el análisis estático. Es nuestra intención desarrollar un sistema estático (que extiende a LCLint) de detección de posibles problemas de esta naturaleza analizando el código fuente de los programas de aplicación. Una de las mayores ventajas de un sistema de este tipo es que se pueden evitar problemas de seguridad antes de que los programas se encuentren en funcionamiento.