La ingeniería Inversa está llena de tales limitaciones teóricas, aunque por el teorema de Rice ( ) todas las preguntas interesantes sobre propiedades de los programas son indecidibles (así que los compiladores y muchas otras herramientas que tratan con programas en cualquier manera también se encuentran con tales límites).