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