LLVM based cfrontend for verification tools - View it on GitHub