*** empty log message ***

[splint.git] / lib / unix.lcd

diff --git a/lib/unix.lcd b/lib/unix.lcd
index 484ad3e653d38537ae486010d8593c62d9f72759..e4e52d929daa0de5dfe5156d18a2dd4f11a4892b 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: unix.lcd
-;;LCLint 3.0.0.16 --- 10 September 2001
-;;lib:167
+;;LCLint 3.0.0.19 --- 5 October 2001
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -563,12 +563,12 @@
 3 f504 (23|$#,)!
 3 f0 (23|$#,63|$#,)!
 3 f5 (23|$#,63|$#,)!
-3 f0 (383|0@5@7&#,23|0@5@7&#,63|$#,)!
-3 f5 (383|0@5@7&#,23|0@5@7&#,63|$#,)!
+3 f0 (383|4@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (383|4@5@7&#,23|0@5@7&#,63|$#,)!
 3 f0 (23|4@5@7&#,65|$#,)!
 3 f5 (23|4@5@7&#,65|$#,)!
-3 f0 (383|4@0@7&#,23|$#,63|$#,)!
-3 f63 (383|4@0@7&#,23|$#,63|$#,)!
+3 f0 (383|4@5@7&#,23|$#,63|$#,)!
+3 f63 (383|4@5@7&#,23|$#,63|$#,)!
 3 f0 (23|4@0@7&#,383|$#,63|$#,)!
 3 f63 (23|4@0@7&#,383|$#,63|$#,)!
 3 C0.1/20|!
@@ -705,7 +705,7 @@
 3 f695 (23|$#,)!
 3 f0 (695|$#,)!
 3 f19 (695|$#,)!
-1 t694|694 1536 -1
+1 t694|694 1535 -1
 3 f703 (695|$#,)!
 3 f0 (695|$#,)!
 3 f1 (695|$#,)!
@@ -897,9 +897,9 @@
 3 f690 ()!
 3 f0 (5|$#,5|$#,)!
 3 f9 (5|$#,5|$#,)!
-3 f0 (23|@5|4@0@7&#,63|$#,)!
-3 f19 (23|@5|4@0@7&#,63|$#,)!
-3 f23 (23|@5|4@0@7&#,63|$#,)!
+3 f0 (23|@5|4@2@7&#,63|$#,)!
+3 f19 (23|@5|4@2@7&#,63|$#,)!
+3 f23 (23|@5|4@2@7&#,63|$#,)!
 3 f0 ()!
 3 f685 ()!
 3 f0 ()!
@@ -1484,51 +1484,50 @@
 3 f19 (5|$#,)!
 3 f23 (5|$#,)!
 3 Shostent{23|@1|0@0@18@3@0#h_name,315|@1|0@0@18@3@0#h_aliases,5|@1|^#h_addrtype,5|@1|^#h_length,315|@1|0@0@18@3@0#h_addr_list,23|@1|0@0@18@3@0#h_addr,}!
-0 s1529|&
-3 Sin_addr{1482|@1|^#s_addr,}!
-0 s1530|&
-0 s1531|&
-3 f0 (1482|$#,)!
-3 f1482 (1482|$#,)!
-3 f0 (1485|$#,)!
-3 f1485 (1485|$#,)!
-3 f0 (1482|$#,)!
-3 f1482 (1482|$#,)!
-3 f0 (1485|$#,)!
-3 f1485 (1485|$#,)!
 3 f0 (23|0@2@7&#,)!
 3 f5 (23|0@2@7&#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
 3 C0.2/5|!
 3 C0.5/3|!
-3 f0 (1499|$#,)!
-3 f2 (1499|$#,)!
-3 f1498 (1499|$#,)!
-3 f0 (1499|$#,)!
-3 f2 (1499|$#,)!
-3 f1498 (1499|$#,)!
+3 f0 (1487|$#,)!
+3 f2 (1487|$#,)!
+3 f1486 (1487|$#,)!
+3 f0 (1487|$#,)!
+3 f2 (1487|$#,)!
+3 f1486 (1487|$#,)!
 3 C0.4/5|!
-3 f0 (1499|@7|$#,)!
-3 f4 (1499|@7|$#,)!
-3 f1506 (1499|@7|$#,)!
-3 f0 (1499|@7|$#,)!
-3 f4 (1499|@7|$#,)!
-3 f1506 (1499|@7|$#,)!
+3 f0 (1487|@7|$#,)!
+3 f4 (1487|@7|$#,)!
+3 f1494 (1487|@7|$#,)!
+3 f0 (1487|@7|$#,)!
+3 f4 (1487|@7|$#,)!
+3 f1494 (1487|@7|$#,)!
 3 f0 ()!
 3 f17 ()!
 2 F0/3|0&
 2 F8/3|8&
-3 f0 (1516|$#,)!
-3 f17 (1516|$#,)!
+3 f0 (1504|$#,)!
+3 f17 (1504|$#,)!
 3 f0 (9|$#,)!
 3 f1 (9|$#,)!
-0 s1545|&
-3 Sin_addr{1482|@1|^#s_addr,}!
+0 s1538|&
+0 s1539|&
+0 s1540|&
+3 Sin_addr{1510|@1|^#s_addr,}!
+0 s1541|&
 2 F0/8|0&
 2 F3/8|3&
-3 Ssockaddr_in{1521|@1|^#sin_family,1485|@1|^#sin_port,1484|@1|^#sin_addr,1524|@1|^#sin_zero,}!
-0 s1546|&
+3 Ssockaddr_in{1511|@1|^#sin_family,1509|@1|^#sin_port,1513|@1|^#sin_addr,1515|@1|^#sin_zero,}!
+0 s1542|&
+3 f0 (1510|$#,)!
+3 f1510 (1510|$#,)!
+3 f0 (1509|$#,)!
+3 f1509 (1509|$#,)!
+3 f0 (1510|$#,)!
+3 f1510 (1510|$#,)!
+3 f0 (1509|$#,)!
+3 f1509 (1509|$#,)!
 3 Sdirent{686|@1|^#d_ino,42|@1|^#d_name,}!
 3 f0 (695|$#,)!
 3 f5 (695|$#,)!
@@ -1539,8 +1538,8 @@
 3 f19 (695|$#,)!
 3 f703 (695|$#,)!
 1 t703|703&
-3 f0 (695|$#,703|$#,1536|$#,)!
-3 f5 (695|$#,703|$#,1536|$#,)!
+3 f0 (695|$#,703|$#,1535|$#,)!
+3 f5 (695|$#,703|$#,1535|$#,)!
 3 f0 (695|$#,)!
 3 f1 (695|$#,)!
 3 f0 (695|$#,9|$#,)!
@@ -1553,6 +1552,37 @@
 3 f0 (23|@5|4@0@7&#,23|$#,63|$#,)!
 3 f19 (23|@5|4@0@7&#,23|$#,63|$#,)!
 3 f23 (23|@5|4@0@7&#,23|$#,63|$#,)!
+3 f0 (996|$#,)!
+3 f5 (996|$#,)!
+3 f0 (1513|$#,)!
+3 f19 (1513|$#,)!
+3 f23 (1513|$#,)!
+3 f0 (17|$#,17|$#,)!
+3 f17 (17|$#,17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (5|$#,17|$#,)!
+3 f17 (5|$#,17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (5|$#,17|$#,)!
+3 f17 (5|$#,17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
 3 f0 (211|$#,)!
 3 f1 (211|$#,)!
 3 f0 (23|@5|4@5@7&#,)!
@@ -1589,7 +1619,7 @@
 3 C0.5/1|!
 3 f0 (211|$#,23|$#,!.,)!
 3 f5 (211|$#,23|$#,!.,)!
-3 f1584 (211|$#,23|$#,!.,)!
+3 f1614 (211|$#,23|$#,!.,)!
 3 f236 (211|$#,23|$#,!.,)!
 3 f0 (265|$#,211|$#,)!
 3 f5 (265|$#,211|$#,)!
@@ -1643,7 +1673,7 @@
 3 C0.5/1|!
 3 f0 (23|$#,!.,)!
 3 f5 (23|$#,!.,)!
-3 f1638 (23|$#,!.,)!
+3 f1668 (23|$#,!.,)!
 3 f236 (23|$#,!.,)!
 3 f0 (265|$#,211|@7|$#,)!
 3 f5 (265|$#,211|@7|$#,)!
@@ -1672,10 +1702,10 @@
 3 C0.5/1|!
 3 f0 (23|4@0@7&#,63|$#,23|$#,!.,)!
 3 f5 (23|4@0@7&#,63|$#,23|$#,!.,)!
-3 f1667 (23|4@0@7&#,63|$#,23|$#,!.,)!
+3 f1697 (23|4@0@7&#,63|$#,23|$#,!.,)!
 3 f0 (23|4@0@7&#,23|$#,!.,)!
 3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f1667 (23|4@0@7&#,23|$#,!.,)!
+3 f1697 (23|4@0@7&#,23|$#,!.,)!
 3 f236 (23|4@0@7&#,23|$#,!.,)!
 3 f0 (23|4@0@7&#,23|$#,!.,)!
 3 f5 (23|4@0@7&#,23|$#,!.,)!
@@ -1698,6 +1728,156 @@
 3 f5 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
 3 f0 (23|4@0@7&#,23|$#,204|$#,)!
 3 f5 (23|4@0@7&#,23|$#,204|$#,)!
+3 f0 (23|$#,)!
+3 f9 (23|$#,)!
+3 f0 ()!
+3 f1 ()!
+3 f0 (5|$#,)!
+3 f5 (5|$#,)!
+3 ?!
+3 f1732 ()!
+3 f1 ()^1735
+1 t1734|1734&
+3 f0 (1735|$#,)!
+3 f5 (1735|$#,)!
+3 f0 (23|$#,)!
+3 f17 (23|$#,)!
+3 f0 (23|$#,)!
+3 f5 (23|$#,)!
+3 f0 (23|$#,)!
+3 f9 (23|$#,)!
+3 ?!
+3 f1744 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^1747
+1 t1746|1746&
+3 f0 (20|$#,20|$#,63|$#,63|$#,1747|$#,)!
+3 f19 (20|$#,20|$#,63|$#,63|$#,1747|$#,)!
+3 f20 (20|$#,20|$#,63|$#,63|$#,1747|$#,)!
+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 f369 (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 (315|$#,315|$#,315|4@0@7&#,)!
+3 f5 (315|$#,315|$#,315|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 (1780|$#,)!
+3 f9 (1780|$#,)!
+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 (1789|$#,)!
+3 f1 (1789|$#,)!
+3 S!6{9|@1|^#quot,9|@1|^#rem,}!
+0 s1605|&
+3 f0 (9|$#,9|$#,)!
+3 f376 (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 (383|4@5@7&#,23|$#,63|$#,)!
+3 f63 (383|4@5@7&#,23|$#,63|$#,)!
+3 f0 (383|4@5@7&#,23|0@5@7&#,63|$#,)!
+3 f5 (383|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 (1815|$#,)!
+3 f9 (1815|$#,)!
+3 f0 (5|$#,)!
+3 f19 (5|$#,)!
+3 f23 (5|$#,)!
+3 f0 (23|0@0@5&#,)!
+3 f5 (23|0@0@5&#,)!
+3 ?!
+3 f1823 (20|$#,20|$#,)!
+3 f5 (20|$#,20|$#,)^1826
+1 t1825|1825&
+3 f0 (20|$#,63|$#,63|$#,1826|$#,)!
+3 f1 (20|$#,63|$#,63|$#,1826|$#,)!
+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 (1842|$#,)!
+3 f19 (1842|$#,)!
+3 f27 (1842|$#,)!
+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|$#,315|4@5@7&#,)!
+3 f17 (23|$#,315|4@5@7&#,)!
+3 f0 (23|$#,315|4@5@7&#,5|$#,)!
+3 f9 (23|$#,315|4@5@7&#,5|$#,)!
+3 f0 (23|$#,315|4@5@7&#,5|$#,)!
+3 f10 (23|$#,315|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&#,383|$#,63|$#,)!
+3 f63 (23|4@0@7&#,383|$#,63|$#,)!
+3 f0 (23|4@5@7&#,65|$#,)!
+3 f5 (23|4@5@7&#,65|$#,)!
 ;;tistable
 0
 28
@@ -1862,87 +2042,87 @@
 *3 (Variable)
 ^155 211|@1|6@0@0@0@1#stderr
 *4 (Function)
-^156 1656$@0@s3,g22@6@0@1@s3,g22$@0#remove
-^157 1658$@0@s3,g22@6@0@1@s3,g22$@0#rename
-^158 1682@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@3@0@0#tmpfile
-^159 1685$@0@s1@1@tp0,s1@19@3@0#tmpnam
-^160 1560$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
-^161 1569$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
-^162 1583@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#fopen
-^163 1597@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
-^164 1664$@0@s3@1@s3,tp0,tp1$@0#setbuf
-^165 1666$@0@s3@1@s3,tp0,tp1$@0#setvbuf
-^166 1588@6@0@1@1@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fprintf
-^167 1599@6@0@1@2@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fscanf
-^168 1642@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
-^169 1662@6@0@1@2@0@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#scanf
-^170 1674@6@0@1@1@0@0@@1@tp0$@0#sprintf
-^171 1676@6@0@1@2@0@1@g22@6@0@1@g22$@0#sscanf
-^172 1691$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
-^173 1689$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^174 1695$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
-^175 1693$@0@@1@p0$@0#vsnprintf
-^176 1571$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
-^177 1576@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
-^178 1590$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
-^179 1592$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputs
-^180 1617$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc
-^181 1619$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar
-^182 1628@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 1644$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc
-^184 1646$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar
-^185 1652$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#puts
-^186 1687$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
-^187 1594$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
-^188 1615$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
-^189 1573$@0@g22@6@0@1@tp1,g22$@0#fgetpos
-^190 1601$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
-^191 1605$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
-^192 1607$@0@g22@6@0@1@g22$@0#ftell
-^193 1660$@0@s3,g22@6@0@1@tp0,g22$@0#rewind
-^194 1552$@0@@1@tp0$@0#clearerr
-^195 1565$@0@g22@6@0@1@g22$@0#feof
-^196 1567$@0@g22@6@0@1@g22$@0#ferror
-^197 1634$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
-^198 309$^$@0#atof
-^199 311$^$@0#atoi
-^200 313$^$@0#atol
-^201 317$@0@g22@6@0@1@tp1,g22$@0#strtod
-^202 319$@0@g22@6@0@1@tp1,g22$@0#strtol
-^203 321$@0@g22@6@0@1@tp1,g22$@0#strtoul
+^156 1686$@0@s3,g22@6@0@1@s3,g22$@0#remove
+^157 1688$@0@s3,g22@6@0@1@s3,g22$@0#rename
+^158 1712@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@3@0@0#tmpfile
+^159 1715$@0@s1@1@tp0,s1@19@3@0#tmpnam
+^160 1590$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
+^161 1599$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
+^162 1613@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#fopen
+^163 1627@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
+^164 1694$@0@s3@1@s3,tp0,tp1$@0#setbuf
+^165 1696$@0@s3@1@s3,tp0,tp1$@0#setvbuf
+^166 1618@6@0@1@1@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fprintf
+^167 1629@6@0@1@2@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fscanf
+^168 1672@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
+^169 1692@6@0@1@2@0@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#scanf
+^170 1704@6@0@1@1@0@0@@1@tp0$@0#sprintf
+^171 1706@6@0@1@2@0@1@g22@6@0@1@g22$@0#sscanf
+^172 1721$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
+^173 1719$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^174 1725$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
+^175 1723$@0@@1@p0$@0#vsnprintf
+^176 1601$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^177 1606@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^178 1620$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^179 1622$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputs
+^180 1647$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc
+^181 1649$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar
+^182 1658@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 1674$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc
+^184 1676$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar
+^185 1682$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#puts
+^186 1717$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^187 1624$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^188 1645$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^189 1603$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^190 1631$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^191 1635$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^192 1637$@0@g22@6@0@1@g22$@0#ftell
+^193 1690$@0@s3,g22@6@0@1@tp0,g22$@0#rewind
+^194 1582$@0@@1@tp0$@0#clearerr
+^195 1595$@0@g22@6@0@1@g22$@0#feof
+^196 1597$@0@g22@6@0@1@g22$@0#ferror
+^197 1664$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^198 1739$^$@0#atof
+^199 1741$^$@0#atoi
+^200 1743$^$@0#atol
+^201 1858$@0@g22@6@0@1@tp1,g22$@0#strtod
+^202 1860$@0@g22@6@0@1@tp1,g22$@0#strtol
+^203 1862$@0@g22@6@0@1@tp1,g22$@0#strtoul
 *1 (Constant)
 ^204 5$#RAND_MAX
 *4 (Function)
-^205 323$@0@s1@1@s1$@0#rand
-^206 325$@0@s1@1@s1$@0#srand
-^207 328@6@5@1@0@0^@2@0@0#calloc
-^208 331@4@5@1@0@0^@2@0@0#malloc
-^209 334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^205 1830$@0@s1@1@s1$@0#rand
+^206 1852$@0@s1@1@s1$@0#srand
+^207 1753@6@5@1@0@0^@2@0@0#calloc
+^208 1800@4@5@1@0@0@1@g22@6@0@1@g22@2@0@0#malloc
+^209 1837@6@5@1@0@0@0@g22@6@0@1@tp0,g22@2@0@0#realloc
 ^210 1108$@0@@1@p0,tp0$@0#free
 *1 (Constant)
 ^211 5$#EXIT_FAILURE#EXIT_SUCCESS
 *4 (Function)
-^213 338@6@0@6@0@0^$@0#abort
+^213 1729@6@0@6@0@0^$@0#abort
 ^214 340@6@0@6@0@0^$@0#exit
-^215 346$@0@s1@1@s1$@0#atexit
-^216 349@6@5@1@0@0^@19@3@0#getenv
-^217 351$@0@s3@1@s3$@0#system
-^218 358@6@5@1@0@0^@18@0@0#bsearch
-^219 364$@0@g22@6@0@1@tp0,g22$@0#qsort
-^220 366$^$@0#abs
+^215 1737$@0@s1@1@s1$@0#atexit
+^216 1771@6@5@1@0@0^@19@3@0#getenv
+^217 1864$@0@s3,g22@6@0@1@s3,g22$@0#system
+^218 1750@6@5@1@0@0^@18@0@0#bsearch
+^219 1828$@0@g22@6@0@1@tp0,g22$@0#qsort
+^220 1731$^$@0#abs
 *7 (Struct tag)
 ^221 367@368#@!2
 *0 (Datatype)
 ^222 367@-@-@0@0@0@0@369#div_t
 *4 (Function)
-^223 371$^$@0#div
-^224 373$^$@0#labs
+^223 1757$^$@0#div
+^224 1787$^$@0#labs
 *7 (Struct tag)
 ^225 374@375#@!3
 *0 (Datatype)
 ^226 374@-@-@0@0@0@0@376#ldiv_t
 *4 (Function)
-^227 378$^$@0#ldiv
+^227 1795$^$@0#ldiv
 *1 (Constant)
 ^228 63$#MB_CUR_MAX
 ^229 5$#WCHAR_MAX#WCHAR_MIN
@@ -2024,11 +2204,11 @@
 ^301 554$^$@0#towupper
 ^302 556$^$@0#wctrans
 ^303 558$^$@0#wctype
-^304 560$^$@0#mblen
-^305 562$@0@@1@tp0$@0#mbtowc
-^306 564$@0@@1@tp0$@0#wctomb
-^307 566$@0@@1@tp0$@0#mbstowcs
-^308 568$@0@@1@tp0$@0#wcstombs
+^304 1802$@1@g22@6@0@1@g22$@0#mblen
+^305 1806$@0@g22@6@0@1@tp0,g22$@0#mbtowc
+^306 1875$@0@@1@tp0$@0#wctomb
+^307 1804$@0@@1@tp0$@0#mbstowcs
+^308 1873$@0@g22@6@0@1@tp0,g22$@0#wcstombs
 ^309 572$@0@@1@tp0$@0#memcpy
 ^310 575$@0@@1@tp0$@0#memmove
 ^311 579$@0@@1@tp0$@0#strcpy
@@ -2101,7 +2281,7 @@
 *0 (Datatype)
 ^409 13@-@-@0@0@0@0@684#dev_t
 ^410 13@-@-@0@0@0@0@685#gid_t
-^411 13@-@-@0@0@0@0@686#ino_t
+^411 14@-@-@0@0@0@0@686#ino_t
 ^412 13@-@-@0@0@0@0@687#mode_t
 ^413 13@-@-@0@0@0@0@688#nlink_t
 ^414 13@-@-@0@0@0@0@689#off_t
@@ -2109,12 +2289,12 @@
 ^416 13@-@-@0@0@0@0@691#uid_t
 ^417 20@+@+@0@0@0@0@692#DIR
 *7 (Struct tag)
-^418 1527@694#@dirent
+^418 1526@694#@dirent
 *4 (Function)
-^419 1529$@0@g22@6@0@1@g22$@0#closedir
-^420 1532@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#opendir
-^421 1535@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#readdir
-^422 1540$^$@0#rewinddir
+^419 1528$@0@g22@6@0@1@g22$@0#closedir
+^420 1531@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#opendir
+^421 1534@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#readdir
+^422 1539$^$@0#rewinddir
 *1 (Constant)
 ^423 5$#E2BIG#EACCES#EAGAIN#EBADF#EBUSY#ECHILD#EDEADLK#EEXIST#EFAULT#EFBIG#EINTR#EINVAL#EIO#EISDIR#EMFILE#EMLINK#ENAMETOOLONG#ENFILE#ENODEV#ENOENT#ENOEXEC#ENOLCK#ENOMEM#ENOSPC#ENOSYS#ENOTDIR#ENOTEMPTY#ENOTTY#ENXIO#EPERM#EPIPE#EROFS#ESPIPE#ESRCH#EXDEV#FD_CLOEXEC#F_DUPFD#F_GETFD#F_GETFL#F_GETLK#F_RDLCK#F_SETFD#F_SETFL#F_SETLK#F_SETLKW#F_UNLCK#F_WRLCK#O_ACCMODE#O_APPEND#O_CREAT#O_EXCL#O_NOCTTY#O_NONBLOCK#O_RDONLY#O_RDWR#O_TRUNC#O_WRONLY#S_IRGRP#S_IROTH#S_IUSR#S_IWXG#S_IWXO#S_IWXU#S_ISGID#S_ISUID#S_IWGRP#S_IWOTH#S_IWUSR#S_IXGRP#S_IXOTH#S_IXUSR
 *7 (Struct tag)
@@ -2129,7 +2309,11 @@
 ^499 720@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrgid
 ^500 723@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrnam
 *1 (Constant)
-^501 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON#MAX_INPUT#NAME_MAX#NGROUPS_MAX#OPEN_MAX#PATH_MAX#PIPE_BUF#SSIZE_MAX#STREAM_MAX#TZNAME_MAX#_POSIX_ARG_MAX#_POSIX_CHILD_MAX#_POSIX_LINK_MAX#_POSIX_MAX_CANON#_POSIX_MAX_INPUT#_POSIX_NAME_MAX#_POSIX_NGROUPS_MAX#_POSIX_OPEN_MAX#_POSIX_PATH_MAX#_POSIX_PIPE_BUF#_POSIX_SSIZE#_POSIX_STREAM#_POSIX_TZNAME_MAX
+^501 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON
+^505 63$#MAX_INPUT#NAME_MAX
+^507 9$#NGROUPS_MAX#OPEN_MAX
+^509 63$#PATH_MAX#PIPE_BUF
+^511 9$#SSIZE_MAX#STREAM_MAX#TZNAME_MAX#_POSIX_ARG_MAX#_POSIX_CHILD_MAX#_POSIX_LINK_MAX#_POSIX_MAX_CANON#_POSIX_MAX_INPUT#_POSIX_NAME_MAX#_POSIX_NGROUPS_MAX#_POSIX_OPEN_MAX#_POSIX_PATH_MAX#_POSIX_PIPE_BUF#_POSIX_SSIZE#_POSIX_STREAM#_POSIX_TZNAME_MAX
 *7 (Struct tag)
 ^527 724@725#@passwd
 *4 (Function)
@@ -2160,8 +2344,8 @@
 *1 (Constant)
 ^562 5$#L_ctermid#L_cuserid
 *4 (Function)
-^564 1563@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
-^565 1578$@0@g22@6@0@1@g22$@0#fileno
+^564 1593@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
+^565 1608$@0@g22@6@0@1@g22$@0#fileno
 *7 (Struct tag)
 ^566 1346@773#@stat
 *4 (Function)
@@ -2229,8 +2413,8 @@
 ^710 862$@0@g22@6@0@1@g22$@0#chdir
 ^711 864$@0@s3,g22@6@0@1@s3,g22$@0#chown
 ^712 866$@0@s3,g22@6@0@1@s3,g22$@0#close
-^713 1555$@0@s3@1@tp0,s3$@0#ctermid
-^714 1558$@0@@1@tp0@3@0@0#cuserid
+^713 1585$@0@s3@1@tp0,s3$@0#ctermid
+^714 1588$@0@@1@tp0@3@0@0#cuserid
 ^715 874$@0@g22@6@0,s3@1@g22,s3$@0#dup2
 ^716 876$@0@g22@6@0,s3@1@g22,s3$@0#dup
 ^717 878@6@0@5@0@0@0@g22@6@0@1@g22$@0#execl
@@ -2241,7 +2425,7 @@
 ^722 890@6@0@5@0@0@0@g22@6@0@1@g22$@0#execvp
 ^723 892$@0@s3,g22@6@0@1@s3,g22$@0#fork
 ^724 894$@0@g22@6@0@1@g22$@0#fpathconf
-^725 897$@0@g22@6@0@1@g22,tp0$@0#getcwd
+^725 897@6@5@1@0@0@0@g22@6@0@1@g22,tp0$@0#getcwd
 ^726 899$^$@0#getegid
 ^727 901$^$@0#geteuid
 ^728 903$^$@0#getgid
@@ -2621,59 +2805,103 @@
 ^1526 1475$$$@0#endhostent
 ^1527 1477$$$@0#herror
 ^1528 1480$$@3@0@0#hstrerror
+^1529 1483$$$@0@W:superuser#Only super-user processes may call chroot.##chroot
+^1530 1485$$$@0@W:superuser#Only super-user processes may call fchroot.##fchroot
+^1531 1490$^$@0#isascii
+^1532 1493$$$@0#toascii
+^1533 1497$$$@0#_toupper
+^1534 1500$$$@0#_tolower
+^1535 1759$@0@s1@1@s1$@0#drand48
+^1536 1506$@0@s1@1@s1$@0#erand48
+^1537 1854$@0@s1@1@s1$@0#srand48
 *0 (Datatype)
-^1529 662@-@-@0@0@0@0@1482#in_addr_t
+^1538 14@-@-@0@0@0@0@1509#in_port_t
+^1539 14@-@-@0@0@0@0@1510#in_addr_t
+^1540 14@-@-@0@0@0@0@1511#sa_family_t
 *7 (Struct tag)
-^1530 1483@1484#@in_addr
-*0 (Datatype)
-^1531 661@-@-@0@0@0@0@1485#in_port_t
-*4 (Function)
-^1532 1487$^$@0#htonl
-^1533 1489$^$@0#htons
-^1534 1491$^$@0#ntohl
-^1535 1493$^$@0#ntohs
-^1536 1495$$$@0@W:superuser#Only super-user processes may call chroot.##chroot
-^1537 1497$$$@0@W:superuser#Only super-user processes may call fchroot.##fchroot
-^1538 1502$^$@0#isascii
-^1539 1505$$$@0#toascii
-^1540 1509$$$@0#_toupper
-^1541 1512$$$@0#_tolower
-^1542 1514$@0@s1@1@s1$@0#drand48
-^1543 1518$@0@s1@1@s1$@0#erand48
-^1544 1520$@0@s1@1@s1$@0#srand48
-*0 (Datatype)
-^1545 14@-@-@0@0@0@0@1521#sa_family_t
-*7 (Struct tag)
-^1546 1525@1526#@sockaddr_in
+^1541 1512@1513#@in_addr
+^1542 1516@1517#@sockaddr_in
 *1 (Constant)
-^1547 5$#IPPROTO_IP#IPPROTO_ICMP#IPPROTO_TCP#IPPROTO_UDP
-^1551 1482$#INADDR_ANY#INADDR_BROADCAST
+^1543 5$#IPPROTO_IP#IPPROTO_ICMP#IPPROTO_TCP#IPPROTO_UDP
+^1547 1510$#INADDR_ANY#INADDR_BROADCAST
 *4 (Function)
-^1553 1538$$$@0#readdir_r
-^1554 1542$$$@0#seekdir
-^1555 1544$$$@0#telldir
-^1556 1547$@0@@1@tp0$@0#stpcpy
-^1557 1550$@0@@1@tp0$@0#stpncpy
-^1558 1580$@0@s3@1@tp0,s3$@0#flockfile
-^1559 1603$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseeko
-^1560 1609$@0@g22@6@0@1@g22$@0#ftello
-^1561 1611$@0@s3@1@tp0,s3$@0#ftrylockfile
-^1562 1613$@0@s3@1@tp0,s3$@0#funlockfile
-^1563 1621$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc_unlocked
-^1564 1623$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar_unlocked
+^1549 1519$^$@0#htonl
+^1550 1521$^$@0#htons
+^1551 1523$^$@0#ntohl
+^1552 1525$^$@0#ntohs
+^1553 1537$$$@0#readdir_r
+^1554 1541$$$@0#seekdir
+^1555 1543$$$@0#telldir
+^1556 1546$@0@@1@tp0$@0#stpcpy
+^1557 1549$@0@@1@tp0$@0#stpncpy
+^1558 1551$@0@s3,g22@6@0@1@s3,g22$@0#usleep
+^1559 1554$$@3@0@0#inet_ntoa
+^1560 1556$@0@g22@6@0@1@g22$@0#hypot
+^1561 1558$@0@g22@6@0@1@g22$@0#j0
+^1562 1560$@0@g22@6@0@1@g22$@0#j1
+^1563 1562$@0@g22@6@0@1@g22$@0#jn
+^1564 1564$@0@g22@6@0@1@g22$@0#y0
+^1565 1566$@0@g22@6@0@1@g22$@0#y1
+^1566 1568$@0@g22@6@0@1@g22$@0#yn
+^1567 1570$@0@g22@6@0@1@g22$@0#acosh
+^1568 1572$@0@g22@6@0@1@g22$@0#asinh
+^1569 1574$@0@g22@6@0@1@g22$@0#atanh
+^1570 1576$@0@g22@6@0@1@g22$@0#lgamma
+^1571 1578$@0@g22@6@0@1@g22$@0#erf
+^1572 1580$@0@g22@6@0@1@g22$@0#erfc
+^1573 1610$@0@s3@1@tp0,s3$@0#flockfile
+^1574 1633$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseeko
+^1575 1639$@0@g22@6@0@1@g22$@0#ftello
+^1576 1641$@0@s3@1@tp0,s3$@0#ftrylockfile
+^1577 1643$@0@s3@1@tp0,s3$@0#funlockfile
+^1578 1651$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc_unlocked
+^1579 1653$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar_unlocked
 *3 (Variable)
-^1565 23|@1|6@0@0@0@1#optarg
-^1566 5|@1|6@0@0@0@1#optind#optopt#opterr#optreset
+^1580 23|@1|6@0@0@0@1#optarg
+^1581 5|@1|6@0@0@0@1#optind#optopt#opterr#optreset
+*4 (Function)
+^1585 1655$@1@g1580@6@0,g1581@6@0,g1582@6@0,g1583@6@0,g1584@6@0@1@g1580,g1581,g1582$@0#getopt
+^1586 1660$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getw
+^1587 1662$@0@s3,g22@6@0@1@s3,tp0,g22$@0#pclose
+^1588 1667@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#popen
+^1589 1678$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc_unlocked
+^1590 1680$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar_unlocked
+^1591 1684$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putw
+^1592 1700@6@0@1@1@0@0@@1@tp0$@0#snprintf
+^1593 1709@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@3@0@0#tempnam
+^1594 1727$$$@0#a64l
+*7 (Struct tag)
+^1595 1754@1755#@!5
+*4 (Function)
+^1596 1762$$@3@0@0#ecvt
+^1597 1765$$@3@0@0#fcvt
+^1598 1768$$@3@0@0#gcvt
+^1599 1773$@0@@1@p0,p2$@0#getsubopt
+^1600 1775$@0@s3,g22@6@0@1@s3,g22$@0#grantpt
+^1601 1778$@0@@1@-,p1@3@0@0#initstate
+^1602 1782$@0@s1@1@s1$@0#jrand48
+^1603 1785$$@3@0@0#l64a
+^1604 1791$@0@s1@1@s1$@0#lcong48
+*7 (Struct tag)
+^1605 1792@1793#@!6
 *4 (Function)
-^1570 1625$@1@g1565@6@0,g1566@6@0,g1567@6@0,g1568@6@0,g1569@6@0@1@g1565,g1566,g1567$@0#getopt
-^1571 1630$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getw
-^1572 1632$@0@s3,g22@6@0@1@s3,tp0,g22$@0#pclose
-^1573 1637@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#popen
-^1574 1648$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc_unlocked
-^1575 1650$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar_unlocked
-^1576 1654$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putw
-^1577 1670@6@0@1@1@0@0@@1@tp0$@0#snprintf
-^1578 1679@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@3@0@0#tempnam
+^1606 1797$@0@s1@1@s1$@0#lrand48
+^1607 1809$@0@@1@p0@3@0@0#mktemp
+^1608 1811$@0@s3@1@p0,s3$@0#mkstemp
+^1609 1813$@0@s1@1@s1$@0#mrand48
+^1610 1817$@0@s1@1@s1,p0$@0#nrand48
+^1611 1820$$@18@0@0#ptsname
+^1612 1822$@1@g673@6@0,g22@6@0@1@tg673,g22$@0#putenv
+^1613 1832$@0@@1@p0$@0#rand_r
+^1614 1834$@0@s1@1@s1$@0#random
+^1615 1840$$@3@0@0#realpath
+^1616 1845$@0@s1@1@s1@3@0@0#seed48
+^1617 1847$@0@s1,g22@6@0@1@s1,g22$@0#setkey
+^1618 1850$@0@s1,g22@6@0@1@s1,g22@2@0@0#setstate
+^1619 1856$@0@s1@1@s1$@0#srandom
+^1620 1866$^$@0#ttyslot
+^1621 1868$@0@s3,s1@1@s3,s1$@0#unlockpt
+^1622 1871$@0@g22@6@0@1@g22@3@0@0#valloc
 ;; Library constraints
 setvbuf
 pre:
@@ -2894,7 +3122,7 @@ realloc
 pre:EMPTY
 post:
 C
-0@1@3
+0@1@4
 l
 1
 1
@@ -2913,6 +3141,144 @@ e2
 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@3
+l
+1
+1
+2
+2
+Param 383 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
+wcstombs
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:EMPTY
 memcpy
 pre:
 C
@@ -3545,6 +3911,49 @@ r
 3
 0
 ;; end precondition constraints
+getcwd
+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:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
 read
 pre:
 C
@@ -3614,7 +4023,27 @@ Param 63 3
 ;; end precondition constraints
 post:EMPTY
 readlink
-pre:EMPTY
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 1
+r
+0
+1
+e1
+2
+2
+Param 5 2
+e2
+2
+3
+-1
+;; end precondition constraints
 post:
 C
 0@1@1
@@ -3853,6 +4282,34 @@ r
 2
 Param 23 0
 ;; end precondition constraints
+inet_ntoa
+pre:EMPTY
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+15
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+15
+;; end precondition constraints
 getopt
 pre:
 C
@@ -3927,6 +4384,188 @@ r
 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 1780 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 1789 0
+r
+2
+3
+6
+;; end precondition constraints
+post:EMPTY
+nrand48
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 1815 0
+r
+2
+3
+2
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 1815 0
+r
+2
+3
+2
+;; end precondition constraints
+post:EMPTY
+seed48
+pre:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 1842 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@