3 ms·
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
by duked 12y ago
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/presentation/benameur https://www.usenix.org/conference/cset13/workshop-program/pr...
- munin 12y agoHow does what you say square with the evidence that klee found a bug in OpenSSL which is about as real world as it gets?