Applications

This section covers the high-level applications and tools built on Lotus, organized to match the structure of lib/Verification/.

Components

• Fuzzing – Directed greybox fuzzing support (lib/Fuzzing/)

• Fuzzing Support
  • Overview
  • Directed Greybox Fuzzing Algorithms
  • Distance Analysis
  • Compiler and Linker Plugins
  • IR Mutation
  • Target Detection
• Directed Fuzzing Analyses
• AFLGo Compiler Plugin
• AFLGo Link-Time Instrumentation