X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e5f31c003fe6a778d1224c8a778f750a1a9ebb3d..3be9a1658ba93935ee9ba8bfd5a990a8d9fb1377:/lib/unixstrict.lcd

diff --git a/lib/unixstrict.lcd b/lib/unixstrict.lcd
index 574ab20..1d50de1 100644
--- a/lib/unixstrict.lcd
+++ b/lib/unixstrict.lcd
@@ -520,12 +520,12 @@
 3 f480 (23|$#,)!
 3 f0 (23|$#,63|$#,)!
 3 f5 (23|$#,63|$#,)!
-3 f0 (359|0@5@7&#,23|0@5@7&#,63|$#,)!
-3 f5 (359|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f0 (359|4@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (359|4@5@7&#,23|0@5@7&#,63|$#,)!
 3 f0 (23|4@5@7&#,65|$#,)!
 3 f5 (23|4@5@7&#,65|$#,)!
-3 f0 (359|4@0@7&#,23|$#,63|$#,)!
-3 f63 (359|4@0@7&#,23|$#,63|$#,)!
+3 f0 (359|4@5@7&#,23|$#,63|$#,)!
+3 f63 (359|4@5@7&#,23|$#,63|$#,)!
 3 f0 (23|4@0@7&#,359|$#,63|$#,)!
 3 f63 (23|4@0@7&#,359|$#,63|$#,)!
 3 C0.1/20|!
@@ -1539,6 +1539,291 @@
 3 f17 (17|$#,)!
 3 f0 (17|$#,)!
 3 f17 (17|$#,)!
+3 f0 (191|$#,)!
+3 f1 (191|$#,)!
+3 f0 (23|@5|4@5@7&#,)!
+3 f19 (23|@5|4@5@7&#,)!
+3 f23 (23|@5|4@5@7&#,)!
+3 f0 (23|4@5@7&#,)!
+3 f19 (23|4@5@7&#,)!
+3 f23 (23|4@5@7&#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (5|$#,23|$#,)!
+3 f19 (5|$#,23|$#,)!
+3 f191 (5|$#,23|$#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (191|0@5@7&#,)!
+3 f5 (191|0@5@7&#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (191|$#,265|4@0@7&#,)!
+3 f5 (191|$#,265|4@0@7&#,)!
+3 f0 (23|@5|4@0@7&#,5|$#,191|$#,)!
+3 f19 (23|@5|4@0@7&#,5|$#,191|$#,)!
+3 f23 (23|@5|4@0@7&#,5|$#,191|$#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (191|$#,)!
+3 f1 (191|$#,)!
+3 f0 (23|$#,23|$#,)!
+3 f19 (23|$#,23|$#,)!
+3 f191 (23|$#,23|$#,)!
+3 f0 (191|$#,23|$#,!.,)!
+3 f5 (191|$#,23|$#,!.,)!
+3 f0 (241|$#,191|$#,)!
+3 f5 (241|$#,191|$#,)!
+3 f0 (23|$#,191|$#,)!
+3 f5 (23|$#,191|$#,)!
+3 f0 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
+3 f63 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
+3 f0 (23|$#,23|$#,191|$#,)!
+3 f19 (23|$#,23|$#,191|$#,)!
+3 f191 (23|$#,23|$#,191|$#,)!
+3 f0 (191|$#,23|$#,!.,)!
+3 f5 (191|$#,23|$#,!.,)!
+3 f0 (191|$#,9|$#,5|$#,)!
+3 f5 (191|$#,9|$#,5|$#,)!
+3 f0 (191|$#,646|$#,5|$#,)!
+3 f5 (191|$#,646|$#,5|$#,)!
+3 f0 (191|$#,265|$#,)!
+3 f5 (191|$#,265|$#,)!
+3 f0 (191|$#,)!
+3 f9 (191|$#,)!
+3 f0 (191|$#,)!
+3 f646 (191|$#,)!
+3 f0 (191|$#,)!
+3 f1 (191|$#,)!
+3 f0 (191|$#,)!
+3 f1 (191|$#,)!
+3 f0 (20|$#,63|$#,63|$#,191|$#,)!
+3 f63 (20|$#,63|$#,63|$#,191|$#,)!
+3 f0 (191|@7|$#,)!
+3 f5 (191|@7|$#,)!
+3 f0 ()!
+3 f5 ()!
+3 f0 (191|@7|$#,)!
+3 f5 (191|@7|$#,)!
+3 f0 ()!
+3 f5 ()!
+3 f0 (5|$#,291|$#,23|$#,)!
+3 f5 (5|$#,291|$#,23|$#,)!
+3 f0 (23|4@0@7&#,)!
+3 f19 (23|4@0@7&#,)!
+3 f23 (23|4@0@7&#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (191|$#,)!
+3 f5 (191|$#,)!
+3 f0 (23|0@5@7&#,)!
+3 f1 (23|0@5@7&#,)!
+3 f0 (23|$#,23|$#,)!
+3 f19 (23|$#,23|$#,)!
+3 f191 (23|$#,23|$#,)!
+3 f0 (23|$#,!.,)!
+3 f5 (23|$#,!.,)!
+3 f0 (241|$#,191|@7|$#,)!
+3 f5 (241|$#,191|@7|$#,)!
+3 f0 (241|$#,)!
+3 f5 (241|$#,)!
+3 f0 (241|$#,191|@7|$#,)!
+3 f5 (241|$#,191|@7|$#,)!
+3 f0 (241|$#,)!
+3 f5 (241|$#,)!
+3 f0 (23|$#,)!
+3 f5 (23|$#,)!
+3 f0 (5|$#,191|$#,)!
+3 f5 (5|$#,191|$#,)!
+3 f0 (23|$#,)!
+3 f5 (23|$#,)!
+3 f0 (23|$#,23|$#,)!
+3 f5 (23|$#,23|$#,)!
+3 f0 (191|$#,)!
+3 f1 (191|$#,)!
+3 f0 (23|$#,!.,)!
+3 f5 (23|$#,!.,)!
+3 f0 (191|$#,23|0@5@19@2@0#,)!
+3 f1 (191|$#,23|0@5@19@2@0#,)!
+3 f0 (191|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
+3 f5 (191|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,!.,)!
+3 f5 (23|4@0@7&#,63|$#,23|$#,!.,)!
+3 f0 (23|4@0@7&#,23|$#,!.,)!
+3 f5 (23|4@0@7&#,23|$#,!.,)!
+3 f0 (23|4@0@7&#,23|$#,!.,)!
+3 f5 (23|4@0@7&#,23|$#,!.,)!
+3 f0 (23|$#,23|0@5@7&#,)!
+3 f19 (23|$#,23|0@5@7&#,)!
+3 f23 (23|$#,23|0@5@7&#,)!
+3 f0 ()!
+3 f19 ()!
+3 f191 ()!
+3 f0 (23|@5|4@5@7&#,)!
+3 f19 (23|@5|4@5@7&#,)!
+3 f23 (23|@5|4@5@7&#,)!
+3 f0 (241|$#,191|$#,)!
+3 f5 (241|$#,191|$#,)!
+3 f0 (191|$#,23|$#,184|$#,)!
+3 f5 (191|$#,23|$#,184|$#,)!
+3 f0 (23|$#,184|$#,)!
+3 f5 (23|$#,184|$#,)!
+3 f0 (23|4@0@7&#,63|$#,23|$#,184|$#,)!
+3 f5 (23|4@0@7&#,63|$#,23|$#,184|$#,)!
+3 f0 (23|4@0@7&#,23|$#,184|$#,)!
+3 f5 (23|4@0@7&#,23|$#,184|$#,)!
+3 f0 (23|$#,)!
+3 f9 (23|$#,)!
+3 f0 ()!
+3 f1 ()!
+3 f0 (5|$#,)!
+3 f5 (5|$#,)!
+3 ?!
+3 f1678 ()!
+3 f1 ()^1681
+1 t1680|1680&
+3 f0 (1681|$#,)!
+3 f5 (1681|$#,)!
+3 f0 (23|$#,)!
+3 f17 (23|$#,)!
+3 f0 (23|$#,)!
+3 f5 (23|$#,)!
+3 f0 (23|$#,)!
+3 f9 (23|$#,)!
+3 ?!
+3 f1690 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^1693
+1 t1692|1692&
+3 f0 (20|$#,20|$#,63|$#,63|$#,1693|$#,)!
+3 f19 (20|$#,20|$#,63|$#,63|$#,1693|$#,)!
+3 f20 (20|$#,20|$#,63|$#,63|$#,1693|$#,)!
+3 f0 (63|$#,63|$#,)!
+3 f19 (63|$#,63|$#,)!
+3 f20 (63|$#,63|$#,)!
+3 S!5{5|@1|^#quot,5|@1|^#rem,}!
+0 s1595|&
+3 f0 (5|$#,5|$#,)!
+3 f345 (5|$#,5|$#,)!
+3 f0 ()!
+3 f17 ()!
+3 f0 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)!
+3 f19 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)!
+3 f23 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)!
+3 f0 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)!
+3 f19 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)!
+3 f23 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)!
+3 f0 (17|$#,5|$#,23|$#,)!
+3 f19 (17|$#,5|$#,23|$#,)!
+3 f23 (17|$#,5|$#,23|$#,)!
+3 f0 (23|$#,)!
+3 f19 (23|$#,)!
+3 f23 (23|$#,)!
+3 f0 (291|$#,291|$#,291|4@0@7&#,)!
+3 f5 (291|$#,291|$#,291|4@0@7&#,)!
+3 f0 (5|$#,)!
+3 f5 (5|$#,)!
+3 f0 (6|$#,23|$#,63|$#,)!
+3 f19 (6|$#,23|$#,63|$#,)!
+3 f23 (6|$#,23|$#,63|$#,)!
+2 F0/3|0&
+2 F8/3|8&
+3 f0 (1726|$#,)!
+3 f9 (1726|$#,)!
+3 f0 (9|$#,)!
+3 f19 (9|$#,)!
+3 f23 (9|$#,)!
+3 f0 (9|$#,)!
+3 f9 (9|$#,)!
+2 F0/7|0&
+2 F8/7|8&
+3 f0 (1735|$#,)!
+3 f1 (1735|$#,)!
+3 S!6{9|@1|^#quot,9|@1|^#rem,}!
+0 s1605|&
+3 f0 (9|$#,9|$#,)!
+3 f352 (9|$#,9|$#,)!
+3 f0 ()!
+3 f9 ()!
+3 f0 (63|$#,)!
+3 f19 (63|$#,)!
+3 f20 (63|$#,)!
+3 f0 (23|$#,63|$#,)!
+3 f5 (23|$#,63|$#,)!
+3 f0 (359|4@5@7&#,23|$#,63|$#,)!
+3 f63 (359|4@5@7&#,23|$#,63|$#,)!
+3 f0 (359|4@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (359|4@5@7&#,23|0@5@7&#,63|$#,)!
+3 f0 (23|$#,)!
+3 f19 (23|$#,)!
+3 f23 (23|$#,)!
+3 f0 (23|$#,)!
+3 f5 (23|$#,)!
+3 f0 ()!
+3 f9 ()!
+2 F0/3|0&
+2 F8/3|8&
+3 f0 (1761|$#,)!
+3 f9 (1761|$#,)!
+3 f0 (5|$#,)!
+3 f19 (5|$#,)!
+3 f23 (5|$#,)!
+3 f0 (23|0@0@5&#,)!
+3 f5 (23|0@0@5&#,)!
+3 ?!
+3 f1769 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^1772
+1 t1771|1771&
+3 f0 (20|$#,63|$#,63|$#,1772|$#,)!
+3 f1 (20|$#,63|$#,63|$#,1772|$#,)!
+3 f0 ()!
+3 f5 ()!
+3 f0 (25|$#,)!
+3 f5 (25|$#,)!
+3 f0 ()!
+3 f9 ()!
+3 f0 (20|@5|4@5@2&#,63|$#,)!
+3 f19 (20|@5|4@5@2&#,63|$#,)!
+3 f20 (20|@5|4@5@2&#,63|$#,)!
+3 f0 (23|$#,23|4@0@7&#,)!
+3 f19 (23|$#,23|4@0@7&#,)!
+3 f23 (23|$#,23|4@0@7&#,)!
+2 F0/3|0&
+2 F8/3|8&
+3 f0 (1788|$#,)!
+3 f19 (1788|$#,)!
+3 f27 (1788|$#,)!
+3 f0 (23|$#,)!
+3 f1 (23|$#,)!
+3 f0 (23|0@0@5&#,)!
+3 f19 (23|0@0@5&#,)!
+3 f23 (23|0@0@5&#,)!
+3 f0 (6|$#,)!
+3 f1 (6|$#,)!
+3 f0 (9|$#,)!
+3 f1 (9|$#,)!
+3 f0 (6|$#,)!
+3 f1 (6|$#,)!
+3 f0 (23|$#,291|4@5@7&#,)!
+3 f17 (23|$#,291|4@5@7&#,)!
+3 f0 (23|$#,291|4@5@7&#,5|$#,)!
+3 f9 (23|$#,291|4@5@7&#,5|$#,)!
+3 f0 (23|$#,291|4@5@7&#,5|$#,)!
+3 f10 (23|$#,291|4@5@7&#,5|$#,)!
+3 f0 (23|0@5@7&#,)!
+3 f5 (23|0@5@7&#,)!
+3 f0 ()!
+3 f5 ()!
+3 f0 (5|$#,)!
+3 f5 (5|$#,)!
+3 f0 (63|$#,)!
+3 f19 (63|$#,)!
+3 f20 (63|$#,)!
+3 f0 (23|4@0@7&#,359|$#,63|$#,)!
+3 f63 (23|4@0@7&#,359|$#,63|$#,)!
+3 f0 (23|4@5@7&#,65|$#,)!
+3 f5 (23|4@5@7&#,65|$#,)!
 ;;tistable
 0
 28
@@ -1703,87 +1988,87 @@
 *3 (Variable)
 ^155 191|@1|6@0@0@0@2#stderr
 *4 (Function)
-^156 193$@0@s3,g22@6@0@1@s3,g22$@0#remove
-^157 195$@0@s3,g22@6@0@1@s3,g22$@0#rename
-^158 198@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
-^159 201$@0@s1@1@tp0,s1@19@3@0#tmpnam
-^160 203$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
-^161 205$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
-^162 208@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
-^163 211@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
-^164 213$@0@s3@1@s3,tp0,tp1$@0#setbuf
-^165 215$@0@s3@1@s3,tp0,tp1$@0#setvbuf
-^166 217@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
-^167 219@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
-^168 221@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
-^169 223@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
-^170 225@6@0@1@1@0@0@@1@tp0$@0#sprintf
-^171 227@6@0@1@2@0^$@0#sscanf
-^172 229$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
-^173 231$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^174 233$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
-^175 235$@0@@1@p0$@0#vsnprintf
-^176 237$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
-^177 240@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
-^178 243$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
-^179 245$@0@s3@1@s3,tp1$@0#fputs
-^180 247$@0@s3@1@s3,tp0$@0#getc
-^181 249$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^182 252@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
-^183 254$@0@s3@1@s3,tp1$@0#putc
-^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
-^185 258$@1@g18@6@0,s3@1@s3,tg18$@0#puts
-^186 260$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
-^187 262$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
-^188 264$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
-^189 267$@0@g22@6@0@1@tp1,g22$@0#fgetpos
-^190 269$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
-^191 271$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
-^192 273$@0@g22@6@0@1@g22$@0#ftell
-^193 275$@0@@1@tp0$@0#rewind
-^194 277$@0@@1@tp0$@0#clearerr
-^195 279$@0@g22@6@0@1@g22$@0#feof
-^196 281$@0@g22@6@0@1@g22$@0#ferror
-^197 283$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
-^198 285$^$@0#atof
-^199 287$^$@0#atoi
-^200 289$^$@0#atol
-^201 293$@0@g22@6@0@1@tp1,g22$@0#strtod
-^202 295$@0@g22@6@0@1@tp1,g22$@0#strtol
-^203 297$@0@g22@6@0@1@tp1,g22$@0#strtoul
+^156 1636$@0@s3,g22@6@0@1@s3,g22$@0#remove
+^157 1638$@0@s3,g22@6@0@1@s3,g22$@0#rename
+^158 1658@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@3@0@0#tmpfile
+^159 1661$@0@s1@1@tp0,s1@19@3@0#tmpnam
+^160 1546$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
+^161 1555$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
+^162 1569@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#fopen
+^163 1580@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
+^164 1644$@0@s3@1@s3,tp0,tp1$@0#setbuf
+^165 1646$@0@s3@1@s3,tp0,tp1$@0#setvbuf
+^166 1571@6@0@1@1@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fprintf
+^167 1582@6@0@1@2@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fscanf
+^168 1622@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
+^169 1642@6@0@1@2@0@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#scanf
+^170 1650@6@0@1@1@0@0@@1@tp0$@0#sprintf
+^171 1652@6@0@1@2@0@1@g22@6@0@1@g22$@0#sscanf
+^172 1667$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
+^173 1665$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^174 1671$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
+^175 1669$@0@@1@p0$@0#vsnprintf
+^176 1557$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^177 1562@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^178 1573$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^179 1575$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputs
+^180 1600$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc
+^181 1602$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar
+^182 1611@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
+^183 1624$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc
+^184 1626$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar
+^185 1632$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#puts
+^186 1663$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^187 1577$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^188 1598$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^189 1559$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^190 1584$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^191 1588$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^192 1590$@0@g22@6@0@1@g22$@0#ftell
+^193 1640$@0@s3,g22@6@0@1@tp0,g22$@0#rewind
+^194 1538$@0@@1@tp0$@0#clearerr
+^195 1551$@0@g22@6@0@1@g22$@0#feof
+^196 1553$@0@g22@6@0@1@g22$@0#ferror
+^197 1617$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^198 1685$^$@0#atof
+^199 1687$^$@0#atoi
+^200 1689$^$@0#atol
+^201 1804$@0@g22@6@0@1@tp1,g22$@0#strtod
+^202 1806$@0@g22@6@0@1@tp1,g22$@0#strtol
+^203 1808$@0@g22@6@0@1@tp1,g22$@0#strtoul
 *1 (Constant)
 ^204 5$#RAND_MAX
 *4 (Function)
-^205 299$@0@s1@1@s1$@0#rand
-^206 301$@0@s1@1@s1$@0#srand
-^207 304@6@5@1@0@0^@2@0@0#calloc
-^208 307@4@5@1@0@0^@2@0@0#malloc
-^209 310@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^205 1776$@0@s1@1@s1$@0#rand
+^206 1798$@0@s1@1@s1$@0#srand
+^207 1699@6@5@1@0@0^@2@0@0#calloc
+^208 1746@4@5@1@0@0@1@g22@6@0@1@g22@2@0@0#malloc
+^209 1783@6@5@1@0@0@0@g22@6@0@1@tp0,g22@2@0@0#realloc
 ^210 1071$@0@@1@p0,tp0$@0#free
 *1 (Constant)
 ^211 5$#EXIT_FAILURE#EXIT_SUCCESS
 *4 (Function)
-^213 314@6@0@6@0@0^$@0#abort
+^213 1675@6@0@6@0@0^$@0#abort
 ^214 316@6@0@6@0@0^$@0#exit
-^215 322$@0@s1@1@s1$@0#atexit
-^216 325@6@5@1@0@0^@19@3@0#getenv
-^217 327$@0@s3@1@s3$@0#system
-^218 334@6@5@1@0@0^@18@0@0#bsearch
-^219 340$@0@g22@6@0@1@tp0,g22$@0#qsort
-^220 342$^$@0#abs
+^215 1683$@0@s1@1@s1$@0#atexit
+^216 1717@6@5@1@0@0^@19@3@0#getenv
+^217 1810$@0@s3,g22@6@0@1@s3,g22$@0#system
+^218 1696@6@5@1@0@0^@18@0@0#bsearch
+^219 1774$@0@g22@6@0@1@tp0,g22$@0#qsort
+^220 1677$^$@0#abs
 *7 (Struct tag)
 ^221 343@344#@!2
 *0 (Datatype)
 ^222 343@-@-@0@0@0@0@345#div_t
 *4 (Function)
-^223 347$^$@0#div
-^224 349$^$@0#labs
+^223 1703$^$@0#div
+^224 1733$^$@0#labs
 *7 (Struct tag)
 ^225 350@351#@!3
 *0 (Datatype)
 ^226 350@-@-@0@0@0@0@352#ldiv_t
 *4 (Function)
-^227 354$^$@0#ldiv
+^227 1741$^$@0#ldiv
 *1 (Constant)
 ^228 63$#MB_CUR_MAX
 ^229 5$#WCHAR_MAX#WCHAR_MIN
@@ -1865,11 +2150,11 @@
 ^301 511$^$@0#towupper
 ^302 513$^$@0#wctrans
 ^303 515$^$@0#wctype
-^304 517$^$@0#mblen
-^305 519$@0@@1@tp0$@0#mbtowc
-^306 521$@0@@1@tp0$@0#wctomb
-^307 523$@0@@1@tp0$@0#mbstowcs
-^308 525$@0@@1@tp0$@0#wcstombs
+^304 1748$@1@g22@6@0@1@g22$@0#mblen
+^305 1752$@0@g22@6@0@1@tp0,g22$@0#mbtowc
+^306 1821$@0@@1@tp0$@0#wctomb
+^307 1750$@0@@1@tp0$@0#mbstowcs
+^308 1819$@0@g22@6@0@1@tp0,g22$@0#wcstombs
 ^309 529$@0@@1@tp0$@0#memcpy
 ^310 532$@0@@1@tp0$@0#memmove
 ^311 536$@0@@1@tp0$@0#strcpy
@@ -2005,8 +2290,8 @@
 *1 (Constant)
 ^562 5$#L_ctermid#L_cuserid
 *4 (Function)
-^564 726@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
-^565 728$@0@g22@6@0@1@g22$@0#fileno
+^564 1549@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
+^565 1564$@0@g22@6@0@1@g22$@0#fileno
 *7 (Struct tag)
 ^566 1309@730#@stat
 *4 (Function)
@@ -2074,8 +2359,8 @@
 ^710 825$@0@g22@6@0@1@g22$@0#chdir
 ^711 827$@0@s3,g22@6@0@1@s3,g22$@0#chown
 ^712 829$@0@s3,g22@6@0@1@s3,g22$@0#close
-^713 832$@0@s3@1@tp0,s3$@0#ctermid
-^714 835$@0@@1@tp0@3@0@0#cuserid
+^713 1541$@0@s3@1@tp0,s3$@0#ctermid
+^714 1544$@0@@1@tp0@3@0@0#cuserid
 ^715 837$@0@g22@6@0,s3@1@g22,s3$@0#dup2
 ^716 839$@0@g22@6@0,s3@1@g22,s3$@0#dup
 ^717 841@6@0@5@0@0@0@g22@6@0@1@g22$@0#execl
@@ -2472,9 +2757,9 @@
 ^1532 1452$^$@0#toascii
 ^1533 1454$^$@0#_toupper
 ^1534 1456$^$@0#_tolower
-^1535 1458$@0@s1@1@s1$@0#drand48
+^1535 1705$@0@s1@1@s1$@0#drand48
 ^1536 1462$@0@s1@1@s1$@0#erand48
-^1537 1464$@0@s1@1@s1$@0#srand48
+^1537 1800$@0@s1@1@s1$@0#srand48
 *0 (Datatype)
 ^1538 14@-@-@0@0@0@0@1465#in_port_t
 ^1539 14@-@-@0@0@0@0@1466#in_addr_t
@@ -2510,7 +2795,83 @@
 ^1570 1532$@0@g22@6@0@1@g22$@0#lgamma
 ^1571 1534$@0@g22@6@0@1@g22$@0#erf
 ^1572 1536$@0@g22@6@0@1@g22$@0#erfc
+^1573 1566$@0@s3@1@tp0,s3$@0#flockfile
+^1574 1586$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseeko
+^1575 1592$@0@g22@6@0@1@g22$@0#ftello
+^1576 1594$@0@s3@1@tp0,s3$@0#ftrylockfile
+^1577 1596$@0@s3@1@tp0,s3$@0#funlockfile
+^1578 1604$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc_unlocked
+^1579 1606$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar_unlocked
+*3 (Variable)
+^1580 23|@1|6@0@0@0@1#optarg
+^1581 5|@1|6@0@0@0@1#optind#optopt#opterr#optreset
+*4 (Function)
+^1585 1608$@1@g1580@6@0,g1581@6@0,g1582@6@0,g1583@6@0,g1584@6@0@1@g1580,g1581,g1582$@0#getopt
+^1586 1613$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getw
+^1587 1615$@0@s3,g22@6@0@1@s3,tp0,g22$@0#pclose
+^1588 1620@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#popen
+^1589 1628$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc_unlocked
+^1590 1630$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar_unlocked
+^1591 1634$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putw
+^1592 1648@6@0@1@1@0@0@@1@tp0$@0#snprintf
+^1593 1655@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@3@0@0#tempnam
+^1594 1673$$$@0#a64l
+*7 (Struct tag)
+^1595 1700@1701#@!5
+*4 (Function)
+^1596 1708$$@3@0@0#ecvt
+^1597 1711$$@3@0@0#fcvt
+^1598 1714$$@3@0@0#gcvt
+^1599 1719$@0@@1@p0,p2$@0#getsubopt
+^1600 1721$@0@s3,g22@6@0@1@s3,g22$@0#grantpt
+^1601 1724$@0@@1@-,p1@3@0@0#initstate
+^1602 1728$@0@s1@1@s1$@0#jrand48
+^1603 1731$$@3@0@0#l64a
+^1604 1737$@0@s1@1@s1$@0#lcong48
+*7 (Struct tag)
+^1605 1738@1739#@!6
+*4 (Function)
+^1606 1743$@0@s1@1@s1$@0#lrand48
+^1607 1755$@0@@1@p0@3@0@0#mktemp
+^1608 1757$@0@s3@1@p0,s3$@0#mkstemp
+^1609 1759$@0@s1@1@s1$@0#mrand48
+^1610 1763$@0@s1@1@s1,p0$@0#nrand48
+^1611 1766$$@18@0@0#ptsname
+^1612 1768$@1@g673@6@0,g22@6@0@1@tg673,g22$@0#putenv
+^1613 1778$@0@@1@p0$@0#rand_r
+^1614 1780$@0@s1@1@s1$@0#random
+^1615 1786$$@3@0@0#realpath
+^1616 1791$@0@s1@1@s1@3@0@0#seed48
+^1617 1793$@0@s1,g22@6@0@1@s1,g22$@0#setkey
+^1618 1796$@0@s1,g22@6@0@1@s1,g22@2@0@0#setstate
+^1619 1802$@0@s1@1@s1$@0#srandom
+^1620 1812$^$@0#ttyslot
+^1621 1814$@0@s3,s1@1@s3,s1$@0#unlockpt
+^1622 1817$@0@g22@6@0@1@g22@3@0@0#valloc
 ;; Library constraints
+setvbuf
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 1
+r
+0
+1
+e1
+2
+2
+Param 63 3
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
 vsnprintf
 pre:
 C
@@ -2522,9 +2883,16 @@ l
 2
 Param 23 0
 r
+0
+1
+e1
 2
 2
 Param 63 1
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:EMPTY
 fgets
@@ -2582,6 +2950,74 @@ e2
 3
 -1
 ;; end precondition constraints
+fread
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+fwrite
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 0
+r
+2
+2
+Param 63 1
+;; end precondition constraints
+post:EMPTY
+fgetpos
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 265 1
+r
+2
+3
+0
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 265 1
+r
+2
+3
+0
+;; end precondition constraints
 calloc
 pre:EMPTY
 post:
@@ -2605,32 +3041,169 @@ e2
 3
 -1
 ;; end precondition constraints
-malloc
-pre:EMPTY
-post:
+malloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+realloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+bsearch
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+qsort
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+mblen
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+mbtowc
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+mbstowcs
+pre:
 C
-0@1@4
+0@1@3
 l
 1
 1
 2
 2
-Result
+Param 359 0
 r
 0
 1
 e1
 2
 2
-Param 63 0
+Param 63 2
 e2
 2
 3
 -1
 ;; end precondition constraints
-realloc
-pre:EMPTY
-post:
+post:EMPTY
+wcstombs
+pre:
 C
 0@1@3
 l
@@ -2638,19 +3211,20 @@ l
 1
 2
 2
-Result
+Param 23 0
 r
 0
 1
 e1
 2
 2
-Param 63 1
+Param 63 2
 e2
 2
 3
 -1
 ;; end precondition constraints
+post:EMPTY
 memcpy
 pre:
 C
@@ -3304,6 +3878,8 @@ e2
 2
 3
 -1
+;; end precondition constraints
+post:
 C
 0@1@1
 l
@@ -3324,7 +3900,6 @@ e2
 3
 -1
 ;; end precondition constraints
-post:EMPTY
 read
 pre:
 C
@@ -3681,6 +4256,262 @@ r
 3
 15
 ;; end precondition constraints
+getopt
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 291 1
+r
+0
+1
+e1
+2
+2
+Param 5 0
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+snprintf
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+tempnam
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+gcvt
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 2
+r
+2
+2
+Param 5 1
+;; end precondition constraints
+post:EMPTY
+initstate
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 1
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+jrand48
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 1726 0
+r
+2
+3
+2
+;; end precondition constraints
+post:EMPTY
+l64a
+pre:EMPTY
+post:
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+5
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+5
+;; end precondition constraints
+lcong48
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 1735 0
+r
+2
+3
+6
+;; end precondition constraints
+post:EMPTY
+nrand48
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 1761 0
+r
+2
+3
+2
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 1761 0
+r
+2
+3
+2
+;; end precondition constraints
+post:EMPTY
+seed48
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 1788 0
+r
+2
+3
+2
+;; end precondition constraints
+post:EMPTY
+setkey
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+3
+63
+;; end precondition constraints
+post:EMPTY
+valloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
 ;; Modules access
 lltX_bool#1@
 types#1@