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/``)


.. toctree::
   :maxdepth: 2

   fuzzing_support
   fuzzing_analysis
   aflgo_compiler
   aflgo_linker