[LLVMdev] paper on speculative analysis of C/C++ code?

Richard legalize at xmission.com
Mon Jun 18 14:17:03 PDT 2012


On Mon, 18 Jun 2012 15:15:13 MDT,
    Richard <legalize at xmission.com> wrote:

> Does anyone recall the specific paper/system so that I can revisit it?

Of course, I stumble across it as soon as I posted the message...

KLEE is what I was remembering:
<http://klee.llvm.org/GetStarted.html>
-- 
"The Direct3D Graphics Pipeline" free book <http://tinyurl.com/d3d-pipeline> 
     The Computer Graphics Museum <http://computergraphicsmuseum.org> 
         The Terminals Wiki <http://terminals.classiccmp.org> 
  Legalize Adulthood! (my blog) <http://legalizeadulthood.wordpress.com>



More information about the llvm-dev mailing list