Avances en la línea de investigación sobre PCC del grupo de procesadores de lenguajes y métodos formales de la UNRC

Abstract

En este trabajo se presenta una de las líneas del grupo de investigación “Procesadores de Lenguajes y Métodos Formales”, perteneciente al Departamento de Computación de la UNRC. El aspecto fundamental de dicha línea es la creación de un framework para proponer soluciones alternativas que contribuyan al logro de técnicas de generación y ejecución eficiente de Código Móvil Seguro. Se presenta a C-Metric, una herramienta para medir métricas sobre programas C. C-Metric cuenta con un analizador sintáctico y semántico de programas C, que genera un árbol sintáctico abstracto sobre el cual se evaluan las diferentes métricas. La construcción de dicho árbol contempla todo el proceso a que somete al programa fuente el entorno de compilación C (preprocesador, bibliotecas estándar, etc).