If you haven't already seen it, Ryan Hileman's recent blog post on libc is probably relevant.
http://ryanhileman.info/posts/lib43
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev