PLT MrSpidey: Static Debugger Manual

Cormac Flanagan
cormac@cs.rice.edu

Edited by: Matthias Felleisen
matthias@cs.rice.edu

Version 102
June 2000

• 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
• Index
• About this document ...