I use splint since few months now and find it very helpful.  However I hit
problem recently on Win98 OS.  Since I use Splint for an embedded project, I
use it
with batch file.  The command line look like this:

c:\travail\splint-\bin\splint -f c:\travail\ipmi2148\%1
..filepath\file.c ...

It seems that there is a line limit of 1000 characters on the batch
interpreter of Win98.  Unfortunately the source file list (~23 files)
including the path is longer than 1000 characters.  This problem does not
seems to occur on Win2000 OS batch file interpreter but I must compile
this project on both OS.

I look through the splint Doc file to find a flag that allow to include the
source file list to check by Splint within an option file (-f) and did not
find anything.  I also scan the mailing list and the source code of Splint
itself and only find the CPATH that seems appropriate only for dot h file.

For instance the only workaround I find is: 
-use wild card such *.c, but on a real project this is not very convenient
since there is always system or architecture dot c file we don't want to
check or only
temp dot c file that must not be compiled.  
-break the project in two section: not very usefull since for many check
such as unused function.

SUGGESTION for improvement
It would be great if Splnit has a flag that allow to include the complete
source file
list to check within an option file (such as the -I for include) or at
least an "exclude source file flag" to allow to use wild card. 

Stephane Martin, ing.                 

Reply via email to