Top all-time · #19473
Feliam's Blog
Personal blog · feliam.wordpress.comsecurityprogramming
Feliam's Blog is a personal blog at feliam.wordpress.com about security and programming. Since 2011, 4 different Hacker News readers have linked it 4 times, most often “KLEE for the Maze”. The last post was in 2010, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Commenters link these posts for explanations of KLEE, a symbolic execution engine, including a succinct overview and a 'symbolic maze' example of how to use it for testing.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Security stuff..
Most-linked posts?
- KLEE for the Maze2 people · 2 mentions · first linked 2011-04-25
What Hacker News says?
I found a blog post with a succinct explanation. > KLEE [runs] a program considering its input(or some other variables) to be symbols instead of concrete values like 100 or “cacho”. In very few words, a symbolic execution runs through the code propagating symbols and conditions; forking execution at symbol dependant branches and asking the companion SMT solver for path feasibility or counter-examples. https://feliam…
Comment linking /2010/10/07/the-symbolic-maze/
on “KLEE LLVM Execution Engine”Submitted Lexing PDF as a story · 1 points
HN discussionKLEE is very interesting! I am looking into it for improving tests on some of my company's small-but-tricky functions. Here is an example of its power and how to use it: http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/
Comment linking /2010/10/07/the-symbolic-maze/
on “Null pointer dereference – new security bug for OpenSSL”Submitted KLEE for the Maze as a story · 1 points
HN discussion