One of the speakers here: we also are going to open-source further parts of Jazzer making it possible to detect OWASP issues.