GitHub repository: Acidburn0zzz/confuzzer
Primary language: TeX
Description: Concolic Execution Fuzzer