Qual è il nome del problema o della tecnica per determinare se una riga in un programma verrà eseguita

Question

Se dovessi porre la domanda: "Dato un programma $ P $ Dichiarazione contenente $ X $, volere $ X $ essere eseguito (date abbastanza esecuzioni con tutti i possibili input)? "

Questo mi sembra di essere un parente del problema di arresto, ma qui non conosco la tassonomia.

Qual è il nome di questo problema o non ha un nome perché è risolto/poco interessante?