Rice's Theorem

Theorem

For any interesting property $Pr$ of the behavior of a program, it is impossible to write an analysis that can decide for every program $p$ whether $Pr$ holds for $p$.