Welcome to InSpectre Gadget’s documentation!

Welcome to InSpectre Gadget’s documentation! This documentation is designed to provide some basic information about how InSpectre Gadget works, as well as a high-level overview of its internals.

Please note that the tool is still under heavy development. You should always refer to the code for understanding its internal behavior.

• Introduction
  • Motivation
  • How it works
  • License
• Getting Started
  • Installation
  • Build Docs
  • Usage
  • Workflow
  • Demo
• Configuration
• Output
  • Column List
• Examples
  • Queries
  • Tests
  • Linux Kernel Experiment
• Internals
  • Analyzer
    • Design
    • Scanner
    • TransmissionAnalysis
  • Reasoner
• API Reference
  • analyzer
    • analyzer.analysis
    • analyzer.analyzer
    • analyzer.asmprinter
    • analyzer.scanner
    • analyzer.shared
  • reasoner
    • reasoner.reasoner