This is "simple" in theory, but actually very difficult to implement in the general case. Automated testing has been more or less an open area of research for d

This is "simple" in theory, but actually very difficult to implement in the general case. Automated testing has been more or less an open area of research for decades. It's "easy" to see how to trip branches in a case where an int has to be above 20 or whatever, but in reality, when dealing with ad-hoc (& often intractable) memory mappings, fancy pointer arithmetic, or more interesting paradigms (e.g. recursive calls that may break somewhere down the line), this becomes several orders of magnitudes harder to do.