What is the Name of the Problem or Technique of Determining if a Line in a Program Will Execute
-
05-11-2019 - |
Question
If I were to pose the question: "Given a program $P$ containing statement $X$, will $X$ be executed (given enough runs with all possible inputs)?"
This strikes me of being a relative of the Halting Problem, but I just don't know the taxonomy here.
What is the name of this problem, or does it not have a name because it is solved/uninteresting?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange