Programas para análisis automático de fuentes en C

Estos programas fueron desarrollados dentro de un estudio sobre la viabilidad de aumentar el grado de valoración posible sin intervención personal. Se supone que los fuentes están en C y tienen el nivel de novatos/aprendices. Un experto puede engañar a estos programas sin dificultad. En los programas hay implícitas una serie de presuposiciones respecto al nivel de aprendices que los hace válidos para los alumnos locales, pero que puede no valer para otros alumnos o aprendices.
El conjunto de programas va en este paquete comprimido, y son:

• ctagsl.awk: generación de etiquetas para programas simples
  Utilidad: es una versión simplísima de ctags, sólo para obtener nombre de variables locales y de funciones.
  
• corrige: análisis de plantillas y variables utilizadas
  (El ejecutable Windows fue generado en Windows 2000 y el ejecutable Linux fue generado en Fedora Core 5)
  Utilidad: el fuente a analizar estará en el fichero "analizar", sin saltos de línea. Además estará el resultado del programa anterior en "ctags.dat". Las plantillas y roles que reconoce son:
  • Construcción de vector: índice, límite del ciclo, vector construido
  • Cuenta: índice, límite, contador
  • Búsqueda de extremo: índice, límite, extremo
  • Ordenación: vector ordenado
  • Acumulación: índice, límite, acumulador
  • Recorrido de matriz: índice 1, límite 1, índice 2, límite 2,  matriz recorrida
  • Recorrido de vector: índice, límite, vector recorrido
  • Recorrido escribiendo: índice, límite, variable escrita
    
  • Recorrido leyendo: índice, límite, variable leída (puede haber varias)
  • Ciclo: índice, límite
  • Condicional: condición (puede haber varias)
  • Escritura: variable escrita (puede haber varias)
  • Lectura: variable leída (puede haber varias)
  • Asignación: resultado, operando (puede haber varios)
  Tanto las plantillas como las variables implicadas las saca en dos formatos: simple (en el fichero "corrige.sal" las plantillas y en "tablavar" los roles de variables) para que lo lean otros programas, y formateado para que lo lean personas (en pantalla, primero sólo las plantillas y luego el detalle ordenado por flujo y en "variab.sal" ordenado por variables).
• Eliminación de salida de textos (útiles quizás para comparar baterías de pruebas automáticas)
  
  1. borrapet: el ejecutable Windows fue generado en Windows 98 y el ejecutable Linux fue generado en Fedora Core 5.
     Utilidad: elimina las escrituras que no sacan variables y los mensajes de petición previos a lecturas. El programa original debe llamarse "viejo.c" y el nuevo se llamará "corregir.c"
     
  2. quitatext.pl
     Utilidad: elimina de las escrituras todo lo que no sea salida de variables