test/db3.expect

   1
   2 employee.c: (in function employee_sprint)
   3 employee.c:38: Buffer overflow possible with sprintf.  Recommend using snprintf
   4                   instead: sprintf
   5 drive.c: (in function main)
   6 drive.c:50: Buffer overflow possible with sprintf.  Recommend using snprintf
   7                instead: sprintf
   8 drive.c:66: Buffer overflow possible with sprintf.  Recommend using snprintf
   9                instead: sprintf
  10 drive.c:84: Buffer overflow possible with sprintf.  Recommend using snprintf
  11                instead: sprintf
  12 drive.c:138: Buffer overflow possible with sprintf.  Recommend using snprintf
  13                 instead: sprintf
  14
  15 Error Type                Reported  Suppressed
  16 ===================       ========  =========
  17 usedef                       0           1
  18 compdef                      0           3
  19 incondefs                    0           1
  20 formalarray                  0          24
  21 modfilesys                   0          25
  22 redecl                       0           7
  23 exporttype                   0           3
  24 bufferoverflowhigh           5           0
  25                           ========  =========
  26 Total                        5          64
  27
  28 Finished checking --- 5 code warnings, as expected
  29
  30 employee.c: (in function employee_sprint)
  31 employee.c:38: Buffer overflow possible with sprintf.  Recommend using snprintf
  32                   instead: sprintf
  33 eref.c: (in function eref_alloc)
  34 eref.c:36: Called procedure printf may access global stdout
  35 eref.c:36: Undocumented modification of *stdout possible from call to printf:
  36               printf("Malloc returned null in eref_alloc\n")
  37 eref.c:36: Return value (type int) ignored: printf("Malloc r...
  38 eref.c:46: Called procedure printf may access global stdout
  39 eref.c:46: Undocumented modification of *stdout possible from call to printf:
  40               printf("Malloc returned null in eref_alloc\n")
  41 eref.c:46: Return value (type int) ignored: printf("Malloc r...
  42 eref.c: (in function eref_initMod)
  43 eref.c:82: Called procedure printf may access global stdout
  44 eref.c:82: Undocumented modification of *stdout possible from call to printf:
  45               printf("Malloc returned null in eref_initMod\n")
  46 eref.c:82: Return value (type int) ignored: printf("Malloc r...
  47 eref.c:90: Called procedure printf may access global stdout
  48 eref.c:90: Undocumented modification of *stdout possible from call to printf:
  49               printf("Malloc returned null in eref_initMod\n")
  50 eref.c:90: Return value (type int) ignored: printf("Malloc r...
  51 erc.c: (in function int_toSize)
  52 erc.c:11: Undocumented use of global stderr
  53 erc.c:11: Undocumented modification of *stderr possible from call to fprintf:
  54              fprintf(stderr, "Error: int_toSize failure: %d", x)
  55 erc.c:11: Return value (type int) ignored: fprintf(stderr, ...
  56 erc.c: (in function erc_create)
  57 erc.c:28: Called procedure printf may access global stdout
  58 erc.c:28: Undocumented modification of *stdout possible from call to printf:
  59              printf("Malloc returned null in erc_create\n")
  60 erc.c:28: Return value (type int) ignored: printf("Malloc r...
  61 erc.c: (in function erc_insert)
  62 erc.c:80: Called procedure printf may access global stdout
  63 erc.c:80: Undocumented modification of *stdout possible from call to printf:
  64              printf("Malloc returned null in erc_insert\n")
  65 erc.c:80: Return value (type int) ignored: printf("Malloc r...
  66 erc.c: (in function erc_sprint)
  67 erc.c:145: Called procedure printf may access global stdout
  68 erc.c:145: Undocumented modification of *stdout possible from call to printf:
  69               printf("Malloc returned null in erc_sprint\n")
  70 erc.c:145: Return value (type int) ignored: printf("Malloc r...
  71 dbase.c: (in function db_print)
  72 dbase.c:307: Return value (type int) ignored: printf("Employee...
  73 dbase.c:312: Return value (type int) ignored: printf("%s", pri...
  74 drive.c: (in function main)
  75 drive.c:31: Called procedure printf may access global stdout
  76 drive.c:31: Undocumented modification of *stdout possible from call to printf:
  77     printf("FormatPos: Wrong number of arguments. Given %d needs 0.\n", argc -
  78     1)
  79 drive.c:31: Return value (type int) ignored: printf("FormatPo...
  80 drive.c:41: Called procedure printf may access global stdout
  81 drive.c:41: Undocumented modification of *stdout possible from call to printf:
  82                printf("Size should be 0.\n")
  83 drive.c:41: Return value (type int) ignored: printf("Size sho...
  84 drive.c:50: Buffer overflow possible with sprintf.  Recommend using snprintf
  85                instead: sprintf
  86 drive.c:57: Called procedure printf may access global stdout
  87 drive.c:57: Undocumented modification of *stdout possible from call to printf:
  88                printf("Size should be 500.\n")
  89 drive.c:57: Return value (type int) ignored: printf("Size sho...
  90 drive.c:66: Buffer overflow possible with sprintf.  Recommend using snprintf
  91                instead: sprintf
  92 drive.c:73: Called procedure printf may access global stdout
  93 drive.c:73: Undocumented modification of *stdout possible from call to printf:
  94                printf("Size should be 250.\n")
  95 drive.c:73: Return value (type int) ignored: printf("Size sho...
  96 drive.c:84: Buffer overflow possible with sprintf.  Recommend using snprintf
  97                instead: sprintf
  98 drive.c:93: Called procedure printf may access global stdout
  99 drive.c:93: Undocumented modification of *stdout possible from call to printf:
 100                printf("Size should be 350.\n")
 101 drive.c:93: Return value (type int) ignored: printf("Size sho...
 102 drive.c:100: Called procedure printf may access global stdout
 103 drive.c:100: Undocumented modification of *stdout possible from call to printf:
 104                 printf("Size should be 350.\n")
 105 drive.c:100: Return value (type int) ignored: printf("Size sho...
 106 drive.c:103: Called procedure printf may access global stdout
 107 drive.c:103: Undocumented modification of *stdout possible from call to printf:
 108                 printf("Print two different employees:\n")
 109 drive.c:103: Return value (type int) ignored: printf("Print tw...
 110 drive.c:109: Called procedure printf may access global stdout
 111 drive.c:109: Undocumented modification of *stdout possible from call to printf:
 112                 printf("%s\n", &(na[0]))
 113 drive.c:109: Return value (type int) ignored: printf("%s\n", &...
 114 drive.c:138: Buffer overflow possible with sprintf.  Recommend using snprintf
 115                 instead: sprintf
 116 drive.c:151: Called procedure printf may access global stdout
 117 drive.c:151: Undocumented modification of *stdout possible from call to printf:
 118     printf("Should print true: %s\n", bool_unparse(status == DBS_DUPLERR))
 119 drive.c:151: Return value (type int) ignored: printf("Should p...
 120 drive.c:154: Called procedure printf may access global stdout
 121 drive.c:154: Undocumented modification of *stdout possible from call to printf:
 122                 printf("Employees 0 - 19\n")
 123 drive.c:154: Return value (type int) ignored: printf("Employee...
 124 drive.c:155: Called procedure db_print may access global stdout
 125 drive.c:155: Undocumented modification of *stdout possible from call to
 126                 db_print: db_print()
 127 drive.c:158: Called procedure printf may access global stdout
 128 drive.c:158: Undocumented modification of *stdout possible from call to printf:
 129                 printf("Employees 0 - 16, 18 - 19\n")
 130 drive.c:158: Return value (type int) ignored: printf("Employee...
 131 drive.c:159: Called procedure db_print may access global stdout
 132 drive.c:159: Undocumented modification of *stdout possible from call to
 133                 db_print: db_print()
 134 drive.c:164: Called procedure printf may access global stdout
 135 drive.c:164: Undocumented modification of *stdout possible from call to printf:
 136                 printf("Should get two females: %d\n%s\n", i, sprintResult)
 137 drive.c:164: Return value (type int) ignored: printf("Should g...
 138 drive.c:174: Called procedure printf may access global stdout
 139 drive.c:174: Undocumented modification of *stdout possible from call to printf:
 140     printf("Should get two females and ten males: %d\n%s\n", i, sprintResult)
 141 drive.c:174: Return value (type int) ignored: printf("Should g...
 142 drive.c:180: Called procedure printf may access global stdout
 143 drive.c:180: Undocumented modification of *stdout possible from call to printf:
 144                 printf("Should get two females: %d\n%s\n", i, sprintResult)
 145 drive.c:180: Return value (type int) ignored: printf("Should g...
 146 drive.c:184: Called procedure printf may access global stdout
 147 drive.c:184: Undocumented modification of *stdout possible from call to printf:
 148                 printf("Should get 18 employees\n")
 149 drive.c:184: Return value (type int) ignored: printf("Should g...
 150 drive.c:185: Called procedure db_print may access global stdout
 151 drive.c:185: Undocumented modification of *stdout possible from call to
 152                 db_print: db_print()
 153
 154 Error Type                Reported  Suppressed
 155 ===================       ========  =========
 156 usedef                       0           1
 157 compdef                      0           3
 158 incondefs                    0           1
 159 formalarray                  0          24
 160 mods                        26           0
 161 modfilesys                   0          25
 162 globs                       26           0
 163 retvalint                   25           0
 164 redecl                       0           7
 165 exporttype                   0           3
 166 bufferoverflowhigh           5           0
 167                           ========  =========
 168 Total                       82          64
 169
 170 Finished checking --- 82 code warnings, as expected