2 Source files are .c, .h and .lcl files. If there is no suffix,
3 Splint will look for <file>.c and <file>.lcl.
5 Use splint -help <topic or flag name> for more information
9 annotations (describes source-code annotations)
10 comments (describes control comments)
11 flags (describes flag categories)
12 flags <category> (describes flags in category)
13 flags all (short description of all flags)
14 flags alpha (list all flags alphabetically)
15 flags full (full description of all flags)
16 mail (information on mailing lists)
17 modes (show mode settings)
18 parseerrors (help on handling parser errors)
19 prefixcodes (character codes in namespace prefixes)
20 references (sources for more information)
21 vars (environment variables)
22 version (information on compilation, maintainer)
25 Finished checking --- no code processed
27 Source files are .c, .h and .lcl files. If there is no suffix,
28 Splint will look for <file>.c and <file>.lcl.
30 Use splint -help <topic or flag name> for more information
34 annotations (describes source-code annotations)
35 comments (describes control comments)
36 flags (describes flag categories)
37 flags <category> (describes flags in category)
38 flags all (short description of all flags)
39 flags alpha (list all flags alphabetically)
40 flags full (full description of all flags)
41 mail (information on mailing lists)
42 modes (show mode settings)
43 parseerrors (help on handling parser errors)
44 prefixcodes (character codes in namespace prefixes)
45 references (sources for more information)
46 vars (environment variables)
47 version (information on compilation, maintainer)
51 Command Line: Unrecognized option: asdf
52 A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
55 Finished checking --- no code processed
57 Warning: setting +boolint redundant with current value
59 Finished checking --- no code processed
143 distinctexternalnames
144 distinctinternalnames
169 externalnamecaseinsensitive
172 externalprefixexclude
182 filestaticprefixexclude
220 impcheckedstrictglobs
221 impcheckedstrictspecglobs
222 impcheckedstrictstatics
228 implementationoptional
243 internalnamecaseinsensitive
245 internalnamelookalike
273 longunsignedunsignedintegral
290 macrovarprefixexclude
376 protoparamprefixexclude
471 uncheckedmacroprefixexclude
482 unrecognizeddirective
494 warnmissingglobsnoglobs
506 likelybool --- type name is probably a boolean type but does not match default
507 boolean type name, "bool", and alternate name is not set
508 impabstract --- assume user type definitions are abstract (unless
509 /*@concrete@*/ is used)
510 accessall --- set accessmodule, accessfile and accessczech
511 accessmodule --- allow access to abstract types in definition module
512 accessfile --- allow access to abstract types by file name convention
513 accessczech --- allow access to abstract types by czech naming convention
514 accessslovak --- allow access to abstract types by slovak naming convention
515 accessczechoslovak --- allow access to abstract types by czechoslovak naming
517 abstract --- data abstraction barriers
518 mutrep --- representation of mutable type has sharing semantics
519 globalias --- function returns with global aliasing external state (sets
520 checkstrictglobalias, checkedglobalias, checkmodglobalias and
522 checkstrictglobalias --- function returns with a checkstrict global aliasing
524 checkedglobalias --- function returns with a checked global aliasing external
526 checkmodglobalias --- function returns with a checkmod global aliasing external
528 uncheckedglobalias --- function returns with an unchecked global aliasing
530 aliasunique --- unique parameter is aliased
531 mayaliasunique --- unique parameter may be aliased
532 mustnotalias --- temp storage aliased at return point or scope exit
533 retalias --- function returns alias to parameter or global
534 noparams --- function declaration has no parameter list
535 oldstyle --- old style function definition
536 gnuextensions --- support some gnu (gcc) language extensions
537 usevarargs --- non-standard <varargs.h> included
538 warnposixheaders --- a POSIX header is included, but the POSIX library is not
540 exitarg --- argument to exit has implementation defined behavior
541 evalorder --- code has unspecified or implementation-dependent behavior because
542 of order of evaluation
543 evalorderuncon --- code involving call to unspecified function has undefined or
544 implementation-dependent behavior
545 boolfalse --- set name of boolean false (default FALSE)
546 booltype --- set name of boolean type (default bool)
547 booltrue --- set name of boolean true (default TRUE)
548 noaccess --- ignore access comments
549 nocomments --- ignore all stylized comments
550 unrecogcomments --- stylized comment is unrecognized
551 unrecogflagcomments --- stylized flag comment uses an unrecognized flag
552 continuecomment --- line continuation marker (\) in comment before */ on same
554 slashslashcomment --- C++ style // comment
555 nestcomment --- comment begins inside comment
556 tmpcomments --- interpret t comments (ignore errors in lines marked with
558 lintcomments --- interpret traditional lint comments (/*FALLTHROUGH*/,
560 warnlintcomments --- print a warning and suggest an alternative when a
561 traditional lint comment is used
562 declundef --- function or variable declared but never defined
563 specundef --- function or variable specified but never defined
564 specundecl --- function or variable specified but never declared in a source
566 loopexec --- assume all loops execute at least once (sets forloopexec,
567 whileloopexec and iterloopexec)
568 forloopexec --- assume all for loops execute at least once
569 whileloopexec --- assume all while loops execute at least once
570 iterloopexec --- assume all iterator loops execute at least once
571 obviousloopexec --- assume loop that can be determined to always execute always
573 infloops --- likely infinite loop is detected
574 infloopsuncon --- likely infinite loop is detected (may result from
575 unconstrained function)
576 deepbreak --- break inside nested while or for or switch
577 looploopbreak --- break inside nested while or for
578 switchloopbreak --- break in loop inside switch
579 loopswitchbreak --- break in switch inside loop
580 switchswitchbreak --- break in switch inside switch
581 looploopcontinue --- continue inside nested loop
582 unreachable --- unreachable code detected
583 whileempty --- a while statement has no body
584 whileblock --- the body of a while statement is not a block
585 forempty --- a for statement has no body
586 forblock --- the body of a for statement is not a block
587 ifempty --- an if statement has no body
588 ifblock --- the body of an if statement is not a block
589 allempty --- an if, while or for statement has no body (sets ifempty,
590 whileempty and forempty
591 allblock --- the body of an if, while or for statement is not a block (sets
592 ifblock, whileblock and forblock)
593 elseifcomplete --- if ... else if chains must have final else
594 noret --- path with no return detected in non-void function
595 casebreak --- non-empty case in a switch without preceding break
596 misscase --- switch on enum type missing case for some value
597 firstcase --- first statement in switch is not a case
598 shadow --- declaration reuses name visible in outer scope
599 incondefslib --- function, variable or constant defined in a library is
600 redefined with inconsistent type
601 overload --- library function overloaded
602 nestedextern --- an extern declaration is inside a function scope
603 redecl --- function or variable redeclared
604 redef --- function or variable redefined
605 incondefs --- function, variable or constant redefined with inconsistent type
606 imptype --- variable declaration has unknown (implicitly int) type
607 matchfields --- struct or enum type redefined with inconsistent fields or
609 usedef --- use before definition
610 impouts --- pointer parameters to unspecified functions may be implicit out
612 tmpdir --- set directory for writing temp files
613 larchpath --- set path for searching for library files (overrides LARCH_PATH
614 environment variable)
615 lclimportdir --- set directory to search for LCL import files (overrides
617 sysdirs --- set directories for system files (default /usr/include). Separate
618 directories with path separator (colons in Unix, semi-colons in Windows). Flag
619 settings propagate to files in a system directory. If -sysdirerrors is set, no
620 errors are reported for files in system directories.
621 skipansiheaders --- prevent inclusion of header files in a system directory
622 with names that match standard ANSI headers. The symbolic information in the
623 standard library is used instead. Flag in effect only if a library including
624 the ANSI library is loaded. The ANSI headers are:
625 assert, ctype, errno, float, limits, locale, math, setjmp, signal, stdarg,
626 stddef, stdio, stdlib, strings, string, time, and wchar.
627 skipposixheaders --- prevent inclusion of header files in a system directory
628 with names that match standard POSIX headers. The symbolic information in the
629 posix library is used instead. The POSIX headers are:
630 dirent, fcntl, grp, pwd, termios, sys/stat, sys/times, sys/types, sys/utsname,
631 sys/wait, unistd, and utime.
632 sysdirerrors --- report errors in files in system directories (set by -sysdirs)
633 sysdirexpandmacros --- expand macros in system directories regardless of other
634 settings, except for macros corresponding to names defined in a load library
635 I<directory> --- add to C include path
636 S<directory> --- add to spec path
637 quiet --- suppress herald and error count
638 usestderr --- send error messages to standard error (instead of standard out)
639 showsummary --- show summary of all errors reported and suppressed
640 showscan --- show file names are they are processed
641 stats --- display lines processed and time
642 timedist --- display time distribution
643 showalluses --- show sorted list of uses of all globals
644 noeffect --- statement with no effect
645 noeffectuncon --- statement with no effect (except possibly through call to
646 unconstrained function)
647 exportany --- variable, function or type exported but not specified
648 exportfcn --- function exported but not specified
649 exportmacro --- expanded macro exported but not specified
650 exporttype --- type definition exported but not specified
651 exportvar --- variable exported but not specified
652 exportconst --- constant exported but not specified
653 exportiter --- constant exported but not specified
654 repexpose --- abstract representation is exposed (sets assignexpose, retexpose,
656 retexpose --- abstract representation is exposed (return values only)
657 assignexpose --- abstract representation is exposed (assignments only)
658 castexpose --- abstract representation is exposed through a cast
659 linelen --- set length of messages (number of chars)
660 indentspaces --- set number of spaces to indent sub-messages
661 showcolumn --- show column number where error is found
662 parenfileformat --- show column number where error is found
663 showfunc --- show name of function containing error
664 showallconjs --- show all possible types
665 impconj --- make all alternate types implicit (useful for making system
667 expect --- expect <int> code errors
668 lclexpect --- expect <int> spec errors
669 partial --- check as partial system (-specundef, -declundef, -exportlocal,
670 don't check macros in headers without corresponding .c files)
671 globs --- undocumented use of a checked global variable
672 globuse --- global listed for a function not used
673 internalglobs --- use of internalState
674 internalglobsnoglobs --- use of internalState (in function with no globals
676 warnmissingglobs --- global variable used in modifies clause is not listed in
678 warnmissingglobsnoglobs --- global variable used in modifies clause in a
679 function with no globals list
680 globnoglobs --- use of checked global in a function with no globals list or
682 allglobs --- report use and modification errors for globals not annotated with
684 checkstrictglobs --- report use and modification errors for checkedstrict
686 impcheckedspecglobs --- assume checked qualifier for unqualified global
687 declarations in .lcl files
688 impcheckmodspecglobs --- assume checkmod qualifier for unqualified global
689 declarations in .lcl files
690 impcheckedstrictspecglobs --- assume checkmod qualifier for unqualified global
691 declarations in .lcl files
692 impcheckedglobs --- assume checked qualifier for unqualified global
694 impcheckmodglobs --- assume checkmod qualifier for unqualified global
696 impcheckedstrictglobs --- assume checkedstrict qualifier for unqualified global
698 impcheckedstatics --- assume checked qualifier for unqualified file static
700 impcheckmodstatics --- assume checkmod qualifier for unqualified file static
702 impcheckmodinternals --- assume checkmod qualifier for unqualified local static
703 declarations (for internal state modifications)
704 impcheckedstrictstatics --- assume checkedstrict qualifier for unqualified file
706 modglobs --- undocumented modification of a checked global variable
707 modglobsnomods --- undocumented modification of a checked global variable in a
708 function declared with no modifies clause
709 modstrictglobsnomods --- undocumented modification of a strict checked global
710 variable in a function declared with no modifies clause
711 modglobsunchecked --- undocumented modification of an unchecked checked global
713 lh --- generate .lh files
714 lcs --- generate .lcs files
715 singleinclude --- optimize header inclusion to eliminate redundant includes
716 neverinclude --- optimize header inclusion to not include any header files
717 skipsysheaders --- do not include header files in system directories (set by
719 warnflags --- warn when command line sets flag in abnormal way
720 warnrc --- warn when there are problems with reading the initialization files
721 warnunixlib --- warn when the unix library is used
722 badflag --- warn about bad command line flags
723 forcehints --- provide a hint for every warnings
724 help --- -help <flags> will describe flags
725 hints --- provide a hint the first time a particular warning appears
726 retval --- return value ignored (sets retvalint, retvalbool and retvalother)
727 retvalother --- return value of type other than bool or int ignored
728 retvalbool --- return value of manifest type bool ignored
729 retvalint --- return value of type int ignored
730 f --- read an options file (default ~/.splintrc not loaded)
731 i --- set LCL initilization file
732 nof --- do not read options file
733 needspec --- information in specifications is not also included in syntactic
735 newdecl --- report new global declarations in source files
736 hasyield --- iter declaration has no yield parameters
737 dump --- save state for merging (default suffix .lcd)
738 load --- load state from dump file (default suffix .lcd)
739 nolib --- do not load standard library
740 ansilib --- use ANSI (ISO) standard library
741 strictlib --- interpret standard library strictly
742 unixlib --- use UNIX (sort-of) standard library
743 unixstrictlib --- use strict version of UNIX (sort-of) library
744 posixlib --- use POSIX standard library
745 posixstrictlib --- use strict POSIX standard library
746 whichlib --- show standard library filename
747 mts --- load meta state declaration and corresponding xh file
748 commentchar --- set marker character for syntactic comments (default is '@')
749 allmacros --- sets fcnmacros and constmacros
750 libmacros --- check all macros with declarations in library as functions
751 specmacros --- check all macros corresponding to specified functions or
753 fcnmacros --- check all macros with parameter lists as functions
754 constmacros --- check all macros without parameter lists as constants
755 macromatchname --- macro definition does not match iter or constant declaration
756 nextlinemacros --- the line after a constant or iter declaration must be a
758 macrostmt --- macro definition is syntactically not equivalent to function
759 macroempty --- macro definition for is empty
760 macroparams --- macro parameter not used exactly once
761 macroassign --- assignment to a macro parameter
762 sefparams --- a parameter with side-effects is passed as a sef parameter
763 sefuncon --- a parameter with unconstrained side-effects is passed as a sef
765 macroparens --- macro parameter used without parentheses (in potentially
767 macrodecl --- macro without prototype or specification (sets macrofcndecl and
769 macrofcndecl --- parameterized macro without prototype or specification
770 macroconstdecl --- non-parameterized macro without prototype or specification
771 macroredef --- macro redefined
772 macrounrecog --- unrecognized identifier in macro
773 stackref --- external reference to stack-allocated storage is created
774 usereleased --- storage used after release
775 strictusereleased --- element used after it may have been released
776 compdef --- parameter, return value or global completely defined
777 compmempass --- actual parameter matches alias kind of formal parameter
779 mustdefine --- out storage not defined before return or scope exit
780 uniondef --- at least one field of a union must be defined
781 memimp --- memory errors for unqualified storage
782 paramimptemp --- assume unannotated parameter is temp
783 allimponly --- sets globimponly, retimponly, structimponly, specglobimponly,
784 specretimponly and specstructimponly
785 codeimponly --- sets globimponly, retimponly and structimponly
786 specimponly --- sets specglobimponly, specretimponly and specstructimponly
787 globimponly --- assume unannotated global storage is only
788 retimponly --- assume unannotated returned storage is only
789 structimponly --- assume unannotated structure field is only
790 specglobimponly --- assume unannotated global storage is only
791 specretimponly --- assume unannotated returned storage is only
792 specstructimponly --- assume unannotated structure field is only
793 deparrays --- array elements are dependent storage
794 compdestroy --- all only references derivable from void pointer out only
795 parameter are released
796 strictdestroy --- report complete destruction errors for array elements that
797 may have been released
798 mustfreefresh --- freshly allocated storage not released before return or scope
800 mustfreeonly --- only storage not released before return or scope exit
801 mustfree --- fresh or only storage not released before return or scope exit
802 (sets mustfreefresh and mustfreeonly)
803 branchstate --- storage has inconsistent states of alternate paths through a
805 strictbranchstate --- storage through array fetch has inconsistent states of
806 alternate paths through a branch
807 memchecks --- sets all dynamic memory checking flags (memimplicit, mustfree,
808 mustdefine, mustnotalias, null, memtrans)
809 memtrans --- memory transfer errors (sets all *trans flags)
810 exposetrans --- exposure transfer errors
811 observertrans --- observer transfer errors
812 dependenttrans --- dependent transfer errors
813 newreftrans --- new reference transfer to reference counted reference
814 onlytrans --- only storage transferred to non-only reference (memory leak)
815 onlyunqglobaltrans --- only storage transferred to an unqualified global or
816 static reference (memory leak)
817 ownedtrans --- owned storage transferred to non-owned reference (memory leak)
818 freshtrans --- fresh storage transferred to non-only reference (memory leak)
819 sharedtrans --- shared storage transferred to non-shared reference
820 temptrans --- temp storage transferred to non-temporary reference
821 kepttrans --- kept storage transferred to non-temporary reference
822 keeptrans --- keep storage transferred inconsistently
823 immediatetrans --- an immediate address (result of &) is transferred
825 refcounttrans --- reference counted storage is transferred in an inconsistent
827 statictrans --- static storage is transferred in an inconsistent way
828 unqualifiedtrans --- unqualified storage is transferred in an inconsistent way
829 staticinittrans --- static storage is used as an initial value in an
831 unqualifiedinittrans --- unqualified storage is used as an initial value in an
833 readonlystrings --- string literals are read-only (error if one is modified or
835 readonlytrans --- report memory transfer errors for initializations to
836 read-only string literals
837 passunknown --- passing a value as an un-annotated parameter clears its
839 mods --- unspecified modification of caller-visible state
840 mustmod --- specified modification is not detected
841 modobserver --- possible modification of observer storage
842 modobserveruncon --- possible modification of observer storage through
844 modinternalstrict --- possible modification of internal storage through
846 modfilesys --- report undocumented file system modifications (applies to
847 unspecified functions if modnomods is set)
848 modunspec --- modification in unspecified functions (sets modnomods,
849 modglobunspec and modstrictglobsunspec)
850 modnomods --- modification in a function with no modifies clause
851 moduncon --- possible modification through a call to an unconstrained function
852 modunconnomods --- possible modification through a call to an unconstrained
853 function in a function with no modifies clause
854 globsimpmodsnothing --- functions declared with a globals list but no modifies
855 clause are assumed to modify nothing
856 modsimpnoglobs --- functions declared with a modifies clause but no globals
857 list are assumed to use no globals
858 namechecks --- controls name checking without changing other settings
859 czech --- czech naming convention (sets accessczech, czechfunctions, czechvars,
860 czechconstants, czechenums, and czechmacros)
861 czechfcns --- czech naming convention violated in a function or iterator
863 czechvars --- czech naming convention violated in a variable declaration
864 czechmacros --- czech naming convention violated in an expanded macro name
865 czechconsts --- czech naming convention violated in a constant declaration
866 czechtypes --- czech naming convention violated in a user-defined type
868 slovak --- slovak naming convention violated
869 slovakfcns --- slovak naming convention violated in a function or iterator
871 slovakmacros --- slovak naming convention violated in an expanded macro name
872 slovakvars --- slovak naming convention violated in a variable declaration
873 slovakconsts --- slovak naming convention violated in a constant declaration
874 slovaktypes --- slovak naming convention violated in a use-defined type
876 czechoslovak --- czech or slovak naming convention violated
877 czechoslovakfcns --- czechoslovak naming convention violated in a function or
879 czechoslovakmacros --- czechoslovak naming convention violated in an expanded
881 czechoslovakvars --- czechoslovak naming convention violated in a variable
883 czechoslovakconsts --- czechoslovak naming convention violated in a constant
885 czechoslovaktypes --- czechoslovak naming convention violated in a user-defined
887 ansireserved --- external name conflicts with name reserved for system or
889 cppnames --- external or internal name is a C++ keyword or reserved word
890 ansireservedinternal --- internal name conflicts with name reserved for system
892 distinctexternalnames --- external name is not distinguishable from another
893 external name using the number of significant characters
894 externalnamelen --- set the number of significant characters in an external
896 externalnamecaseinsensitive --- alphabetic comparisons for external names are
898 distinctinternalnames --- internal name is not distinguishable from another
899 internal name using the number of significant characters
900 internalnamelen --- set the number of significant characters in an internal
902 internalnamecaseinsensitive --- set whether case is significant an internal
903 names (-internalnamecaseinsensitive means case is significant)
904 internalnamelookalike --- lookalike characters match in internal names
905 macrovarprefix --- set namespace prefix for variables declared in a macro body
906 macrovarprefixexclude --- the macrovarprefix may not be used for non-macro
908 tagprefix --- set namespace prefix for struct, union and enum tags
909 tagprefixexclude --- the tagprefix may not be used for non-tag identifiers
910 enumprefix --- set namespace prefix for enum members
911 enumprefixexclude --- the enumprefix may not be used for non-enum member
913 filestaticprefix --- set namespace prefix for file static declarations
914 filestaticprefixexclude --- the filestaticprefix may not be used for
915 identifiers that are not file static
916 globalprefix --- set namespace prefix for global variables
917 globalprefixexclude --- the globalprefix may not be used for non-global
919 typeprefix --- set namespace prefix for user-defined types
920 typeprefixexclude --- the typeprefix may not be used for identifiers that are
922 externalprefix --- set namespace prefix for external identifiers
923 externalprefixexclude --- the externalprefix may not be used for non-external
925 localprefix --- set namespace prefix for local variables
926 localprefixexclude --- the localprefix may not be used for non-local
928 uncheckedmacroprefix --- set namespace prefix for unchecked macros
929 uncheckedmacroprefixexclude --- the uncheckmacroprefix may not be used for
930 identifiers that are not unchecked macros
931 constprefix --- set namespace prefix for constants
932 constprefixexclude --- the constprefix may not be used for non-constant
934 iterprefix --- set namespace prefix for iterators
935 iterprefixexclude --- the iterprefix may not be used for non-iter identifiers
936 protoparamprefix --- set namespace prefix for parameters in function prototype
938 protoparamname --- a parameter in a function prototype has a name
939 protoparammatch --- the name of a parameter in a function prototype and
940 corresponding declaration must match (after removing the protoparamprefix
941 protoparamprefixexclude --- the protoparamprefix may not be used for
942 non-declaraction parameter identifiers
943 controlnestdepth --- set maximum nesting depth of compound statements,
944 iteration control structures, and selection control structures (ANSI minimum is
946 stringliterallen --- set maximum length of string literals (ANSI minimum is
948 numstructfields --- set maximum number of fields in a struct or union (ANSI
950 numenummembers --- set maximum number of members of an enum (ANSI minimum is
952 includenest --- set maximum number of nested #include files
953 ansilimits --- check for violations of standard limits (controlnestdepth,
954 stringliterallen, includenest, numstructfields, numenummembers)
955 null --- misuses of null pointer
956 nullterminated --- misuse of nullterminated allocation
957 arrayread --- possible out of bounds read
958 arraywrite --- possible buffer overflow from an out of bounds write
959 fcnpost --- Function has the post condition
960 parenconstraint --- parenthesize constraint term
961 debugfcnconstraint --- debuging constraint flas
962 arraybounds --- Possible out-of-bounds store. Unable to resolve constraint:
963 arrayboundsread --- Possible out-of-bounds read. Unable to resolve constraint:
964 fcnconstraint --- unresolved constraint
965 checkpost --- unable to verify ensures annotation
966 constraintlocation --- display full c expression for every constraint generated
967 implictconstraint --- Try to generate implicit constraints for functions
968 orconstraint --- Use limited OR expressions to resolve constraints
969 nullterminated --- misuse of nullterminated allocation
970 nullderef --- possible dereferencce of null pointer
971 fcnderef --- dereferencce of a function type
972 nullpass --- possibly null pointer passed as formal with no null annotation
973 nullret --- possibly null pointer returned as result with no null annotation
974 nullstate --- possibly null pointer reachable from a reference with no null
976 nullassign --- inconsistent assignment or initialization involving null pointer
977 boolcompare --- comparison between bools (dangerous because of multiple TRUE
979 realcompare --- dangerous comparison between reals (dangerous because of
980 inexact floating point representations)
981 unsignedcompare --- comparison using <, <=, >= between an unsigned integral and
983 ptrarith --- arithmetic involving pointer and integer
984 nullptrarith --- arithmetic involving possibly null pointer and integer
985 ptrcompare --- comparison between pointer and number
986 strictops --- primitive operation does not type check strictly
987 bitwisesigned --- a bitwise logical operator does not have unsigned operands
988 shiftnegative --- a shift right operand may be negative
989 shiftimplementation --- a shift left operand may be negative
990 boolops --- primitive operation (!, && or ||) does not has a boolean argument
991 ptrnegate --- allow ! to be used on pointer operand
992 sizeoftype --- sizeof operator has a type argument
993 sizeofformalarray --- sizeof operator has an array formal parameter argument
994 fixedformalarray --- formal parameter of type array is declared with size
995 incompletetype --- formal parameter has an incomplete type
996 formalarray --- formal parameter is an array
997 predassign --- condition test (if, while or for) is an assignment
998 predbool --- type of condition test (if, while or for) not bool (sets
999 predboolint, predboolptr and predboolothers)
1000 predboolint --- type of condition test (if, while or for) is an integral type
1001 predboolothers --- type of condition test (if, while or for) not bool, int or
1003 predboolptr --- type of condition test (if, while or for) is a pointer
1004 D<initializer> --- passed to pre-processor
1005 U<initializer> --- passed to pre-processor
1006 unrecognizeddirective --- unrecognized pre-processor directive
1007 globstate --- returns with global in inconsistent state (null or undefined)
1008 supcounts --- The number of errors detected does not match number in
1010 limit --- limit <int> consecutive repeated errors
1011 syntax --- syntax error in parsing
1012 trytorecover --- try to recover from parse error
1013 type --- type mismatch
1014 fullinitblock --- initializer sets all fields
1015 initallelements --- initializer defines all array elements
1016 initsize --- initializer defines extra array elements
1017 stringliteraltoolong --- string literal too long for character array
1018 stringliteralnoroom --- string literal leaves no room for null terminator
1019 stringliteralsmaller --- string literal is smaller than the char array it is
1021 enummembers --- enum members must be int values
1022 maintype --- type of main does not match expected type
1023 formattype --- type-mismatch in parameter corresponding to format code in a
1024 printf or scanf-like function
1025 formatconst --- format parameter is not a string constant (hence variable
1026 arguments cannot be typechecked)
1027 formatcode --- invalid format code in format string for printf or scanf-like
1029 forwarddecl --- forward declarations of pointers to abstract representation
1031 voidabstract --- void * matches pointers to abstract types, casting ok
1033 castfcnptr --- a pointer to a function is cast to a pointer to void (or vice
1035 charindex --- char can be used to index arrays
1036 enumindex --- enum can be used to index arrays
1037 boolint --- bool and int are equivalent
1038 charint --- char and int are equivalent
1039 enumint --- enum and int are equivalent
1040 floatdouble --- float and double are equivalent
1041 ignorequals --- ignore type qualifiers (long, short, unsigned)
1042 duplicatequals --- report duplicate type qualifiers (e.g., long long)
1043 ignoresigns --- ignore signs in type comparisons (unsigned matches signed)
1044 numliteral --- int literals can be reals
1045 charintliteral --- character constants (e.g., 'a') can be used as ints
1046 relaxquals --- report qualifier mismatches only if dangerous
1047 relaxtypes --- allow all numeric types to match
1048 charunsignedchar --- allow char and unsigned char types to match
1049 matchanyintegral --- allow any intergral type to match an arbitrary integral
1051 longunsignedintegral --- allow long unsigned type to match an arbitrary
1052 integral type (e.g., dev_t)
1053 longintegral --- allow long type to match an arbitrary integral type (e.g.,
1055 longunsignedunsignedintegral --- allow long unsigned type to match an arbitrary
1056 unsigned integral type (e.g., size_t)
1057 longsignedintegral --- allow long type to match an arbitrary signed integral
1058 type (e.g., ssize_t)
1059 zeroptr --- 0 is treated as a pointer
1060 zerobool --- 0 is treated as a boolean
1061 repeatunrecog --- do not suppress repeated unrecognized identifier messages
1062 (instead of only reporting the first error)
1063 sysunrecog --- report unrecognized identifiers with system (__) prefix
1064 unrecog --- unrecognized identifier
1065 topuse --- declaration at top level not used
1066 exportlocal --- a declaration is exported but not used outside this module
1067 exportheader --- a declaration is exported but does not appear in a header file
1068 exportheadervar --- a variable declaration is exported but does not appear in a
1070 fielduse --- field of structure type not used
1071 enummemuse --- member of an enum type not used
1072 constuse --- constant declared but not used
1073 fcnuse --- function declared but not used
1074 paramuse --- function parameter not used
1075 typeuse --- type declared but not used
1076 varuse --- variable declared but not used
1077 unusedspecial --- unused declaration in special file (corresponding to .l or .y
1079 redundantsharequal --- declaration uses observer qualifier that is always true
1080 misplacedsharequal --- declaration of unsharable storage uses sharing
1082 annotationerror --- annotation is used in inconsistent location
1083 commenterror --- inconsistent syntactic comment
1084 bugslimit --- set maximum number of bugs detected before giving up
1085 fileextensions --- warn when command line file does not have a recognized
1087 warnuse --- warn when declaration marked with warn is used
1088 statetransfer --- storage has been transfered with invalid state
1089 statemerge --- control paths merge with storage in incompatible states
1090 its4mostrisky --- most risky security vulnerabilities (from its4 database)
1091 its4veryrisky --- very risky security vulnerabilities (from its4 database)
1092 its4risky --- risky security vulnerabilities (from its4 database)
1093 its4moderate --- moderately risky security vulnerabilities (from its4 database)
1094 its4low --- risky security vulnerabilities (from its4 database)
1095 bufferoverflowhigh --- likely buffer overflow vulnerability
1096 bufferoverflow --- possible buffer overflow vulnerability
1097 toctou --- possible time of check, time of use vulnerability
1098 multithreaded --- function is not reentrant
1099 portability --- function may have undefined behavior
1100 unixstandard --- function is not required in Standard UNIX Specification
1101 superuser --- function is restricted to superusers
1102 implementationoptional --- declarator is implementation optional (ISO99 does
1103 not require an implementation to provide it)
1104 legacy --- legacy declaration in Unix Standard
andersk / splint.git / blob