Producer-Consumer Conformance Analyzer Tests

Don't believe the code links yet, we're working on updating them

Test	# Lines of code	# Funcs		# NWA vertices	# Static I/O calls	Times (seconds)			OK?
Test	# Lines of code	Original	Reduced	# NWA vertices	# Static I/O calls	Infer NWA	¬Consumer	Total	OK?
ex-prod (code)	43	11	3	9	4	2.12	0.35	4.90	Y
ex-cons (code)	26	7	2	5	3	2.24	0.35	4.90	Y
ex-prod (code)	43	11	3	9	4	2.12	0.16	4.49	N
ex-cons-bug (code)	25	7	2	5	3	2.09	0.16	4.49	N
ex-prod-sep (code)	43	11	3	10	5	2.29	0.70	4.87	N
ex-cons-sep (code)	25	7	2	5	3	2.40	0.70	4.87	N
gzip-prod (code dir.)	4396	100	17	51	25	26.3	123	177	N *
gzip-cons	4396	100	24	71	50	27.8	123	177	N *
gzip-prod (code dir.)	4396	100	17	51	25	26.3	583	646	Y
gzip-fix-cons	4389	100	24	73	51	27.8	583	646	Y
bzip2-prod (code tarball)	5772	121	15	32	8	26.3	47.7	102	Y
bzip2-cons	5772	121	13	29	10	27.4	47.7	102	Y
ex-prod-sep (code)	806	39	1	22	29	9.48	14.4	33.1	Y
ex-cons-sep (code)	n/a	n/a	n/a	26	28	n/a	14.4	33.1	Y

For the ex-{prod/cond} and ex-{prod/cond}-bug examples, the code posted above is exactly what we analyzed. The vairable names don't match up exactly with the paper because of presentation changes to the paper and the "..." omissions from the paper's listings have been filled in with function stubs, but the rest is the same.
gzip is the GNU Zip program, version 1.1.2. It is released under the GPL version 2 or later. The GNU Zip home page is www.gzip.org. The gzip.c file is the concatenation of all the files that are normally compiled together. (Early in development it was easier to analyze a program in a single .c file, but as the following two examples demonstrate, this is no longer necessary.) As mentioned in the paper, the soruce has also been modified to change the read and write functions from macros into stub functions.
bzip2 is another data compression program, version 1.0.5. It is released under a BSD-like license. The Bzip2 home page is www.bzip.org. The test program is unmodified from the original download, but the above link goes to our own mirror.