Splint FreeBSD Installation

From: drl7x Date: Tue, 12 Feb 2002 07:58:52 +0000 (+0000) Subject: Put instruction files from web site into CVS development directory. X-Git-Tag: splint-3_0_1_6 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/6e3f87f611bdb780419e12653cbf1214168f9faa?hp=16033af51f9a96dcc87c44c877dcbd5591384698 Put instruction files from web site into CVS development directory. --- diff --git a/Makefile.am b/Makefile.am index 0dffad8..efb1efc 100644 --- a/Makefile.am +++ b/Makefile.am @@ -56,8 +56,13 @@ bindist: $(binaryDerivedFiles) $(MAKE) $(RM) -f $(binaryDir)/splint $(CP) src/splint $(binaryDir)/splint + $(MV) install.html installSource.html + $(CP) doc/` uname | tr [A-Z] [a-z]`.html install.html $(MAKE) -e dist dh_script=$(binaryfixscript) SUBDIRS="$(binaryDir) lib imports doc" - $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz + $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz + $(MV) installSource.html install.html dist-hook: cd $(distdir); pwd; $(dh_script) + + diff --git a/Makefile.in b/Makefile.in index ece7f17..b48371b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -439,8 +439,11 @@ bindist: $(binaryDerivedFiles) $(MAKE) $(RM) -f $(binaryDir)/splint $(CP) src/splint $(binaryDir)/splint + $(MV) install.html installSource.html + $(CP) doc/` uname | tr [A-Z] [a-z]`.html install.html $(MAKE) -e dist dh_script=$(binaryfixscript) SUBDIRS="$(binaryDir) lib imports doc" - $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz + $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz + $(MV) installSource.html install.html dist-hook: cd $(distdir); pwd; $(dh_script) diff --git a/doc/Makefile.am b/doc/Makefile.am index 8b067ae..497470f 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -5,6 +5,6 @@ AUTOMAKE_OPTIONS = 1.5 foreign #this is just a hack to get make dist to work. ## Include them in the distribution -EXTRA_DIST = splint.1 +EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html all: \ No newline at end of file diff --git a/doc/Makefile.in b/doc/Makefile.in index a0ba986..533ef4c 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -89,7 +89,7 @@ AUTOMAKE_OPTIONS = 1.5 foreign #this is just a hack to get make dist to work. -EXTRA_DIST = splint.1 +EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html subdir = doc mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs CONFIG_HEADER = $(top_builddir)/config.h diff --git a/doc/freebsd.html b/doc/freebsd.html new file mode 100755 index 0000000..dbf07fc --- /dev/null +++ b/doc/freebsd.html @@ -0,0 +1,90 @@ + + + +Splint FreeBSD Installation + + + + + +

+FreeBSD Installation +

+ +

+Instructions for installing Splint using the FreeBSD binary installation: +

Download + +http://www.splint.org/downloads/binaries/splint-3.0.1.6.FreeBSD.tgz + +
+ +
+
tar -xzf splint-3.0.1.6.FreeBSD.tgz +
+This will create a splint-3.0.1.6 directory, containing several +subdirectories. The file splint-3.0.1.6/bin/splint is the Splint binary. +
+
+ +
Subscribe to the lclint-announce mailing list by sending a message +to majordomo@virginia.edu +containing the body: +
```
+     subscribe lclint-announce
+     
```
+

+ +To install Splint binaries and libraries in a different directory (optional): + +

+
+
./configure --prefix=directory + +
make install + +
+GNU's make utility is required; it may be named +gmake or gnumake on your system. +
+ +
Set environment variables: +
+LARCH_PATH - path to search for splint libraries and +initializations files. If you are using the standard directories, this +should be ".:base-directory/splint-3.0.1.6/lib". +
+LCLIMPORTDIR - directory containing lcl imports files. If you are using +the standard directories, this is base-directory/splint-3.0.1.6/imports. + +
+ +If you followed step 4 above set LARCH_PATH to +directory/share/splint/lib and LCLIMPORTDIR to +directory/share/splint/import instead. + +
+
+ +Put the commands to set these variables (the actual commands will depend +on the shell you are using) in one of your initialization dotfiles +(usually ~/.environment). +
+Set up your command path to include the directory containing +splint-3.0.1.6/bin/splint, or move the binary to a directory in +your command path. +
+ +
+
+

+ + +

+ diff --git a/doc/linux.html b/doc/linux.html new file mode 100755 index 0000000..67f3375 --- /dev/null +++ b/doc/linux.html @@ -0,0 +1,91 @@ + + + +Splint Linux Installation + + + + + +

+Linux Installation +

+ +

+Instructions for installing Splint using the linux binary installation: +

Download + +http://www.splint.org/downloads/binaries/splint-3.0.1.6.Linux.tgz + +
+ +
+
tar -xzf splint-3.0.1.6.Linux.tgz +
+This will create a splint-3.0.1.6 directory, containing several +subdirectories. The file splint-3.0.1.6/bin/splint is the Splint binary. +
+
+ +
Subscribe to the lclint-announce mailing list by sending a message +to majordomo@virginia.edu +containing the body: +
```
+     subscribe lclint-announce
+     
```
+

+ +To install Splint binaries and libraries in a different directory (optional): + +

+
+
./configure --prefix=directory + +
make install + +
+GNU's make utility is required; it may be named +gmake or gnumake on your system. +
+ + +
Set environment variables: +
+LARCH_PATH - path to search for splint libraries and +initializations files. If you are using the standard directories, this +should be ".:base-directory/splint-3.0.1.6/lib". +
+LCLIMPORTDIR - directory containing lcl imports files. If you are using +the standard directories, this is base-directory/splint-3.0.1.6/imports. + +
+ +If you followed step 4 above set LARCH_PATH to +directory/share/splint/lib and LCLIMPORTDIR to +directory/share/splint/import instead. + +
+
+ +Put the commands to set these variables (the actual commands will depend +on the shell you are using) in one of your initialization dotfiles +(usually ~/.environment). +
+Set up your command path to include the directory containing +splint-3.0.1.6/bin/splint, or move the binary to a directory in +your command path. +
+ +
+
+

+ + +

+ diff --git a/doc/sunos.html b/doc/sunos.html new file mode 100755 index 0000000..ae1b112 --- /dev/null +++ b/doc/sunos.html @@ -0,0 +1,91 @@ + + + +Splint Solaris Installation + + + + + +

+Solaris Installation +

+ +

+Instructions for installing Splint using the Solaris binary installation: +

Download + +http://www.splint.org/downloads/binaries/splint-3.0.1.6.SunOS.tgz + +
+ +
+
tar -xzf splint-3.0.1.6.SunOS.tgz +
+This will create a splint-3.0.1.6 directory, containing several +subdirectories. The file splint-3.0.1.6/bin/splint is the Splint binary. +
+
+ +
Subscribe to the lclint-announce mailing list by sending a message +to majordomo@virginia.edu +containing the body: +
```
+     subscribe lclint-announce
+     
```
+

+ +To install Splint binaries and libraries in a different directory (optional): + +

