1. Introduction
2. 1. Setting Up
3. 1. 1.1. Using Docker
   2. 1.2. For Linux
   3. 1.3. For Windows
4. 2. Configuration
5. 1. 2.1. Installing in Projects
   2. 2.2. Loading The TSFFS Module
   3. 2.3. Common Options
6. 3. Harnessing Fuzzing Targets
7. 1. 3.1. Using a Compiled-in Harness
   2. 3.2. Using Closed-Box Testcase Injection
   3. 3.3. Using Testcase Data Manually
8. 4. Running A Fuzzing Campaign
9. 1. 4.1. Checking Target Software Compatibility
   2. 4.2. Choosing A Harnessing Method
   3. 4.3. Running the Fuzzer
   4. 4.4. Optimizing For Fuzzing
   5. 4.5. Analyzing Results
10. 5. Tutorials
11. 1. 5.1. Fuzzing an x86_64 EDK2 UEFI Application
    2. 1. 5.1.1. Writing the Application
       2. 5.1.2. Building the Application
       3. 5.1.3. Testing the Application
       4. 5.1.4. Configuring the Fuzzer
       5. 5.1.5. Running the Fuzzer
       6. 5.1.6. Reproducing Runs
       7. 5.1.7. Optimizing For Speed
    3. 5.2. Fuzzing a RISC-V Kernel Module
    4. 1. 5.2.1. Target Software Outline
       2. 5.2.2. Target Software Boilerplate
       3. 5.2.3. Kernel Module Code
       4. 5.2.4. Kernel Module Harnessing
       5. 5.2.5. Updating the Build Configuration
       6. 5.2.6. Running the Fuzzer
    5. 5.3. Fuzzing a Platform BIOS
    6. 1. 5.3.1. Obtaining Sources
       2. 5.3.2. Building the BIOS
       3. 5.3.3. Booting the BIOS
       4. 5.3.4. Harnessing the BIOS Boot Logo Parser
       5. 5.3.5. Configuring the Fuzzer
       6. 5.3.6. Running the Fuzzer
       7. 5.3.7. Optimizing the Fuzzer
    7. 5.4. Fuzzing a Windows Kernel Mode Driver (KMD)
    8. 1. 5.4.1. Building a Windows Image
       2. 1. 5.4.1.1. Install VirtualBox
          2. 5.4.1.2. Download Windows
          3. 5.4.1.3. Create a VM
          4. 5.4.1.4. Install Windows
          5. 5.4.1.5. Set Up SSH
          6. 5.4.1.6. Enable SSH Port Forwarding in VirtualBox
          7. 5.4.1.7. Change Default Shell to PowerShell
          8. 5.4.1.8. Installing the EWDK
          9. 5.4.1.9. Installing Development Tools
          10. 5.4.1.10. Install Simics Agent
          11. 5.4.1.11. Clone and Build HEVD
          12. 5.4.1.12. Install the Code Signing Certificate
          13. 5.4.1.13. Install HEVD Driver
          14. 5.4.1.14. Create a Fuzz Harness
          15. 5.4.1.15. Compile the Fuzz Harness
          16. 5.4.1.16. Convert the Image to CRAFF
       3. 5.4.2. Create a Simics Project
       4. 5.4.3. Run and Set Up the Simulation
       5. 5.4.4. Run the Fuzzer
12. 6. SIMICS and Crate Documentation
13. 7. Developer Documentation
14. 1. 7.1. Build Internals
    2. 7.2. Refreshing Build Environment
    3. 7.3. Building Against A Specific SIMICS Version
    4. 7.4. Debugging TSFFS
    5. 7.5. Releasing