Quel est le nom du problème ou de la technique de déterminer si une ligne dans un programme exécutera

Question

Si je devais poser la question: "Compte tenu d'un programme $ P $ contenu $ X $, sera $ X $ être exécuté (compte tenu des exécutions suffisantes avec toutes les entrées possibles)? "

Cela me frappe d'être un parent du problème d'arrêt, mais je ne connais tout simplement pas la taxonomie ici.

Quel est le nom de ce problème, ou n'a-t-il pas de nom car il est résolu / sans intérêt?