NOVETTA NEXUS
concolic execution