Driller: augmenting AFL with symbolic execution! - View it on GitHub