When I was an undergraduate, I suggested some ideas to my classmates that would now be called "static analysis". About 1/4 of them would reflexively respond with "That won't work: halting problem". They were vaguely aware that someone infinitely more clever than us had proved the impossibility of something having to do with code analyzing code, and so they considered the whole topic off limits forever.