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 param:
  28                          untainted param
  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:18:5: Control branches merge with incompatible states for stk
  48     (untainted and tainted): Incompatible state merge (default behavior)
  49    tainted2.c:17:14: Meta state stk becomes tainted
  50    tainted2.c:11:7: Meta state stk becomes untainted
  51
  52 Finished LCLint checking --- 1 code error found, as expected
  53
  54 tainted3.c: (in function test)
  55 tainted3.c:7:3: Requires clause of called function checkUntainted not satisfied
  56                    by def (state is tainted): requires untainted def
  57
  58 Finished LCLint checking --- 1 code error found, as expected
  59
  60 tainted4.c: (in function test)
  61 tainted4.c:7:3: Requires clause of called function checkUntainted not satisfied
  62                    by def (state is tainted): requires untainted *def
  63
  64 Finished LCLint checking --- 1 code error found, as expected
  65
  66 tainted5.c: (in function test)
  67 tainted5.c:7:3: Requires clause of called function checkTainted not satisfied
  68                    by def (state is untainted): requires tainted *def
  69 tainted5.c: (in function test2)
  70 tainted5.c:13:3: Requires clause of called function checkTainted not satisfied
  71                     by *def (state is untainted): requires tainted *def
  72
  73 Finished LCLint checking --- 2 code errors found, as expected