4 ms·
Even when proving an uninitialized read is undecidable, it is still possible to note that a particular bit of code contains a path which could lead to an uninit
by gliese1337 10y ago
Even when proving an uninitialized read is undecidable, it is still possible to note that a particular bit of code contains a path which could lead to an uninitialized read, or that it is is impossible to prove that an uninitialized read doesn't happen, in which case a warning is still likely to be appropriate.