SUMMARY.md

Summary

Introduction

User Guide

• Setting Up
  • Using Docker
  • For Linux
  • For Windows
• Configuration
  • Installing in Projects
  • Loading The TSFFS Module
  • Common Options
• Harnessing Fuzzing Targets
  • Using a Compiled-in Harness
  • Using Closed-Box Testcase Injection
  • Using Testcase Data Manually
• Running A Fuzzing Campaign
  • Checking Target Software Compatibility
  • Choosing A Harnessing Method
  • Running the Fuzzer
  • Optimizing For Fuzzing
  • Analyzing Results

Tutorials

• Tutorials
  • Fuzzing an x86_64 EDK2 UEFI Application
    • Writing the Application
    • Building the Application
    • Testing the Application
    • Configuring the Fuzzer
    • Running the Fuzzer
    • Reproducing Runs
    • Optimizing For Speed
  • Fuzzing a RISC-V Kernel Module
    • Target Software Outline
    • Target Software Boilerplate
    • Kernel Module Code
    • Kernel Module Harnessing
    • Updating the Build Configuration
    • Running the Fuzzer
  • Fuzzing a Platform BIOS
    • Obtaining Sources
    • Building the BIOS
    • Booting the BIOS
    • Harnessing the BIOS Boot Logo Parser
    • Configuring the Fuzzer
    • Running the Fuzzer
    • Optimizing the Fuzzer
  • Fuzzing a Windows Kernel Mode Driver (KMD)
    • Building a Windows Image
      1. Install VirtualBox
      2. Download Windows
      3. Create a VM
      4. Install Windows
      5. Set Up SSH
      6. Enable SSH Port Forwarding in VirtualBox
      7. Change Default Shell to PowerShell
      8. Installing the EWDK
      9. Installing Development Tools
      10. Install Simics Agent
      11. Clone and Build HEVD
      12. Install the Code Signing Certificate
      13. Install HEVD Driver
      14. Create a Fuzz Harness
      15. Compile the Fuzz Harness
      16. Convert the Image to CRAFF
    • Create a Simics Project
    • Run and Set Up the Simulation
    • Run the Fuzzer

Reference Guide

• SIMICS and Crate Documentation
• Developer Documentation
  • Build Internals
  • Refreshing Build Environment
  • Building Against A Specific SIMICS Version
  • Debugging TSFFS