On Thu, Jun 23, 2011 at 10:07 AM, Gregory Malecha <span dir="ltr"><<a href="mailto:gmalecha@eecs.harvard.edu">gmalecha@eecs.harvard.edu</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div>Hello,</div><div><br></div>I'm wondering if anyone had any success (even a small amount) compiling any variant of libc to llvm bitcode?<br></blockquote><div><br>uclibc can be compiled into .bc. Check out <a href="http://klee.llvm.org/">http://klee.llvm.org/</a><br>

</div></div>