5
echo "Usage: gelint <gridengine dir> file(s)"
11
if [ ! -d "$GE/source" -a ! -f "$GE/Changelog" ]; then
12
echo "$GE is not a gridengine source directory!"
13
echo "$GE/Changelog and $GE/source are missing!"
20
ERRSECLEVEL=core #core security checks printf scanf only
21
#ERRSECLEVEL=standard #standard is core plus strlcpy and so on
22
#ERRSECLEVEL=extended #extended is standard plus getc fgetc, full exec command family, path race conditions,
23
#reviewing code determining security issues
28
E_FUNC_RET_ALWAYS_IGNOR2
29
E_FUNC_RET_MAYBE_IGNORED2
30
E_NAME_DECL_NOT_USED_DEF2
35
E_ASSIGMENT_CAUSE_LOSS_PREC
38
E_EQUALITY_NOT_ASSIGNMENT
41
E_INDISTING_FROM_TRUNC2
44
E_INCONS_VAL_TYPE_DECL2
47
for err in $IGNORE_ERRS
49
ERRIGNORE="$ERRIGNORE -erroff=$err"
52
INC_FLAGS=`cd $GE/source; ./aimk -flags | grep INCLUDES | cut -d: -f2 | sed -e s?"\.\."?"$GE/source"?g`
53
C_FLAGS=`cd $GE/source; ./aimk -flags | grep CFLAGS | cut -d: -f2 | sed -e s/"-xarch"/"-Xarch"/g | sed -e s/"-xchip=generic -xcache=generic"//g | sed -e s/"-fast"//g`
55
ADDITIONAL_INCLUDES=" -I/usr/include/rpc/"
60
$ADDITIONAL_INCLUDES \
63
-errsecurity=$ERRSECLEVEL \