borrowscope-macro: Automatic Instrumentation

Table of Contents

• 1. Introduction
• ▶ 2. The Instrumentation Challenge
  • 2.1 Manual Instrumentation
  • 2.2 Why Procedural Macros
• ▶ 3. How It Works
  • 3.1 The #[trace_borrow] Attribute
  • 3.2 Transformation Pipeline
  • 3.3 Code Generation
• ▶ 4. What Gets Instrumented
  • 4.1 Variable Bindings
  • 4.2 Borrows and Moves
  • 4.3 Function Calls
  • 4.4 Scope and Drops
  • 4.5 Smart Pointers
  • 4.6 Concurrency Primitives
  • 4.7 Control Flow
  • 4.8 Expressions
  • 4.9 Closures
  • 4.10 Async/Await
• ▶ 5. Usage Guide
  • 5.1 Basic Usage
  • 5.2 Configuration Options
  • 5.3 Output Interpretation
• 6. Integration with Runtime
• 7. Limitations
• 8. Roadmap