SymCC - symbolic execution of C code