*** empty log message ***

[splint.git] / lib / ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index 78232c27ef5d9ceedd582815f9174728b869a519..66b7b698e6cff4cd912904e4ac210d54ea5bb6aa 100644 (file)
--- a/lib/ansistrict.lcd
+++ b/lib/ansistrict.lcd
@@ -534,12 +534,12 @@
 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 f524 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 C0.1/23|!
-3 f0 (23|4@0@9&#,23|$#,)!
-3 f1 (23|4@0@9&#,23|$#,)!
-3 f531 (23|4@0@9&#,23|$#,)!
-3 f0 (23|4@0@9&#,23|$#,63|$#,)!
-3 f1 (23|4@0@9&#,23|$#,63|$#,)!
-3 f531 (23|4@0@9&#,23|$#,63|$#,)!
+3 f0 (23|@5|4@0@9&#,23|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,)!
+3 f531 (23|@5|4@0@9&#,23|$#,)!
+3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
+3 f531 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f0 (23|4@0@9&#,23|$#,)!
 3 f1 (23|4@0@9&#,23|$#,)!
 3 f531 (23|4@0@9&#,23|$#,)!
@@ -794,7 +794,7 @@
 ^178 243$@0@s3@1@s3,tp1$@0#fputs
 ^179 245$@0@s3@1@s3,tp0$@0#getc
 ^180 247$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^181 250@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0#gets
+^181 250@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead.##gets
 ^182 252$@0@s3@1@s3,tp1$@0#putc
 ^183 254$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
 ^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#puts
@@ -937,8 +937,8 @@
 ^307 523$@0@@1@tp0$@0#wcstombs
 ^308 527$@0@@1@tp0$@0#memcpy
 ^309 530$@0@@1@tp0$@0#memmove
-^310 534$@0@@1@tp0@3@0@0#strcpy
-^311 537$@0@@1@tp0@3@0@0#strncpy
+^310 534$@0@@1@tp0$@0#strcpy
+^311 537$@0@@1@tp0$@0#strncpy
 ^312 540$@0@@1@tp0@3@0@0#strcat
 ^313 543$@0@@1@tp0@3@0@0#strncat
 ^314 545$^$@0#memcmp