*** empty log message ***

[splint.git] / lib / posix.lcd

diff --git a/lib/posix.lcd b/lib/posix.lcd
index 90fef976501c67ba37493dd6ee90e4e9dc7568ec..fd9f47a1a3078f3dbde7bfcb4b161ab2bb13a79d 100644 (file)
--- a/lib/posix.lcd
+++ b/lib/posix.lcd
@@ -577,18 +577,18 @@
 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 f567 (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 f574 (23|4@0@9&#,23|$#,)!
-3 f0 (23|4@0@9&#,23|$#,63|$#,)!
-3 f1 (23|4@0@9&#,23|$#,63|$#,)!
-3 f574 (23|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|4@0@9&#,23|$#,)!
-3 f1 (23|4@0@9&#,23|$#,)!
-3 f574 (23|4@0@9&#,23|$#,)!
-3 f0 (23|4@0@9&#,23|$#,5|$#,)!
-3 f1 (23|4@0@9&#,23|$#,5|$#,)!
-3 f574 (23|4@0@9&#,23|$#,5|$#,)!
+3 f0 (23|@5|4@0@9&#,23|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,)!
+3 f574 (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 f574 (23|@5|4@0@9&#,23|$#,63|$#,)!
+3 f0 (23|@5|4@0@9&#,23|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,)!
+3 f574 (23|@5|4@0@9&#,23|$#,)!
+3 f0 (23|@5|4@0@9&#,23|$#,5|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,5|$#,)!
+3 f574 (23|@5|4@0@9&#,23|$#,5|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -1120,7 +1120,7 @@
 ^178 267$@0@s3@1@s3,tp1$@0#fputs
 ^179 269$@0@s3@1@s3,tp0$@0#getc
 ^180 271$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^181 274@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0#gets
+^181 274@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 276$@0@s3@1@s3,tp1$@0#putc
 ^183 278$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
 ^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#puts
@@ -1263,10 +1263,10 @@
 ^307 566$@0@@1@tp0$@0#wcstombs
 ^308 570$@0@@1@tp0$@0#memcpy
 ^309 573$@0@@1@tp0$@0#memmove
-^310 577$@0@@1@tp0@3@0@0#strcpy
-^311 580$@0@@1@tp0@3@0@0#strncpy
-^312 583$@0@@1@tp0@3@0@0#strcat
-^313 586$@0@@1@tp0@3@0@0#strncat
+^310 577$@0@@1@tp0$@0#strcpy
+^311 580$@0@@1@tp0$@0#strncpy
+^312 583$@0@@1@tp0$@0#strcat
+^313 586$@0@@1@tp0$@0#strncat
 ^314 588$^$@0#memcmp
 ^315 590$^$@0#strcmp
 ^316 592$^$@0#strcoll