[revelation]

Brilliant, you have just solved the halting problem.

[oberstein]

Stick a printf/file write/breakpoint at the root of the code path if you want continuous verification that the code path never executes except by clicking the button. This isn't hard.

[monochromatic]

Static analysis is a thing, and it doesn't solve the halting problem.

[skj]

It also doesn't solve this problem.