In any case, if the quote in the article about the Research Center for Computer Security at the University of Passau is correctly reproduced:
For this, the Passau scientists have developed test methods that are supposed to detect security vulnerabilities. "The system works very precisely and does not produce false alarms," said Professor Gregor Snelting. "Our analysis method is more complex than standard testing methods, but we guarantee that no security hole will escape us."
Yes, of course. Guaranteed to find all security holes. Logical. Halting problem with programs? Doesn't matter. Software still runs on classic processors, and thus has a completely unsecured layer? Doesn't matter. Of course, we find all security holes.
Nonsense. Such ridiculous claims only disqualify the person who makes them - let's hope that it was just a journalist who heard what he wanted to hear. Or that it was just a dumb assistant who was asked ...