GitHub repository: radl97/gazer
Description: An LLVM-based formal verification frontend for C programs.