Next:
Copyright notice
PLT MrSpidey: Static Debugger Manual
Cormac Flanagan
cormac@cs.rice.edu
Rice University
Version 53
July 1998
Contents
Introduction to MrSpidey
Thanks
Using MrSpidey
The Program Window
Unsafe Operations
Popup Menus
Type Information
The Value Flow Browser
The Summary Window
Preferences
MrSpidey Analysis
Preferences Window
MrSpidey Type Display
Preferences Window
Analysis of Large Programs
Inter-File Arrows
The Type Language
Accurate Numeric Operations
Extensions to DrScheme
Type Assertions
Polymorphic Annotations
Declaring New Primitives
Declaring Constructors
Declaring New Types
Customization
Restrictions on Source Programs
References
About this document ...
PLT