SMT-constrained symbolic execution engine for integer overflow detection in C code | IEEE Conference Publication | IEEE Xplore