If you believe that this tool has found all the data races in the C++ code, or even a majority of them, I have a bridge to sell you.