The development team behind the proprietary Static Code Analyzer for C and C++, PVS, ran it through Haiku's code and have now published part 1 of their report. They cover errors and warnings they found in different parts of the code (including.. Cortex) but I'm guessing we have to wait for part 2 for the final conclusion. This doesn't seem to be very different from what Haiku already has in place with the Coverity scans, but if it helps squash bugs or just improve the code quality, no complaints.
Thanks to Dmitriy for the tip!
Update: The second part of the analysis, along with the conclusion, is now up and available for you to read.