KLEE is ok on small programs but has a lot of limitation with real world program... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		duked on May 2, 2014 \| parent \| context \| favorite \| on: Null pointer dereference – new security bug for Op... KLEE is ok on small programs but has a lot of limitation with real world programs (using libraries mostly) at least according to a USENIX paper last year: https://www.usenix.org/conference/cset13/workshop-program/pr...

munin on May 2, 2014 [–]

How does what you say square with the evidence that klee found a bug in OpenSSL which is about as real world as it gets?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact