Comment on Null pointer dereference – new security bug for OpenSSLparentComments−duked12yKLEE 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...−munin12yHow does what you say square with the evidence that klee found a bug in OpenSSL which is about as real world as it gets?
Comments
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...
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?