Comment on Null pointer dereference – new security bug for OpenSSLparentComments−jevinskie12yKLEE 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/
Comments
KLEE 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/