Alan Turing proved no program can reliably tell whether any other program will eventually finish or loop forever. Some questions are provably off-limits…
It's the reason your antivirus can never be perfect — some questions about code are just permanently unanswerable.