I don't think many open source projects do, no. Most of them aren't extremely quality-focused, and don't spend the money to develop or purchase some of the stat

I don't think many open source projects do, no. Most of them aren't extremely quality-focused, and don't spend the money to develop or purchase some of the static analysis and formal verification tools that help a code base reach the level of quality I'm referring to. But if I tried hard enough, I'm sure I could find a few that have been run through some sort of formal verification tool. Whether I could or not doesn't change my assertion at all though.