skarg
28 lines
660 B
Bash
Executable File
28 lines
660 B
Bash
Executable File
#!/bin/sh
|
|
# splint is a static code checker
|
|
|
|
SPLINT=/usr/bin/splint
|
|
|
|
[ -x ${SPLINT} ] || exit 0
|
|
|
|
DEFINES="-D__signed__=signed -D__gnuc_va_list=va_list"
|
|
INCLUDES="-Iinclude -Idemo/object -Iports/linux"
|
|
SETTINGS="-castfcnptr -fullinitblock -initallelements -weak -warnposixheaders"
|
|
SPLINT_LOGFILE=splint_output.txt
|
|
|
|
if [ ! -e .splintrc ]
|
|
then
|
|
echo ${DEFINES} ${INCLUDES} ${SETTINGS} > .splintrc
|
|
fi
|
|
|
|
directory=${1-`pwd`}/src
|
|
rm -f splint_output.txt
|
|
touch splint_output.txt
|
|
for filename in $( find $directory -name '*.c' )
|
|
do
|
|
echo splinting ${filename}
|
|
echo splinting ${filename} >> ${SPLINT_LOGFILE}
|
|
${SPLINT} ${filename} >> ${SPLINT_LOGFILE} 2>&1
|
|
done
|
|
|