GitHub repository: julieeen/kleefl
Primary language: Python
Description: Seeding fuzzers with symbolic execution