GitHub repository: riyadparvez/klee
Primary language: C
Description: KLEE Symbolic Virtual Machine