SymCC: efficient compiler-based symbolic execution - View it on GitHub