4 ms·
As others have pointed out, statically determining whether a program will invoke undefined behaviour is undecidable.
by DanWaterworth 13y ago
As others have pointed out, statically determining whether a program will invoke undefined behaviour is undecidable.
- joosters 13y agoAh, but it doesn't have to be exact to be useful. Spotting common cases and minimising false positives would be great, even if there was no guarantee of catching everything.
- Groxx 13y agoThat's like saying the halting problem is undecidable. Just because we can't make a general-case solution doesn't mean there isn't progress to be made.