nextupprevious
Next: 17.2. Grep Up: ÍndicePrevious: 17. Herramientas de ayuda a la programación en C


17.1. Lint

El programa lint (disponible en entornos UNIX, PC-lint es la versión para PC's) toma como entrada un fichero que contiene código C y emite diversos mensajes cuyo objetivo es mejorar la corrección, eficacia y portabilidad de los programas C. Por ejemplo, lint indica datos o funciones declarados pero no utilizados; también detecta partes del código que inadvertidamente nunca serán ejecutadas, detecta variables declaradas y no utilizadas etc.. En términos generales, siempre debe emplearse lint antes de proceder a la compilación final.
Con frecuencia, el gran número de mensajes de aviso e información que Lint genera es demasiado grande; por ello se puede proceder a inhibir la generación de ciertos mensajes, pero hemos de advertir que ello ha de hacerse con conocimiento exacto del significado del mensaje que se ha generado.
Para depurar ciertos ficheros (f1.c, f2.c ...) usando PC-Lint en la red Novell del C.S.I. basta escribir:

LINT f1[.C] f2[.C] ... f6[.C]

ello provoca que se ejecute el siguiente fichero de comandos:

X:\CAMINO\lint2 +v -iX:\CAMINO\ std.lnt %1 %2 %3 %4 %5 %6 >_lint.tmp
type _lint.tmp | more
@echo off
echo ---
echo PC-lint for C output placed in _LINT.TMP

donde X: es la unidad de disco correspondiente a la red y \CAMINO\ representa el PATH correspondiente a la instalación de PC-Lint en la red: \PROG\COMP\PCLINT\. Como se ve, los mensajes de error de PC-Lint quedan almacenados en el fichero _lint.tmp que además es mostrado por pantalla.
La opción +v implica la activación de los mensajes informativos.
La opción -i implica que los ficheros necesarios que no se encuentren en el directorio de trabajo se buscarán en el directorio especificado a continuación.
El fichero std.lnt contiene los nombres de otros ficheros en los que se especifica el modo de trabajo de PC-Lint:

co-tc.lnt: Contiene ciertas opciones para ser utilizadas con los compiladores de Turbo C, Turbo C++ y Borland C++

options.lnt: Habitualmente el usuario deberá colocar una copia de este fichero en su propio directorio. Es un fichero en el que el usuario puede incluir su propia política de eliminación de mensajes. Incluyendo en ese fichero líneas con el formato:

     -eN

donde N es un cierto número, conseguiremos que PC-Lint no genere el mensaje número N.

Si se ejecuta X:\CAMINO\LINT sin más opciones, PC-Lint mostrará todas las opciones disponibles. El usuario puede crear su propio fichero de comandos para invocar PC-Lint utilizando las opciones que más le interesen en cada momento.
Desde el entorno integrado del Borland C++ 2.0 se puede invocar PC-Lint utilizando la opción "Lint" del menú ? (el que se encuentra a la izquierda del de Archivo en la barra de menús). Las opciones que utiliza PC-Lint en este caso pueden verse en el menú de opciones, bajo el epígrafe "Transfer".

Lintdemo.c Un programa de ejemplo para ejecutar pc-lint



nextupprevious
Next: 17.2. Grep Up: ÍndicePrevious: 17. Herramientas de ayuda a la programación en C


Última modificación: 26/4/1999


Copyright © 1999, F. de Sande - Centro Superior de Informática, Universidad de La Laguna.
All rights reserved.