Analyzed codes

Here you are the codes we have used to feed our shape analyzer. The FORCE and DeleteIndex pseudoinstructions have been inserted by a previous compiler pass.

Other, much simpler codes, used by Sagiv et al [11] to test their TVLA engine. This single linked list basic routines are collections of interesting programs from LCLint, Thomas Ball, and from first-year students. They are also available at www.math.tau.ac.il/~nurr. Here the local copy
Rafael Asenjo Plaza
Last modified: Mon Feb 25 17:34:43 CET 2002