home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / mergestate.expect < prev    next >
Text File  |  2002-02-13  |  1KB  |  26 lines
  1.  
  2. taintednm.c: (in function f)
  3. taintednm.c:15:7: Attributes merged in ensures clause in states that cannot be
  4.                      combined (t2 is untainted, s is tainted): bogus merge
  5.    taintednm.c:1:32: s becomes tainted
  6. taintednm.c:24:10: Stack-allocated storage t reachable from return value: t
  7.  
  8. Finished checking --- 2 code warnings, as expected
  9.  
  10. taintednm.c: (in function f)
  11. taintednm.c:16:18: Invalid transfer from tainted t to untainted (Possibly
  12.                       tainted storage used as untainted.): system(..., t, ...)
  13.    taintednm.c:15:7: t becomes tainted
  14.    taintednm.xh:23:55: s becomes untainted
  15. taintednm.c:19:18: Invalid transfer from tainted t to untainted (Possibly
  16.                       tainted storage used as untainted.): system(..., t, ...)
  17.    taintednm.c:18:7: t becomes tainted
  18.    taintednm.xh:23:55: s becomes untainted
  19. taintednm.c:22:18: Invalid transfer from tainted t to untainted (Possibly
  20.                       tainted storage used as untainted.): system(..., t, ...)
  21.    taintednm.c:18:7: t becomes tainted
  22.    taintednm.xh:23:55: s becomes untainted
  23. taintednm.c:24:10: Stack-allocated storage t reachable from return value: t
  24.  
  25. Finished checking --- 4 code warnings, as expected
  26.