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