It’s a bit different, but WebKit uses Clangs static analysis.