+
+
./configure --prefix=directory + +
make install + +
+GNU's make utility is required; it may be named +gmake or gnumake on your system. +
+ +
Set environment variables: + +
+LARCH_PATH - path to search for splint libraries and +initializations files. If you are using the standard directories, this +should be ".:base-directory/splint-3.0.1.6/lib". +
+LCLIMPORTDIR - directory containing lcl imports files. If you are using +the standard directories, this is base-directory/splint-3.0.1.6/imports. + +
+ +If you followed step 4 above set LARCH_PATH to +directory/share/splint/lib and LCLIMPORTDIR to +directory/share/splint/import instead. + +
+
+ +Put the commands to set these variables (the actual commands will depend +on the shell you are using) in one of your initialization dotfiles +(usually ~/.environment). +
+Set up your command path to include the directory containing +splint-3.0.1.6/bin/splint, or move the binary to a directory in +your command path. +
+ +
+
+

+ + +

+ diff --git a/install.html b/install.html index fb585c7..b21b0a5 100755 --- a/install.html +++ b/install.html @@ -34,16 +34,16 @@ Instructions:

Download -http://www.splint.org/downloads/splint-3.0.1.5.tgz. +http://www.splint.org/downloads/splint-3.0.1.6.tgz. (the latest stable release).

Copy this package to the directory where you want to build Spint. When -the tar file is extracted, it will create a splint-3.0.1.5 subdirectory. +the tar file is extracted, it will create a splint-3.0.1.6 subdirectory.

tar xzf splint-3.0.1.5.src.tgz (extract files from the archive) +

tar xzf splint-3.0.1.6.src.tgz (extract files from the archive)

cd splint-3.0.1.5 (enter the extracted directory) +

cd splint-3.0.1.6 (enter the extracted directory)

configure

@@ -71,12 +71,12 @@ If the build was successful, it then runs the test suite. You should see:
-Testing splint 3.0.1.5...
+Testing splint 3.0.1.6...
 
 Version Info:
-Splint 3.0.1.5 --- 08 Jan 2002
+Splint 3.0.1.6 --- 11 Feb 2002
 
-Maintainer: splint-bug@cs.virginia.edu
+Maintainer: splint-bug@splint.org
 
 ... (about 100 lines of test output elided)
 
@@ -112,17 +112,17 @@ configure).
 
 LARCH_PATH - path to search for splint libraries and
 initializations files. If you are using the standard directories, this
-should be .:base-directory/splint-3.0.1.5/lib.
+should be .:base-directory/splint-3.0.1.6/lib.
 
 LCLIMPORTDIR - directory containing lcl imports files. If you are using
-the standard directories, this is base-directory/splint-3.0.1.5/imports.
+the standard directories, this is base-directory/splint-3.0.1.6/imports.
 
 Put the commands to set these variables (the actual commands will depend
 on the shell you are using) in one of your initialization dotfiles
 (usually ~/.environment). 
 
 Set up your PATH to include the directory containing
-splint-3.0.1.5/bin/splint, or move the binary to a directory on
+splint-3.0.1.6/bin/splint, or move the binary to a directory on
 your command path.
 

 
