splint.sh

   1 #!/bin/sh
   2 splint \
   3  +allglobals \
   4  -noeffect \
   5  -exportlocal \
   6  -predbool \
   7  -boolops \
   8  +boolint \
   9  +charint \
  10  -retvalint \
  11  -retvalother \
  12  -shiftimplementation \
  13  -shiftnegative \
  14  -fixedformalarray \
  15  +ansi89limits \
  16  +ansistrictlib \
  17  +trytorecover \
  18  -globs \
  19  -I. \
  20  -I/usr/local/include \
  21  -DHAVE_CONFIG_H \
  22  -Dlint \
  23  frontends/yasm/yasm-options.c \
  24  frontends/yasm/yasm.c \
  25  libyasm/arch.c \
  26  libyasm/assocdat.c \
  27  libyasm/bc-align.c \
  28  libyasm/bc-data.c \
  29  libyasm/bc-incbin.c \
  30  libyasm/bc-insn.c \
  31  libyasm/bc-org.c \
  32  libyasm/bc-reserve.c \
  33  libyasm/bytecode.c \
  34  libyasm/errwarn.c \
  35  libyasm/expr.c \
  36  libyasm/file.c \
  37  libyasm/floatnum.c \
  38  libyasm/hamt.c \
  39  libyasm/intnum.c \
  40  libyasm/inttree.c \
  41  libyasm/linemap.c \
  42  libyasm/md5.c \
  43  libyasm/mergesort.c \
  44  libyasm/phash.c \
  45  libyasm/section.c \
  46  libyasm/strcasecmp.c \
  47  libyasm/strsep.c \
  48  libyasm/symrec.c \
  49  libyasm/valparam.c \
  50  libyasm/value.c \
  51  libyasm/xmalloc.c \
  52  libyasm/xstrdup.c \
  53  modules/arch/lc3b/lc3barch.c \
  54  modules/arch/lc3b/lc3bbc.c \
  55  modules/arch/x86/x86arch.c \
  56  modules/arch/x86/x86bc.c \
  57  modules/arch/x86/x86expr.c \
  58  modules/arch/x86/x86id.c \
  59  modules/dbgfmts/codeview/cv-dbgfmt.c \
  60  modules/dbgfmts/codeview/cv-symline.c \
  61  modules/dbgfmts/codeview/cv-type.c \
  62  modules/dbgfmts/dwarf2/dwarf2-aranges.c \
  63  modules/dbgfmts/dwarf2/dwarf2-dbgfmt.c \
  64  modules/dbgfmts/dwarf2/dwarf2-info.c \
  65  modules/dbgfmts/dwarf2/dwarf2-line.c \
  66  modules/dbgfmts/null/null-dbgfmt.c \
  67  modules/dbgfmts/stabs/stabs-dbgfmt.c \
  68  modules/listfmts/nasm/nasm-listfmt.c \
  69  modules/objfmts/bin/bin-objfmt.c \
  70  modules/objfmts/coff/coff-objfmt.c \
  71  modules/objfmts/coff/win64-except.c \
  72  modules/objfmts/dbg/dbg-objfmt.c \
  73  modules/objfmts/elf/elf-objfmt.c \
  74  modules/objfmts/elf/elf-x86-amd64.c \
  75  modules/objfmts/elf/elf-x86-x86.c \
  76  modules/objfmts/elf/elf.c \
  77  modules/objfmts/macho/macho-objfmt.c \
  78  modules/objfmts/rdf/rdf-objfmt.c \
  79  modules/objfmts/xdf/xdf-objfmt.c \
  80  modules/parsers/gas/gas-parse.c \
  81  modules/parsers/gas/gas-parse-intel.c \
  82  modules/parsers/gas/gas-parser.c \
  83  modules/parsers/nasm/nasm-parse.c \
  84  modules/parsers/nasm/nasm-parser.c \
  85  modules/preprocs/nasm/nasm-preproc.c \
  86  modules/preprocs/raw/raw-preproc.c
  87