Concepts

The following docs introduce some of the core concepts and machinery in SmallWorld’s programming interface.

• Platforms
  • Describing a Platform
  • Supported Platforms
• Machine State
  • Values in Smallworld
  • The Machine Object
  • The CPU Object
  • Memory Objects
    • Unstructured Memory
    • Execution Stacks
    • Heaps
    • Executables
    • Object File Loaders
  • Event Handlers
  • C Library Models
• Emulators
  • Common Emulator Interface
  • Unicorn Backend
  • Angr Backend
  • Panda Backend
  • Ghidra Backend
• Analyses
  • Trace Execution Analysis
  • Coverage Frontier Analysis
  • Colorizer Analysis
  • Crash Triage Analysis