Hacker News Reader

Hah, I actually used Klee doing a CS Masters at Georgia Tech. Small world.

Edit: And most of the bugs seem to be gone now ;)

Is Klee something like LaTeX ? What is it actually ?

No, it looks like a symbolic execution-based software testing framework. Here is a link to the paper that started the project: http://llvm.org/pubs/2008-12-OSDI-KLEE.html.