There is no C/C++ static analyzer that can guarantee what rust does: full memory safety.