Module libafl::stages::concolic

This module contains the concolic stages, which can trace a target using symbolic execution and use the results for fuzzer input and mutations.

Structs

• ConcolicTracingStage
  Wraps a TracingStage to add concolic observing.
• SimpleConcolicMutationalStage
  A mutational stage that uses Z3 to solve concolic constraints attached to the crate::corpus::Testcase by the ConcolicTracingStage.