• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#!/bin/sh
2splint \
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
88