PLT MrSpidey: Static Debugger Manual

Cormac Flanagan
cormac@cs.rice.edu
Rice University
Houston, TX

Version 50
July 1997

• 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
• 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 ...