I'll join the others in trying to bring up a nuance.
The issue is not necessarily unreachability being undecidable.
The issue is that reachability depends on control flow. And that implies being conservative which translates into having to deal with false positives.
That static analysis in a nutshell: how to get precision and soundness.
The issue is not necessarily unreachability being undecidable. The issue is that reachability depends on control flow. And that implies being conservative which translates into having to deal with false positives.
That static analysis in a nutshell: how to get precision and soundness.
Probably a mere question of terminology.