MrSpidey

MrSpidey is a user-friendly, interactive static debugger for DrScheme that:

highlights operations that may cause errors;
computes invariants describing the set of values each program expression can assume; and
provides a graphical explanation for each invariant.

The programmer can browse this information, and then resume program development with an improved understanding of the program's execution behavior, and in particular of potential run-time errors.

To install MrSpidey, first download and install DrScheme. Then download mrspidey.plt and run the Setup PLT program (distributed with DrScheme) on mrspidey.plt. More detailed instructions are provided when downloading mrspidey.plt.

For further information about MrSpidey, see:

Static Debugging: Browsing the Web of Program Invariants , Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen. (PLDI '96).

Modular and Polymorphic Set-Based Analysis: Theory and Practice , Cormac Flanagan, Matthias Felleisen. (Technical Report TR96-266).

System requirements: Windows 95/NT, MacOS, or Unix with X Windows. To run DrScheme with MrSpidey comfortably, your machine should have at least 40 MB of RAM and at least 64 MB of total memory. DrScheme with MrSpidey requires about 13 MB of disk space.

Download size is approximately 315 Kb.

PLT / scheme@cs.rice.edu