home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / tainted.expect < prev    next >
Text File  |  2002-02-13  |  5KB  |  112 lines
  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.): f(..., s, ...)
  5.    tainted.c:3:48: s becomes tainted
  6.    tainted.c:3:74: us becomes untainted
  7. tainted.c: (in function test)
  8. tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted
  9.                     storage used as untainted.): system(..., s, ...)
  10.    tainted.c:9:34: s becomes tainted
  11.    tainted.xh:26:55: s becomes untainted
  12. tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted
  13.                     storage used as untainted.): system(..., t, ...)
  14.    tainted.c:15:3: t becomes tainted
  15.    tainted.xh:26:55: s becomes untainted
  16. tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
  17.                     storage used as untainted.): system(..., t, ...)
  18.    tainted.c:19:3: t becomes tainted
  19.    tainted.xh:26:55: s becomes untainted
  20.  
  21. Finished checking --- 4 code warnings, as expected
  22.  
  23. tainted-bad.mts:18:7: Transfer clause uses unrecognized result state peach:
  24.                          untainted as tainted ==> peach
  25. tainted-bad.mts:14:17: Merge clause uses unrecognized second value junky:
  26.                           tainted X junky ==> error "Splat!"
  27. tainted-bad.mts:11:7: Annotation declaration uses unrecognized value name blue:
  28.                          maybetainted reference ==> blue
  29. tainted-bad.mts:5:21: Defaults declaration uses unrecognized value name
  30.                          stainted: stainted reference
  31. tainted-bad.mts:7:21: Duplicate defaults declaration for context parameter:
  32.                          untainted parameter
  33. tainted.c: (in function f)
  34. tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted
  35.                    storage used as untainted.): f(..., s, ...)
  36.    tainted.c:3:48: s becomes tainted
  37.    tainted.c:3:74: us becomes untainted
  38. tainted.c: (in function test)
  39. tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted
  40.                     storage used as untainted.): system(..., s, ...)
  41.    tainted.c:9:34: s becomes tainted
  42.    tainted.xh:26:55: s becomes untainted
  43. tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted
  44.                     storage used as untainted.): system(..., t, ...)
  45.    tainted.c:15:3: t becomes tainted
  46.    tainted.xh:26:55: s becomes untainted
  47. tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
  48.                     storage used as untainted.): system(..., t, ...)
  49.    tainted.c:15:3: t becomes tainted
  50.    tainted.xh:26:55: s becomes untainted
  51.  
  52. Finished checking --- 9 code warnings, as expected
  53.  
  54. tainted2.c: (in function test)
  55. tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly
  56.                      tainted storage used as untainted.): return stk
  57.    tainted2.c:17:14: stk becomes tainted
  58.    tainted2.c:4:2: becomes untainted
  59.  
  60. Finished checking --- 1 code warning, as expected
  61.  
  62. tainted3.c: (in function test)
  63. tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly
  64.     tainted storage used as untainted.): checkUntainted(..., def, ...)
  65.    tainted3.c:4:36: def becomes tainted
  66.    tainted3.c:1:53: def becomes untainted
  67.  
  68. Finished checking --- 1 code warning, as expected
  69.  
  70. tainted4.c: (in function test)
  71. tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def):
  72.                     Possibly tainted storage used as untainted.
  73.    tainted4.c:6:36: def becomes tainted
  74.  
  75. Finished checking --- 1 code warning, as expected
  76.  
  77. Finished checking --- no warnings
  78.  
  79. taintedmerge.c: (in function f)
  80. taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly
  81.     tainted storage used as untainted.): system(..., t, ...)
  82.    taintedmerge.c:10:3: t becomes tainted
  83.    tainted.xh:26:55: s becomes untainted
  84. taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly
  85.     tainted storage used as untainted.): system(..., t, ...)
  86.    taintedmerge.c:13:3: t becomes tainted
  87.    tainted.xh:26:55: s becomes untainted
  88. taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t
  89.  
  90. Finished checking --- 3 code warnings, as expected
  91.  
  92. taintedimplicit.c: (in function dangerouscall)
  93. taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
  94.     untainted (Possibly tainted storage used as untainted.):
  95.     system(..., taintme(s), ...)
  96.    taintedimplicit.c:17:18: becomes tainted
  97.    tainted.xh:26:55: s becomes untainted
  98.  
  99. Finished checking --- 1 code warning, as expected
  100.  
  101. sprintf.c: (in function sp)
  102. sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted
  103.                     storage used as untainted.): system(..., s, ...)
  104.    sprintf.c:10:37: s becomes tainted
  105.    tainted.xh:26:55: s1 becomes untainted
  106. sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted
  107.                     storage used as untainted.): system(..., s, ...)
  108.    sprintf.c:13:61: s becomes tainted
  109.    tainted.xh:26:55: s1 becomes untainted
  110.  
  111. Finished checking --- 2 code warnings, as expected
  112.