[openasocket]

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