Hi All,
I want to know there is any summary about what types of error can be
checked by KLEE. You know, for many static analysis tool such Coverity
PREVENT, they can check memory leak, out of bounded, null point dereferences
etc. So, what types of error can KLEE deal with? For some new features, new
plugins or modules are needed to develop? Thanks a ton!
Jian
----
email to: [email protected]
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
