GitHub repository: season-lab/fuzzolic
Primary language: C
Description: fuzzing + concolic = fuzzolic :)