Welcome to ptera’s documentation!

Contents:

• What is Ptera?
• Getting started
  • Install
  • Usage
• Guide
  • Probing
  • Operations
  • Selected operators
  • Miscellaneous
• Use cases
  • Instrumenting external code
  • Advanced logging
  • Advanced debugging
  • Testing
• Testing with Ptera
  • Test properties
  • Test information flow
  • Test for infinite loops
  • Test trends
  • Test caching
• Reference
  • Main API
  • List of operators
  • ptera.interpret
  • ptera.opparse
  • ptera.overlay
  • ptera.probe
  • ptera.selector
  • ptera.tags
  • ptera.transform
  • ptera.utils

Indices and tables

• Index

• Module Index

• Search Page