Nautical
Automated vulnerability discovery.
Nautical brings together machine learning and concolic execution to automate the discovery of vulnerabilities. In addition to identification of bugs and code errors, Nautical details specific data to alert an analyst if the underlying bug is exploitable, allowing identification of high-value vulnerabilities.