Those are different kinds of tools. Clazy is pretty much a linter. Scan-build is a traditional static analyser. It tries to find bugs or possible bugs but it's not trying to disprove the presence of bugs.

CBMC is a formal verification tool which tries to prove that there aren't any bugs (where "bugs" means things like UB).