diff --git a/test/null6.lcd b/test/null6.lcd index e69de29..a97d281 100644 --- a/test/null6.lcd +++ b/test/null6.lcd @@ -0,0 +1,1848 @@ +;;; Splint Library null6.lcd +;;Splint 3.0.1.6 --- 11 Feb 2002 +;;lib:299 +;;ctTable +0 u-2 19 38 +0 p1|-2 20 39 +0 b-2 21 40 +0 p3|-2 22 41 +0 p4|-2 23 42 +0 p5|-2 24 43 +0 p6|-2 25 44 +0 p7|-2 26 45 +0 p8|-2 27 46 +0 p9|-2 28 47 +0 p10|-2 29 48 +0 p11|-2 30 49 +0 p12|-2 31 50 +0 p13|-2 32 51 +0 p14|-2 33 52 +0 p15|-2 34 53 +0 p16|-2 35 54 +0 p17|-2 36 55 +0 p18|-2 37 56 +1 t0|0 315 -1 +1 t1|1& +1 t2|2& +1 t3|3& +1 t4|4 316 -1 +1 t5|5& +1 t6|6& +1 t7|7& +1 t8|8& +1 t9|9& +1 t10|10& +1 t11|11& +1 t12|12& +1 t13|13& +1 t14|14& +1 t15|15& +1 t16|16& +1 t17|17& +1 t18|18& +2 y0|0& +2 y1|1& +2 y2|2& +2 y3|3& +2 y4|4& +2 y5|5& +2 y6|6& +2 y7|7& +2 y8|8& +2 y9|9& +2 y10|10& +2 y11|11& +2 y12|12& +2 y13|13& +2 y14|14& +2 y15|15& +2 y16|16& +2 y17|17& +2 y18|18& +-2 ?! +0 a0|& +0 s10|& +0 s11|& +0 s12|& +0 s25|& +0 s26|& +0 s27|& +0 s28|-1 384 -1 +0 s29|& +0 a30|-1 402 -1 +3 C0.5/20|! +3 C0.68/2|! +3 C0.2/5|! +3 f0 (70|@7|$#,)! +3 f1 (70|@7|$#,)! +3 C0.4/3|! +3 C0.5/73|! +3 f0 (74|$#,)! +3 f2 (74|$#,)! +3 f70 (74|$#,)! +3 f0 (74|$#,)! +3 f2 (74|$#,)! +3 f70 (74|$#,)! +3 f0 (74|$#,)! +3 f2 (74|$#,)! +3 f70 (74|$#,)! +3 f0 (74|$#,)! +3 f2 (74|$#,)! +3 f70 (74|$#,)! +3 C0.2/5|! +3 f0 (74|$#,)! +3 f2 (74|$#,)! +3 f87 (74|$#,)! +3 C0.5/73|! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 C0.2/5|! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f104 (91|$#,)! +3 C0.5/73|! +3 f0 (108|$#,)! +3 f2 (108|$#,)! +3 f104 (108|$#,)! +3 C0.4/5|! +3 f0 (108|$#,)! +3 f4 (108|$#,)! +3 f112 (108|$#,)! +3 f0 (108|$#,)! +3 f4 (108|$#,)! +3 f112 (108|$#,)! +3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}! +0 s47|-1 126 -1 +3 f0 (5|$#,23|0@5@7&#,)! +3 f19 (5|$#,23|0@5@7&#,)! +3 f23 (5|$#,23|0@5@7&#,)! +3 f0 ()! +3 f19 ()! +1 t120|120& +3 f126 ()! +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 (17|$#,17|$#,)! +3 f17 (17|$#,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|$#,5|$#,)! +3 f17 (17|$#,5|$#,)! +3 f0 (17|$#,24|4@0@7&#,)! +3 f17 (17|$#,24|4@0@7&#,)! +3 f0 (17|$#,)! +3 f17 (17|$#,)! +3 f0 (17|$#,)! +3 f17 (17|$#,)! +3 f0 (17|$#,17|$#,)! +3 f17 (17|$#,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|$#,36|4@0@7&#,)! +3 f17 (17|$#,36|4@0@7&#,)! +3 f0 (17|$#,17|$#,)! +3 f17 (17|$#,17|$#,)! +0 a125|& +3 f0 (172|4@0@7&#,)! +3 f5 (172|4@0@7&#,)! +3 f0 (172|$#,5|$#,)! +3 f1 (172|$#,5|$#,)! +0 s134|& +3 ?! +3 f178 (5|$#,)! +3 f1 (5|$#,)^181 +1 t180|180& +3 ?! +3 f182 (5|$#,)! +3 f1 (5|$#,)^185 +1 t184|184& +3 ?! +3 f186 (5|$#,)! +3 f1 (5|$#,)^189 +1 t188|188& +3 ?! +3 f190 (5|$#,)! +3 f1 (5|$#,)^193 +1 t192|192& +3 f0 (5|$#,193|0@5@7&#,)! +3 f19 (5|$#,193|0@5@7&#,)^196 +1 t195|195& +3 ?! +3 f197 (5|$#,)! +3 f19 (5|$#,)! +3 f1 (5|$#,193|0@5@7&#,)! +3 f1 (5|$#,)! +3 f201 (5|$#,193|0@5@7&#,)! +3 f0 (5|$#,)! +3 f5 (5|$#,)! +0 a140|& +3 f0 (205|4@0@7&#,!.,)! +3 f1 (205|4@0@7&#,!.,)! +3 f0 (205|$#,)! +3 f1 (205|$#,)! +0 a143|-1 212 -1 +0 a144|-1 290 -1 +1 t210|210& +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 (23|$#,23|$#,)! +3 f5 (23|$#,23|$#,)! +3 f0 ()! +3 f19 ()! +3 f212 ()! +3 f0 (23|@5|4@5@7&#,)! +3 f19 (23|@5|4@5@7&#,)! +3 f23 (23|@5|4@5@7&#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (212|0@5@7&#,)! +3 f5 (212|0@5@7&#,)! +3 f0 (23|$#,23|$#,)! +3 f19 (23|$#,23|$#,)! +3 f212 (23|$#,23|$#,)! +3 f0 (23|$#,23|$#,212|$#,)! +3 f19 (23|$#,23|$#,212|$#,)! +3 f212 (23|$#,23|$#,212|$#,)! +3 f0 (212|$#,23|4@5@19@2@0#,)! +3 f1 (212|$#,23|4@5@19@2@0#,)! +3 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)! +3 f5 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)! +3 C0.5/1|! +3 f0 (212|$#,23|$#,!.,)! +3 f5 (212|$#,23|$#,!.,)! +3 f237 (212|$#,23|$#,!.,)! +3 f0 (212|$#,23|$#,!.,)! +3 f5 (212|$#,23|$#,!.,)! +3 f0 (23|$#,!.,)! +3 f5 (23|$#,!.,)! +3 f237 (23|$#,!.,)! +3 f0 (23|$#,!.,)! +3 f5 (23|$#,!.,)! +3 f0 (23|4@0@7&#,23|$#,!.,)! +3 f5 (23|4@0@7&#,23|$#,!.,)! +3 f237 (23|4@0@7&#,23|$#,!.,)! +3 f0 (23|4@0@7&#,23|$#,!.,)! +3 f5 (23|4@0@7&#,23|$#,!.,)! +3 f0 (23|$#,205|$#,)! +3 f5 (23|$#,205|$#,)! +3 f0 (212|$#,23|$#,205|$#,)! +3 f5 (212|$#,23|$#,205|$#,)! +3 f0 (23|4@0@7&#,23|$#,205|$#,)! +3 f5 (23|4@0@7&#,23|$#,205|$#,)! +3 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)! +3 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (23|@5|4@0@7&#,5|$#,212|$#,)! +3 f19 (23|@5|4@0@7&#,5|$#,212|$#,)! +3 f23 (23|@5|4@0@7&#,5|$#,212|$#,)! +3 C0.5/4|! +3 f0 (266|$#,212|$#,)! +3 f5 (266|$#,212|$#,)! +3 f0 (23|$#,212|$#,)! +3 f5 (23|$#,212|$#,)! +3 f0 (212|@7|$#,)! +3 f5 (212|@7|$#,)! +3 f0 ()! +3 f5 ()! +3 f0 (23|4@0@7&#,)! +3 f19 (23|4@0@7&#,)! +3 f23 (23|4@0@7&#,)! +3 f0 (266|$#,212|@7|$#,)! +3 f5 (266|$#,212|@7|$#,)! +3 f0 (266|$#,)! +3 f5 (266|$#,)! +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 (266|$#,212|$#,)! +3 f5 (266|$#,212|$#,)! +3 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)! +3 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)! +3 f0 (20|$#,63|$#,63|$#,212|$#,)! +3 f63 (20|$#,63|$#,63|$#,212|$#,)! +1 t211|211& +3 f0 (212|$#,290|4@0@7&#,)! +3 f5 (212|$#,290|4@0@7&#,)! +3 f0 (212|$#,9|$#,5|$#,)! +3 f5 (212|$#,9|$#,5|$#,)! +3 f0 (212|$#,290|$#,)! +3 f5 (212|$#,290|$#,)! +3 f0 (212|$#,)! +3 f9 (212|$#,)! +3 f0 (212|$#,)! +3 f1 (212|$#,)! +3 f0 (212|$#,)! +3 f1 (212|$#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (23|0@5@7&#,)! +3 f1 (23|0@5@7&#,)! +3 f0 (23|$#,)! +3 f17 (23|$#,)! +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 (23|$#,)! +3 f9 (23|$#,)! +1 t19|19& +1 t23|23& +3 f0 (23|$#,316|4@5@7&#,)! +3 f17 (23|$#,316|4@5@7&#,)! +3 f0 (23|$#,316|4@5@7&#,5|$#,)! +3 f9 (23|$#,316|4@5@7&#,5|$#,)! +3 f0 (23|$#,316|4@5@7&#,5|$#,)! +3 f10 (23|$#,316|4@5@7&#,5|$#,)! +3 f0 ()! +3 f5 ()! +3 f0 (6|$#,)! +3 f1 (6|$#,)! +3 f0 (63|$#,63|$#,)! +3 f19 (63|$#,63|$#,)! +3 f20 (63|$#,63|$#,)! +3 f0 (63|$#,)! +3 f19 (63|$#,)! +3 f20 (63|$#,)! +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 (20|4@5@2&#,)! +3 f1 (20|4@5@2&#,)! +3 f0 ()! +3 f1 ()! +3 f0 (5|$#,)! +3 f1 (5|$#,)! +3 ?! +3 f342 ()! +3 f1 ()^345 +1 t344|344& +3 f0 (345|$#,)! +3 f5 (345|$#,)! +3 f0 (23|$#,)! +3 f19 (23|$#,)! +3 f23 (23|$#,)! +3 f0 (23|0@5@7&#,)! +3 f5 (23|0@5@7&#,)! +3 ?! +3 f353 (20|$#,20|$#,)! +3 f5 (20|$#,20|$#,)^356 +1 t355|355& +3 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)! +3 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)! +3 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)! +3 ?! +3 f360 (20|$#,20|$#,)! +3 f5 (20|$#,20|$#,)^363 +1 t362|362& +3 f0 (20|$#,63|$#,63|$#,363|$#,)! +3 f1 (20|$#,63|$#,63|$#,363|$#,)! +3 f0 (5|$#,)! +3 f5 (5|$#,)! +3 S!2{5|@1|$#quot,5|@1|$#rem,}! +0 s223|& +0 s224|& +3 f0 (5|$#,5|$#,)! +3 f370 (5|$#,5|$#,)! +3 f0 (9|$#,)! +3 f9 (9|$#,)! +3 S!3{9|@1|$#quot,9|@1|$#rem,}! +0 s227|& +0 s228|& +3 f0 (9|$#,9|$#,)! +3 f377 (9|$#,9|$#,)! +3 f0 (5|$#,)! +3 f66 (5|$#,)! +3 f0 (212|$#,)! +3 f66 (212|$#,)! +1 t65|65 466 -1 +3 f0 (384|@5|$#,5|$#,212|$#,)! +3 f19 (384|@5|$#,5|$#,212|$#,)! +3 f384 (384|@5|$#,5|$#,212|$#,)! +3 f0 (65|$#,212|$#,)! +3 f66 (65|$#,212|$#,)! +3 f0 (384|$#,212|$#,)! +3 f5 (384|$#,212|$#,)! +3 f0 (212|$#,5|$#,)! +3 f5 (212|$#,5|$#,)! +3 f0 (212|$#,384|$#,!.,)! +3 f5 (212|$#,384|$#,!.,)! +3 f0 (212|$#,384|$#,!.,)! +3 f5 (212|$#,384|$#,!.,)! +3 f0 (212|@7|$#,)! +3 f66 (212|@7|$#,)! +3 f0 ()! +3 f66 ()! +1 t67|67& +3 f0 (23|$#,63|$#,402|0@5@7&#,)! +3 f63 (23|$#,63|$#,402|0@5@7&#,)! +3 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)! +3 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)! +3 f0 (402|0@5@7&#,)! +3 f5 (402|0@5@7&#,)! +3 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)! +3 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)! +3 f0 (65|$#,212|@7|$#,)! +3 f66 (65|$#,212|@7|$#,)! +3 f0 (65|$#,)! +3 f66 (65|$#,)! +3 f0 (384|$#,63|$#,384|$#,!.,)! +3 f5 (384|$#,63|$#,384|$#,!.,)! +3 f0 (384|$#,384|$#,!.,)! +3 f5 (384|$#,384|$#,!.,)! +3 f0 (66|$#,212|$#,)! +3 f66 (66|$#,212|$#,)! +3 f0 (212|$#,384|$#,205|$#,)! +3 f5 (212|$#,384|$#,205|$#,)! +3 f0 (384|$#,63|$#,384|$#,205|$#,)! +3 f5 (384|$#,63|$#,384|$#,205|$#,)! +3 f0 (384|$#,205|$#,)! +3 f5 (384|$#,205|$#,)! +3 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)! +3 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)! +3 C0.1/384|! +3 f0 (384|@5|4@0@9&#,384|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,)! +3 f429 (384|@5|4@0@9&#,384|$#,)! +3 f0 (384|@5|$#,65|$#,)! +3 f19 (384|@5|$#,65|$#,)! +3 f384 (384|@5|$#,65|$#,)! +3 f0 (384|$#,384|$#,)! +3 f5 (384|$#,384|$#,)! +3 f0 (384|$#,384|$#,)! +3 f5 (384|$#,384|$#,)! +3 f0 (384|@5|4@0@9&#,384|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,)! +3 f429 (384|@5|4@0@9&#,384|$#,)! +3 f0 (384|$#,384|$#,)! +3 f63 (384|$#,384|$#,)! +0 s263|-1 446 -1 +1 t445|445& +3 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)! +3 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)! +3 f0 (384|$#,)! +3 f63 (384|$#,)! +3 C0.1/384|! +3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f0 (384|$#,384|$#,63|$#,)! +3 f5 (384|$#,384|$#,63|$#,)! +3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f0 (384|@5|$#,384|$#,)! +3 f19 (384|@5|$#,384|$#,)! +3 f384 (384|@5|$#,384|$#,)! +3 f0 (384|@5|$#,65|$#,)! +3 f19 (384|@5|$#,65|$#,)! +3 f384 (384|@5|$#,65|$#,)! +1 t384|384& +3 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)! +3 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)! +3 f0 (384|$#,384|$#,)! +3 f63 (384|$#,384|$#,)! +3 f0 (384|$#,384|$#,)! +3 f19 (384|$#,384|$#,)! +3 f384 (384|$#,384|$#,)! +3 f0 (384|$#,466|0@5@7&#,)! +3 f17 (384|$#,466|0@5@7&#,)! +3 f0 (384|0@5@7&#,384|$#,466|$#,)! +3 f19 (384|0@5@7&#,384|$#,466|$#,)! +3 f384 (384|0@5@7&#,384|$#,466|$#,)! +3 f0 (384|$#,466|0@5@7&#,5|$#,)! +3 f9 (384|$#,466|0@5@7&#,5|$#,)! +3 f0 (384|$#,466|0@5@7&#,5|$#,)! +3 f10 (384|$#,466|0@5@7&#,5|$#,)! +3 f0 (384|0@5@7&#,384|$#,63|$#,)! +3 f63 (384|0@5@7&#,384|$#,63|$#,)! +3 f0 (66|$#,)! +3 f5 (66|$#,)! +3 f0 (384|$#,65|$#,63|$#,)! +3 f19 (384|$#,65|$#,63|$#,)! +3 f384 (384|$#,65|$#,63|$#,)! +3 f0 (384|$#,384|$#,63|$#,)! +3 f5 (384|$#,384|$#,63|$#,)! +3 f0 (384|@5|$#,384|$#,63|$#,)! +3 f19 (384|@5|$#,384|$#,63|$#,)! +3 f384 (384|@5|$#,384|$#,63|$#,)! +3 f0 (384|@5|$#,384|$#,63|$#,)! +3 f19 (384|@5|$#,384|$#,63|$#,)! +3 f384 (384|@5|$#,384|$#,63|$#,)! +3 f0 (384|@5|$#,65|$#,63|$#,)! +3 f19 (384|@5|$#,65|$#,63|$#,)! +3 f384 (384|@5|$#,65|$#,63|$#,)! +3 f0 (384|$#,!.,)! +3 f5 (384|$#,!.,)! +3 f0 (384|$#,!.,)! +3 f5 (384|$#,!.,)! +0 s287|& +0 s288|& +3 C0.2/5|! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f507 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f507 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f507 (66|$#,)! +3 f0 (66|$#,505|$#,)! +3 f2 (66|$#,505|$#,)! +3 f507 (66|$#,505|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f507 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 C0.2/5|! +3 f525 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f525 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f525 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f525 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f525 (66|$#,)! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f525 (66|$#,)! +3 C0.2/5|! +3 f0 (66|$#,)! +3 f2 (66|$#,)! +3 f542 (66|$#,)! +3 C0.66/5|! +3 f0 (66|$#,506|$#,)! +3 f66 (66|$#,506|$#,)! +3 f546 (66|$#,506|$#,)! +3 f0 (66|$#,)! +3 f66 (66|$#,)! +3 f546 (66|$#,)! +3 f0 (66|$#,)! +3 f66 (66|$#,)! +3 f546 (66|$#,)! +3 f0 (23|$#,)! +3 f506 (23|$#,)! +3 f0 (23|$#,)! +3 f505 (23|$#,)! +3 f0 (23|$#,63|$#,)! +3 f5 (23|$#,63|$#,)! +3 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)! +3 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)! +3 f0 (23|4@5@7&#,65|$#,)! +3 f5 (23|4@5@7&#,65|$#,)! +3 f0 (384|4@0@7&#,23|$#,63|$#,)! +3 f63 (384|4@0@7&#,23|$#,63|$#,)! +3 f0 (23|4@0@7&#,384|$#,63|$#,)! +3 f63 (23|4@0@7&#,384|$#,63|$#,)! +3 C0.1/20|! +3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)! +3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)! +3 f570 (20|@5|4@0@9&#,20|$#,63|$#,)! +3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)! +3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)! +3 f570 (20|@5|4@0@7&#,20|$#,63|$#,)! +3 C0.1/23|! +3 f0 (23|@5|4@0@9&#,23|$#,)! +3 f1 (23|@5|4@0@9&#,23|$#,)! +3 f577 (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 f577 (23|@5|4@0@9&#,23|$#,63|$#,)! +3 f0 (23|@5|0@0@9&#,23|$#,)! +3 f1 (23|@5|0@0@9&#,23|$#,)! +3 f577 (23|@5|0@0@9&#,23|$#,)! +3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)! +3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)! +3 f577 (23|@5|0@0@9&#,23|$#,63|$#,)! +3 f0 (20|$#,20|$#,63|$#,)! +3 f5 (20|$#,20|$#,63|$#,)! +3 f0 (23|$#,23|$#,)! +3 f5 (23|$#,23|$#,)! +3 f0 (23|$#,23|$#,)! +3 f5 (23|$#,23|$#,)! +3 f0 (23|$#,23|$#,63|$#,)! +3 f5 (23|$#,23|$#,63|$#,)! +3 f0 (23|4@5@7&#,23|$#,63|$#,)! +3 f63 (23|4@5@7&#,23|$#,63|$#,)! +3 f0 (20|$#,5|$#,63|$#,)! +3 f19 (20|$#,5|$#,63|$#,)! +3 f20 (20|$#,5|$#,63|$#,)! +3 f0 (23|@5|$#,266|$#,)! +3 f19 (23|@5|$#,266|$#,)! +3 f23 (23|@5|$#,266|$#,)! +3 f0 (23|$#,23|$#,)! +3 f63 (23|$#,23|$#,)! +3 f0 (23|@5|$#,23|$#,)! +3 f19 (23|@5|$#,23|$#,)! +3 f23 (23|@5|$#,23|$#,)! +3 f0 (23|@5|$#,266|$#,)! +3 f19 (23|@5|$#,266|$#,)! +3 f23 (23|@5|$#,266|$#,)! +3 f0 (23|$#,23|$#,)! +3 f63 (23|$#,23|$#,)! +3 f0 (23|@5|0@0@9&#,23|$#,)! +3 f19 (23|@5|0@0@9&#,23|$#,)! +3 f23 (23|@5|0@0@9&#,23|$#,)! +3 f0 (23|@5|0@5@7&#,23|$#,)! +3 f19 (23|@5|0@5@7&#,23|$#,)! +3 f23 (23|@5|0@5@7&#,23|$#,)! +3 C0.1/20|! +3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)! +3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)! +3 f622 (20|@5|4@0@7&#,5|$#,63|$#,)! +3 f0 (5|$#,)! +3 f19 (5|$#,)! +3 f23 (5|$#,)! +3 f0 (23|$#,)! +3 f63 (23|$#,)! +0 s334|& +0 s335|-1 640 -1 +3 Stm{5|@1|$#tm_sec,5|@1|$#tm_min,5|@1|$#tm_hour,5|@1|$#tm_mday,5|@1|$#tm_mon,5|@1|$#tm_year,5|@1|$#tm_wday,5|@1|$#tm_yday,5|@1|$#tm_isdst,}! +3 f0 ()! +3 f631 ()! +3 f0 (632|$#,632|$#,)! +3 f17 (632|$#,632|$#,)! +3 f0 (446|$#,)! +3 f632 (446|$#,)! +1 t632|632& +3 f0 (640|4@5@7&#,)! +3 f632 (640|4@5@7&#,)! +3 f0 (446|$#,)! +3 f19 (446|$#,)! +3 f23 (446|$#,)! +3 f0 (640|$#,)! +3 f19 (640|$#,)! +3 f23 (640|$#,)! +3 f0 (640|$#,)! +3 f19 (640|$#,)! +3 f446 (640|$#,)! +3 f0 (640|$#,)! +3 f19 (640|$#,)! +3 f446 (640|$#,)! +3 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)! +3 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)! +0 s345|& +0 s346|& +0 s347|& +0 s348|& +0 s349|& +0 s350|& +0 s351|& +0 s352|& +0 s353|& +0 s354|& +0 s355|& +0 s356|& +0 s357|& +0 s358|& +0 s359|& +0 s360|& +0 s361|& +0 s362|& +0 s363|& +0 s364|& +0 s365|& +0 s366|& +0 s367|& +0 s368|& +0 s369|& +0 s370|& +0 s371|& +0 s372|& +0 a411|& +;;tistable +0 +30 +30,125 +125 +30,125,140 +140 +30,125,140,143 +143 +30,125,140,143,144 +144 +411 +;;symTable +*0 (Datatype) +^0 2@+@-@0@0@0@0@2#lltX_bool +*1 (Constant) +^1 2@i0@0@6#FALSE +^2 2@i1@0@0#TRUE +*11 (GlobalMarker) +*1 (Constant) +^4 5$#__LINE__ +^5 23$#__DATE__#__FILE__#__BASE_FILE__ +^8 5$#__INCLUDE_LEVEL__ +^9 23$#__VERSION__ +*0 (Datatype) +^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__ +^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__ +^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__ +*1 (Constant) +^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__ +^16 5$#S_SPLINT_S#__LCLINT__#__i686 +*3 (Variable) +^19 212|@1|6@0@0@0@1#stdin#stdout +*1 (Constant) +^21 5$#EDOM#ERANGE#EILSEQ +*3 (Variable) +^24 5|@1|6@0@0@0@1#errno +*0 (Datatype) +^25 13@-@-@0@0@0@0@62#ptrdiff_t +^26 14@-@-@0@0@0@0@63#size_t +^27 15@-@-@0@0@0@0@64#ssize_t +^28 13@-@-@0@0@0@0@65#wchar_t +^29 13@-@-@0@0@0@0@66#wint_t +^30 0@+@=@0@7@0@0@67#mbstate_t +*1 (Constant) +^31 0@i0@0@6#NULL +^32 2$#NDEBUG +*4 (Function) +^33 72@6@0@8@0@0^$@0#assert +^34 77$^$@0#isalnum +^35 80$^$@0#isalpha +^36 83$^$@0#iscntrl +^37 86$^$@0#isdigit +^38 90$^$@0#isgraph +^39 94$^$@0#islower +^40 97$^$@0#isprint +^41 100$^$@0#ispunct +^42 103$^$@0#isspace +^43 107$^$@0#isupper +^44 111$^$@0#isxdigit +^45 115$^$@0#tolower +^46 118$^$@0#toupper +*7 (Struct tag) +^47 119@120#@lconv +*1 (Constant) +^48 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME +*4 (Function) +^54 123@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24@19@3@0#setlocale +^55 127$^@3@0@0#localeconv +*3 (Variable) +^56 5|@1|6@0@0@0@1#DBL_DIG +^57 17|@1|6@0@0@0@1#DBL_EPSILON +^58 5|@1|6@0@0@0@1#DBL_MANT_DIG +^59 17|@1|6@0@0@0@1#DBL_MAX +^60 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP +^62 17|@1|6@0@0@0@1#DBL_MIN +^63 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG +^66 16|@1|6@0@0@0@1#FLT_EPSILON +^67 5|@1|6@0@0@0@1#FLT_MANT_DIG +^68 16|@1|6@0@0@0@1#FLT_MAX +^69 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP +^71 16|@1|6@0@0@0@1#FLT_MIN +^72 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP +*1 (Constant) +^74 5$#FLT_RADIX +*3 (Variable) +^75 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG +^77 18|@1|6@0@0@0@1#LDBL_EPSILON +^78 5|@1|6@0@0@0@1#LDBL_MANT_DIG +^79 18|@1|6@0@0@0@1#LDBL_MAX +^80 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP +^82 18|@1|6@0@0@0@1#LDBL_MIN +^83 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP +*1 (Constant) +^85 5$#CHAR_BIT +^86 4$#CHAR_MAX#CHAR_MIN +^88 5$#INT_MAX#INT_MIN +^90 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX +^93 4$#SCHAR_MAX#SCHAR_MIN +^95 7$#SHRT_MAX#SHRT_MIN +^97 3$#UCHAR_MAX#UCHAR_MIN +^99 6$#UINT_MAX +^100 10$#ULONG_MAX +^101 8$#USHRT_MAX +^102 17$#HUGE_VAL +*4 (Function) +^103 129$^$@0#sin +^104 131$^$@0#cos +^105 133$^$@0#tan +^106 135$@0@g24@6@0@1@g24$@0#asin +^107 137$@0@g24@6@0@1@g24$@0#acos +^108 139$^$@0#atan +^109 141$^$@0#atan2 +^110 143$^$@0#sinh +^111 145$@0@g24@6@0@1@g24$@0#cosh +^112 147$^$@0#tanh +^113 149$@0@g24@6@0@1@g24$@0#exp +^114 151$@0@g24@6@0@1@g24$@0#ldexp +^115 153$@0@@1@tp1$@0#frexp +^116 155$@0@g24@6@0@1@g24$@0#log +^117 157$@0@g24@6@0@1@g24$@0#log10 +^118 159$@0@g24@6@0@1@g24$@0#pow +^119 161$@0@g24@6@0@1@g24$@0#sqrt +^120 163$^$@0#ceil +^121 165$^$@0#floor +^122 167$^$@0#fabs +^123 169$@0@@1@tp1$@0#modf +^124 171$^$@0#fmod +*0 (Datatype) +^125 20@+@+@0@0@0@0@172#jmp_buf +*4 (Function) +^126 174$@0@@1@p0$@0#setjmp +^127 176@6@0@5@0@0^$@0#longjmp +*1 (Constant) +^128 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM +*0 (Datatype) +^134 13@-@-@0@0@0@0@177#sig_atomic_t +*1 (Constant) +^135 181$#SIG_DFL +^136 185$#SIG_ERR +^137 189$#SIG_IGN +*4 (Function) +^138 202@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24$@0#signal +^139 204@6@0@5@0@0$$@0#raise +*0 (Datatype) +^140 20@+@+@0@0@0@0@205#va_list +*4 (Function) +^141 207$@0@@1@p0$@0#va_start +^142 209$@0@@1@p0$@0#va_end +*0 (Datatype) +^143 20@+@+@0@0@0@0@210#FILE +^144 20@+@+@0@0@0@0@211#fpos_t +*1 (Constant) +^145 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX +*3 (Variable) +^157 212|@1|6@0@0@0@1#stderr +*4 (Function) +^158 214$@0@s3,g24@6@0@1@s3,g24$@0#remove +^159 216$@0@s3,g24@6@0@1@s3,g24$@0#rename +^160 219@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile +^161 222$@0@s1@1@tp0,s1@19@3@0#tmpnam +^162 224$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fclose +^163 226$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fflush +^164 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen +^165 232@6@5@1@0@0@0@s3,g24@6@0@1@tp2,s3,g24@3@0@0#freopen +^166 234$@0@s3@1@s3,tp0,tp1$@0#setbuf +^167 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf +^168 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf +^169 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf +^170 245@6@0@1@1@0@1@g20@6@0,s3@1@s3,tg20$@0#printf +^171 247@6@0@1@2@0@1@g19@6@0,s3@1@s3,tg19$@0#scanf +^172 250@6@0@1@1@0@0@@1@tp0$@0#sprintf +^173 252@6@0@1@2@0^$@0#sscanf +^174 254$@1@g20@6@0,s3@1@s3,tg20$@0#vprintf +^175 256$@0@s3,g24@6@0@1@s3,tp0,p2,g24$@0#vfprintf +^176 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf +^177 260$@0@@1@p0$@0#vsnprintf +^178 262$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fgetc +^179 265@6@5@1@0@0@0@s3,g24@6@0@1@s3,tp0,tp2,g24$@0#fgets +^180 268$@0@s3,g24@6@0@1@s3,tp1,g24$@0#fputc +^181 270$@0@s3@1@s3,tp1$@0#fputs +^182 272$@0@s3@1@s3,tp0$@0#getc +^183 274$@1@g19@6@0,s3@1@s3,tg19$@0#getchar +^184 277@6@5@1@0@0@1@g19@6@0,s3,g24@6@0@1@s3,tp0,tg19,g24@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets +^185 279$@0@s3@1@s3,tp1$@0#putc +^186 281$@1@g20@6@0,s3@1@s3,tg20$@0#putchar +^187 283$@1@g20@6@0,s3@1@s3,tg20$@0#puts +^188 285$@0@s3,g24@6@0@1@s3,tp1,g24$@0#ungetc +^189 287$@0@s3,g24@6@0@1@s3,tp0,tp3,g24$@0#fread +^190 289$@0@s3,g24@6@0@1@s3,tp3,g24$@0#fwrite +^191 292$@0@g24@6@0@1@tp1,g24$@0#fgetpos +^192 294$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fseek +^193 296$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fsetpos +^194 298$@0@g24@6@0@1@g24$@0#ftell +^195 300$@0@@1@tp0$@0#rewind +^196 302$@0@@1@tp0$@0#clearerr +^197 304$@0@g24@6@0@1@g24$@0#feof +^198 306$@0@g24@6@0@1@g24$@0#ferror +^199 308$@1@g24@6@0,g157@6@0,s3@1@s3,tg157$@0#perror +^200 310$^$@0#atof +^201 312$^$@0#atoi +^202 314$^$@0#atol +^203 318$@0@g24@6@0@1@tp1,g24$@0#strtod +^204 320$@0@g24@6@0@1@tp1,g24$@0#strtol +^205 322$@0@g24@6@0@1@tp1,g24$@0#strtoul +*1 (Constant) +^206 5$#RAND_MAX +*4 (Function) +^207 324$@0@s1@1@s1$@0#rand +^208 326$@0@s1@1@s1$@0#srand +^209 329@6@5@1@0@0^@2@0@0#calloc +^210 332@4@5@1@0@0^@2@0@0#malloc +^211 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc +^212 337$@0@@1@p0$@0#free +*1 (Constant) +^213 5$#EXIT_FAILURE#EXIT_SUCCESS +*4 (Function) +^215 339@6@0@6@0@0^$@0#abort +^216 341@6@0@6@0@0^$@0#exit +^217 347$@0@s1@1@s1$@0#atexit +^218 350@6@5@1@0@0^@19@3@0#getenv +^219 352$@0@s3@1@s3$@0#system +^220 359@6@5@1@0@0^@18@0@0#bsearch +^221 365$@0@g24@6@0@1@tp0,g24$@0#qsort +^222 367$^$@0#abs +*7 (Struct tag) +^223 368@369#@!2 +*0 (Datatype) +^224 368@-@-@0@0@0@0@370#div_t +*4 (Function) +^225 372$^$@0#div +^226 374$^$@0#labs +*7 (Struct tag) +^227 375@376#@!3 +*0 (Datatype) +^228 375@-@-@0@0@0@0@377#ldiv_t +*4 (Function) +^229 379$^$@0#ldiv +*1 (Constant) +^230 63$#MB_CUR_MAX +^231 5$#WCHAR_MAX#WCHAR_MIN +^233 66$#WEOF +*4 (Function) +^234 381$^$@0#btowc +^235 383$@0@s3@1@s3,tp0$@0#fgetwc +^236 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws +^237 389$@0@s3@1@s3,tp1$@0#fputwc +^238 391$@0@s3@1@s3,tp1$@0#fputws +^239 393$^$@0#fwide +^240 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf +^241 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf +^242 399$@0@s3@1@s3,tp0$@0#getwc +^243 401$@0@s3,g19@6@0@1@s3,tg19$@0#getwchar +^244 404$^$@0#mbrlen +^245 406$@0@@1@tp0$@0#mbrtowc +^246 408$^$@0#mbsinit +^247 410$@0@@1@tp0$@0#mbsrtowcs +^248 412$@0@s3@1@s3,tp1$@0#putwc +^249 414$@0@s3,g20@6@0@1@s3,tg20$@0#putwchar +^250 416@6@0@1@1@0@0@@1@tp0$@0#swprintf +^251 418@6@0@1@2@0@0@g19@6@0@1@tg19$@0#swscanf +^252 420$@0@s3@1@s3,tp1$@0#ungetwc +^253 422$@0@s3@1@s3,tp0$@0#vfwprintf +^254 424$@0@@1@tp0$@0#vswprintf +^255 426$@0@s3,g20@6@0@1@s3,tg20$@0#vwprintf +^256 428$@0@@1@tp0$@0#wcrtomb +^257 432$@0@@1@tp0$@0#wcscat +^258 435@6@5@1@0@0^@19@2@0#wcschr +^259 437$^$@0#wcscmp +^260 439$^$@0#wcscoll +^261 442$@0@@1@tp0$@0#wcscpy +^262 444$^$@0#wcscspn +*7 (Struct tag) +^263 633@445#@tm +*4 (Function) +^264 448$@0@@1@tp0$@0#wcsftime +^265 450$^$@0#wcslen +^266 454$@0@@1@tp0$@0#wcsncat +^267 456$^$@0#wcsncmp +^268 459$@0@@1@tp0$@0#wcsncpy +^269 462@6@5@1@0@0^$@0#wcspbrk +^270 465@6@5@1@0@0^$@0#wcsrchr +^271 468$@0@@1@tp1$@0#wcsrtombs +^272 470$^$@0#wcsspn +^273 473@6@5@1@0@0^@3@0@0#wcsstr +^274 475$@0@@1@tp1$@0#wcstod +^275 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok +^276 480$@0@@1@tp1$@0#wcstol +^277 482$@0@@1@tp1$@0#wcstoul +^278 484$@0@@1@tp0$@0#wcsxfrm +^279 486$^$@0#wctob +^280 489@6@5@1@0@0^@3@0@0#wmemchr +^281 491$^$@0#wmemcmp +^282 494$@0@@1@tp0$@0#wmemcpy +^283 497$@0@@1@tp0$@0#wmemmove +^284 500$@0@@1@tp0$@0#wmemset +^285 502@6@0@1@1@0@1@g20@6@0,g24@6@0@1@g24,tg20$@0#wprintf +^286 504@6@0@1@2@0@1@g19@6@0,g24@6@0@1@g24,tg19$@0#wscanf +*0 (Datatype) +^287 13@-@-@0@0@0@0@505#wctype_t +^288 13@-@-@0@0@0@0@506#wctrans_t +*4 (Function) +^289 510$^$@0#iswalnum +^290 513$^$@0#iswalpha +^291 516$^$@0#iswcntrl +^292 519$^$@0#iswctype +^293 522$^$@0#iswdigit +^294 526$^$@0#iswgraph +^295 529$^$@0#iswlower +^296 532$^$@0#iswprint +^297 535$^$@0#iswpunct +^298 538$^$@0#iswspace +^299 541$^$@0#iswupper +^300 545$^$@0#iswxdigit +^301 549$^$@0#towctrans +^302 552$^$@0#towlower +^303 555$^$@0#towupper +^304 557$^$@0#wctrans +^305 559$^$@0#wctype +^306 561$^$@0#mblen +^307 563$@0@@1@tp0$@0#mbtowc +^308 565$@0@@1@tp0$@0#wctomb +^309 567$@0@@1@tp0$@0#mbstowcs +^310 569$@0@@1@tp0$@0#wcstombs +^311 573$@0@@1@tp0$@0#memcpy +^312 576$@0@@1@tp0$@0#memmove +^313 580$@0@@1@tp0$@0#strcpy +^314 583$@0@@1@tp0$@0#strncpy +^315 586$@0@@1@tp0$@0#strcat +^316 589$@0@@1@tp0$@0#strncat +^317 591$^$@0#memcmp +^318 593$^$@0#strcmp +^319 595$^$@0#strcoll +^320 597$^$@0#strncmp +^321 599$@0@@1@tp0$@0#strxfrm +^322 602@6@5@1@0@0^@3@0@0#memchr +^323 605@6@5@1@0@0^@19@2@0#strchr +^324 607$^$@0#strcspn +^325 610@6@5@1@0@0^@19@2@0#strpbrk +^326 613@6@5@1@0@0^@19@2@0#strrchr +^327 615$^$@0#strspn +^328 618@6@5@1@0@0^@19@2@0#strstr +^329 621@6@5@1@0@0@0@s1,g24@6@0@1@tp0,s1,g24@19@2@0#strtok +^330 625$@0@@1@tp0$@0#memset +^331 628$^@19@3@0#strerror +^332 630$^$@0#strlen +*1 (Constant) +^333 5$#CLOCKS_PER_SEC +*0 (Datatype) +^334 13@-@-@0@0@0@0@631#clock_t +^335 13@-@-@0@0@0@0@632#time_t +*4 (Function) +^336 635$@0@s1@1@s1$@0#clock +^337 637$^$@0#difftime +^338 639$^$@0#mktime +^339 642$@0@@1@tp0$@0#time +^340 645$@0@g24@6@0@1@g24@19@3@0#asctime +^341 648$^@19@3@0#ctime +^342 651@6@5@1@0@0^@19@3@0#gmtime +^343 654@6@5@1@0@0@0@g24@6@0@1@g24@19@3@0#localtime +^344 656$@0@@1@tp0$@0#strftime +*0 (Datatype) +^345 13@-@-@0@0@0@0@657#int8_t +^346 13@-@-@0@0@0@0@658#int16_t +^347 13@-@-@0@0@0@0@659#int32_t +^348 13@-@-@0@0@0@0@660#int64_t +^349 14@-@-@0@0@0@0@661#uint8_t +^350 14@-@-@0@0@0@0@662#uint16_t +^351 14@-@-@0@0@0@0@663#uint32_t +^352 14@-@-@0@0@0@0@664#uint64_t +^353 13@-@-@0@0@0@0@665#int_least8_t +^354 13@-@-@0@0@0@0@666#int_least16_t +^355 13@-@-@0@0@0@0@667#int_least32_t +^356 13@-@-@0@0@0@0@668#int_least64_t +^357 14@-@-@0@0@0@0@669#uint_least8_t +^358 14@-@-@0@0@0@0@670#uint_least16_t +^359 14@-@-@0@0@0@0@671#uint_least32_t +^360 14@-@-@0@0@0@0@672#uint_least64_t +^361 13@-@-@0@0@0@0@673#int_fast8_t +^362 13@-@-@0@0@0@0@674#int_fast16_t +^363 13@-@-@0@0@0@0@675#int_fast32_t +^364 13@-@-@0@0@0@0@676#int_fast64_t +^365 14@-@-@0@0@0@0@677#uint_fast8_t +^366 14@-@-@0@0@0@0@678#uint_fast16_t +^367 14@-@-@0@0@0@0@679#uint_fast32_t +^368 14@-@-@0@0@0@0@680#uint_fast64_t +^369 24@-@+@0@0@0@0@681#intptr_t +^370 25@-@+@0@0@0@0@682#uintptr_t +^371 15@-@-@0@0@0@0@683#intmax_t +^372 14@-@-@0@0@0@0@684#uintmax_t +*1 (Constant) +^373 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX +^409 63$#INTPTR_MIN#INTPTR_MAX +*0 (Datatype) +^411 0@+@+@0@7@0@0@685#mnull +;; Library constraints +vsnprintf +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +2 +2 +Param 63 1 +;; end precondition constraints +post: +;; end precondition constraints +fgets +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +0 +1 +e1 +2 +2 +Param 5 1 +e2 +2 +3 +-1 +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Param 23 0 +r +2 +3 +0 +C +0@1@1 +l +1 +3 +2 +2 +Param 23 0 +r +0 +1 +e1 +2 +2 +Param 5 1 +e2 +2 +3 +-1 +;; end precondition constraints +calloc +pre: +;; end precondition constraints +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 +malloc +pre: +;; end precondition constraints +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: +;; end precondition constraints +post: +C +0@1@3 +l +1 +1 +2 +2 +Result +r +0 +1 +e1 +2 +2 +Param 63 1 +e2 +2 +3 +-1 +;; end precondition constraints +memcpy +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 20 0 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +C +0@1@3 +l +1 +3 +2 +2 +Param 20 1 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +post: +;; end precondition constraints +memmove +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 20 0 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +C +0@1@3 +l +1 +3 +2 +2 +Param 20 1 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +post: +;; end precondition constraints +strcpy +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +1 +3 +2 +2 +Param 23 1 +;; end precondition constraints +post: +C +0@1@4 +l +1 +1 +2 +2 +Result +r +1 +1 +2 +2 +Param 23 0 +C +0@1@4 +l +1 +3 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 1 +C +0@1@4 +l +1 +3 +2 +2 +Param 23 0 +r +1 +3 +2 +2 +Param 23 1 +;; end precondition constraints +strncpy +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: +C +0@1@1 +l +1 +3 +2 +2 +Param 23 0 +r +2 +2 +Param 63 2 +C +0@1@3 +l +1 +3 +2 +2 +Param 23 1 +r +1 +3 +2 +2 +Param 23 0 +;; end precondition constraints +strcat +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +0 +1 +e1 +1 +3 +2 +2 +Param 23 0 +e2 +1 +3 +2 +2 +Param 23 1 +;; end precondition constraints +post: +C +0@1@4 +l +1 +3 +2 +2 +Result +r +0 +1 +e1 +1 +3 +2 +2 +Param 23 0 +e2 +1 +3 +2 +2 +Param 23 1 +;; end precondition constraints +strncat +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +0 +1 +e1 +1 +3 +2 +2 +Param 23 0 +e2 +2 +2 +Param 63 2 +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Param 23 0 +r +0 +1 +e1 +1 +3 +2 +2 +Param 23 0 +e2 +2 +2 +Param 63 2 +;; end precondition constraints +strchr +pre: +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Result +r +2 +3 +0 +C +0@1@1 +l +1 +3 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 0 +C +0@1@1 +l +1 +1 +2 +2 +Result +r +1 +1 +2 +2 +Param 23 0 +C +0@1@3 +l +1 +1 +2 +2 +Result +r +2 +3 +0 +;; end precondition constraints +strrchr +pre: +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Result +r +2 +3 +0 +C +0@1@1 +l +1 +3 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 0 +C +0@1@1 +l +1 +1 +2 +2 +Result +r +1 +1 +2 +2 +Param 23 0 +C +0@1@3 +l +1 +1 +2 +2 +Result +r +2 +3 +0 +;; end precondition constraints +strstr +pre: +;; end precondition constraints +post: +C +0@1@3 +l +1 +1 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 1 +C +0@1@3 +l +1 +3 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 1 +C +0@1@3 +l +1 +3 +2 +2 +Result +r +2 +3 +0 +C +0@1@1 +l +1 +3 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 0 +C +0@1@1 +l +1 +1 +2 +2 +Result +r +1 +1 +2 +2 +Param 23 0 +C +0@1@3 +l +1 +1 +2 +2 +Result +r +2 +3 +0 +;; end precondition constraints +memset +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 20 0 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Param 20 0 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +strlen +pre: +;; end precondition constraints +post: +C +0@1@4 +l +2 +2 +Result +r +1 +3 +2 +2 +Param 23 0 +;; end precondition constraints +asctime +pre: +;; end precondition constraints +post: +C +0@1@4 +l +1 +3 +2 +2 +Result +r +2 +3 +25 +C +0@1@4 +l +1 +1 +2 +2 +Result +r +2 +3 +25 +;; end precondition constraints +ctime +pre: +;; end precondition constraints +post: +C +0@1@4 +l +1 +3 +2 +2 +Result +r +2 +3 +25 +C +0@1@4 +l +1 +1 +2 +2 +Result +r +2 +3 +25 +;; end precondition constraints +;; Modules access +lltX_bool#1@ +types#1@ +standard#9@ +null6#11@ +;;End