MrSpidey

Version 102, June 27, 2000

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 and install mrspidey.plt. (Detailed installation instructions are provided when downloading mrspidey.plt.)

Further information about MrSpidey:

Online documentation

Catching Bugs in 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: DrScheme and Windows 95/98/NT/2000, 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. Installing MrSpidey with DrScheme requires about 1 MB of additional disk space.

PLT / scheme@cs.rice.edu