[klee-dev] (no subject)

Daniel Liew daniel.liew at imperial.ac.uk
Wed May 7 14:26:10 BST 2014


When linking programs using LLVM I am aware of two main options:

* Use the Gold linker with the LLVM plugin[1] and pass the relevant
option to the linker (I think it's -also-emit-llvm or -emit-llvm)
* Use the hacky wllvm script [2]

[1] http://llvm.org/docs/GoldPlugin.html
[2] https://github.com/travitch/whole-program-llvm




More information about the klee-dev mailing list