> will it ever terminate and say the thing is done and bug free?

Will human reviewers, if you ask them to find more bugs? Will it be because there really are no bugs, or because they got tired and just can't see any?

How would you even figure out when the thing is done and is bug free? There have been bugs that have been in codebases for years and have only been discovered recently.

Would you trust static analysis tools that give you an all clear, when they themselves cannot encode the above desired state fully?

Seems like you'd need formal proofs or something, but at that point also for the frameworks and libraries, database, networking stack and the whole damn OS.

I'm all for good tools, just saying that we'll need a whole bunch of those.

Yes, I've often mused that the halting problem should have corollary for determining when a faculty meeting will end, if at all.