Developer Documentation

• Force-Linker Headers
  • The problem
  • The solution: anchor symbols
  • Considered alternatives
• How to Extend the Framework
  • Adding a summary extractor
  • Adding a serialization format
  • Static extensibility
  • Dynamic extensibility (plugins)
• Summary Extraction Internals
  • Lifetime of a summary extraction
  • Implementation details