Renaming - LCLint => Splint

[splint.git] / test / tainted.expect

diff --git a/test/tainted.expect b/test/tainted.expect
index c74ea929a4862041e875616aee188c2ebaa7931b..14a6358fdc364155f53a0911de63f677d86917b1 100644 (file)
--- a/test/tainted.expect
+++ b/test/tainted.expect
@@ -18,7 +18,7 @@ tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
    tainted.c:19:3: t becomes tainted
    tainted.xh:26:55: s becomes untainted
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected
 
 tainted-bad.mts:18:7: Transfer clause uses unrecognized result state peach:
                          untainted as tainted ==> peach
@@ -49,7 +49,7 @@ tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
    tainted.c:15:3: t becomes tainted
    tainted.xh:26:55: s becomes untainted
 
-Finished LCLint checking --- 9 code errors found, as expected
+Finished checking --- 9 code warnings, as expected
 
 tainted2.c: (in function test)
 tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly
@@ -57,7 +57,7 @@ tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly
    tainted2.c:17:14: stk becomes tainted
    tainted2.c:4:2: becomes untainted
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
 tainted3.c: (in function test)
 tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly
@@ -65,16 +65,16 @@ tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly
    tainted3.c:4:36: def becomes tainted
    tainted3.c:1:53: def becomes untainted
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
 tainted4.c: (in function test)
 tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def):
                     Possibly tainted storage used as untainted.
    tainted4.c:6:36: def becomes tainted
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
 
 taintedmerge.c: (in function f)
 taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly
@@ -87,7 +87,7 @@ taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly
    tainted.xh:26:55: s becomes untainted
 taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 taintedimplicit.c: (in function dangerouscall)
 taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
@@ -96,7 +96,7 @@ taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
    taintedimplicit.c:17:18: becomes tainted
    tainted.xh:26:55: s becomes untainted
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
 sprintf.c: (in function sp)
 sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted
@@ -108,4 +108,4 @@ sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted
    sprintf.c:13:61: s becomes tainted
    tainted.xh:26:55: s1 becomes untainted
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected