1# 2# Splint based static code analysis 3# http://www.splint.org/ 4# 5 6splint -I/usr/local/include/SDL -exportlocal SDL_framerate.c 7 8# splint -I/usr/local/include/SDL -weak +matchanyintegral SDL_gfxBlitFunc.c 9splint -I/usr/local/include/SDL -exportlocal +matchanyintegral -shiftimplementation -boolops +boolint -predboolint -shadow -casebreak -dependenttrans -nullstate -compdestroy -compmempass SDL_gfxBlitFunc.c 10 11# splint -I/usr/local/include/SDL -weak +matchanyintegral SDL_rotozoom.c 12splint -I/usr/local/include/SDL -exportlocal +matchanyintegral -shiftimplementation -boolops +boolint -retvalint -predboolint -branchstate -nullret -paramuse -compdef -nullpass -usedef -mustfreefresh -incondefs SDL_rotozoom.c 13 14# splint -I/usr/local/include/SDL -weak +matchanyintegral SDL_gfxPrimitives.c 15splint -I/usr/local/include/SDL -exportlocal +matchanyintegral -shiftimplementation -boolops -type -retvalint -shiftnegative -predboolint -nullassign -branchstate -globstate -usereleased -nullstate -nullpass -compdef -usedef -evalorder -compdestroy SDL_gfxPrimitives.c 16 17# splint -I/usr/local/include/SDL -weak +matchanyintegral SDL_imageFilter.c 18splint -I/usr/local/include/SDL -exportlocal +matchanyintegral -shiftimplementation -boolops +boolint -paramuse -retvalint +charint -mayaliasunique SDL_imageFilter.c 19