No. It kind of falls on Dijkstra’s old statement. “Testing can only prove the presence, not absence of bugs.”

You can prove logical correctness of code, but an abstract thing such as “is there an unknown weakness” is a bit harder to prove.