CppC – memory-safe C++ compiler (catches UAF, double-free at build time)
github.com
github.com
Frankly, a static analyzer that can't detect interprocedural bugs is useless and is something you definitely shouldn't be reaching for an unusual compilation toolchain to access.