La seguridad del software es un aspecto crítico de los productos de software modernos. Las vulnerabilidades que residen en su código fuente podrían convertirse en una debilidad importante para las empresas que construyen o utilizan estos productos, ya que su explotación podría llevar a consecuencias financieras devastadoras. Por lo tanto, el desarrollo de mecanismos capaces de identificar y descubrir vulnerabilidades de software ha atraído recientemente el interés de la comunidad investigadora.