Yes. Both clang and GCC come with static analyzers built in. Clangs supports whole program static analysis.