That seems right. Memory errored programs are a subset of all computer programs. The possible runtime states of a program (expanding every branch/subroutine re

That seems right. Memory errored programs are a subset of all computer programs. The possible runtime states of a program (expanding every branch/subroutine recursively over all threads) is uncomputable. (Otherwise we would have a solution to the halting problem and be able to correctly free memory at compile time.) I'm not sure if that's the same as being uncountably infinite. It's probably a different concept.