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