github.com/sri-csl/gllvm (go): Whole Program LLVM: wllvm ported to go
Keywords: bitcode|bitcode-files|bitcode-generation|clang|compilers|klee|llvm