test/mergestate.expect

   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