GitHub repository: seemantasaha/crest
Primary language: OCaml
Description: CREST is a concolic test generation tool for C.