Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10 5/3/83; site hp-pcd.UUCP Path: utzoo!linus!decvax!tektronix!uw-beaver!cornell!vax135!floyd!harpo!seismo!hao!hplabs!hp-pcd!qa From: qa@hp-pcd.UUCP (Quality Assurance) Newsgroups: net.sources Subject: Looking for C path analyzer - (nf) Message-ID: <1394@hp-pcd.UUCP> Date: Sat, 23-Jul-83 03:35:21 EDT Article-I.D.: hp-pcd.1394 Posted: Sat Jul 23 03:35:21 1983 Date-Received: Sun, 24-Jul-83 07:11:48 EDT Sender: netnews@hp-pcd.UUCP Organization: Hewlett-Packard, Corvallis OR Lines: 23 #N:hp-pcd:8300001:000:877 hp-pcd!qa Jul 22 10:36:00 1983 I am trying to locate C programs that do path flow analysis or symbolic execution of C programs. The purpose of these types of programs is to determine what statements or segments of programs will be executed if a given set of test data is used. With this information, other sets of test data can be selected that cause the remainder of the program being tested to be executed. The knowledge that all statements execute with some set of test data then gives some degree of confidence of the correctness of the program being tested. If anyone knows where I might obtain these kinds of programs, the information would be greatly appreciated. I am using a VAX 11/750 running 4.1 BSD, and so would prefer something running on this type of system, but would take anything remotely resembling the above. Please reply via UNIX MAIL. George Sachs ...ucbvax!hplabs!hp-pcd!qa