El longevo lenguaje de programación C es ampliamente utilizado en nuestros días para la implantación de soluciones Linux y de sistemas embebidos compactas y eficientes. Sin embargo incluso para los ingenieros de software más experimentados es difícil evitar los modos de falla que tienen que ver con lo no especificado y lo dependiente de la implementación del lenguaje. En el presente trabajo de investigación se utiliza un subconjunto del lenguaje C basado en mediciones para el desarrollo y evaluación de una solución de análisis estático con bajo nivel de ruido basada en Eclipse CDT. La solución desarrollada muestra tasas de falsos positivos menores al 10%.