2 ms·

For arbitrary C code, I believe checking for those issues is equivalent to the halting problem. Or at least uncomputable.