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.