test/tainted.expect

   1
   2 tainted.c: (in function f)
   3 tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted
   4                    storage used as untainted.): s
   5    tainted.c:3:48: Meta state s becomes tainted
   6 tainted.c: (in function test)
   7 tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted
   8                     storage used as untainted.): s
   9    tainted.c:9:34: Meta state s becomes tainted
  10 tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted
  11                     storage used as untainted.): t
  12    tainted.c:15:3: Meta state t becomes tainted
  13 tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
  14                     storage used as untainted.): t
  15    tainted.c:19:3: Meta state t becomes tainted
  16
  17 Finished LCLint checking --- 4 code errors found, as expected
  18
  19 tainted-bad.mts:18:7: Transfer clause uses unrecognized result state peach:
  20                          untainted as tainted ==> peach
  21 tainted-bad.mts:14:17: Merge clause uses unrecognized second value junky:
  22                           tainted X junky ==> error "Splat!"
  23 tainted-bad.mts:11:7: Annotation declaration uses unrecognized value name blue:
  24                          maybetainted reference ==> blue
  25 tainted-bad.mts:5:21: Defaults declaration uses unrecognized value name
  26                          stainted: stainted reference
  27 tainted-bad.mts:7:21: Duplicate defaults declaration for context parameter:
  28                          untainted parameter
  29 tainted.c: (in function f)
  30 tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted
  31                    storage used as untainted.): s
  32    tainted.c:3:48: Meta state s becomes tainted
  33 tainted.c: (in function test)
  34 tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted
  35                     storage used as untainted.): s
  36    tainted.c:9:34: Meta state s becomes tainted
  37 tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted
  38                     storage used as untainted.): t
  39    tainted.c:15:3: Meta state t becomes tainted
  40 tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
  41                     storage used as untainted.): t
  42    tainted.c:15:3: Meta state t becomes tainted
  43
  44 Finished LCLint checking --- 9 code errors found, as expected
  45
  46 tainted2.c: (in function test)
  47 tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly
  48                      tainted storage used as untainted.): return stk
  49    tainted2.c:17:14: Meta state stk becomes tainted
  50
  51 Finished LCLint checking --- 1 code error found, as expected
  52
  53 tainted3.c: (in function test)
  54 tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly
  55                     tainted storage used as untainted.): def
  56    tainted3.c:4:36: Meta state def becomes tainted
  57
  58 Finished LCLint checking --- 1 code error found, as expected
  59
  60 tainted4.c: (in function test)
  61 tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def):
  62                     Possibly tainted storage used as untainted.
  63    tainted4.c:6:36: Meta state def becomes tainted
  64
  65 Finished LCLint checking --- 1 code error found, as expected
  66
  67 Finished LCLint checking --- no code errors found
  68
  69 taintedmerge.c: (in function f)
  70 taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly
  71                          tainted storage used as untainted.): t
  72    taintedmerge.c:10:3: Meta state t becomes tainted
  73 taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly
  74                          tainted storage used as untainted.): t
  75    taintedmerge.c:13:3: Meta state t becomes tainted
  76 taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t
  77
  78 Finished LCLint checking --- 3 code errors found, as expected
  79
  80 taintedimplicit.c: (in function dangerouscall)
  81 taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
  82     untainted (Possibly tainted storage used as untainted.): taintme(s)
  83    taintedimplicit.c:17:18: Meta state becomes tainted
  84
  85 Finished LCLint checking --- 1 code error found, as expected
  86
  87 sprintf.c: (in function sp)
  88 sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted
  89                     storage used as untainted.): s
  90    sprintf.c:10:37: Meta state s becomes tainted
  91 sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted
  92                     storage used as untainted.): s
  93    sprintf.c:13:61: Meta state s becomes tainted
  94
  95 Finished LCLint checking --- 2 code errors found, as expected