Is this obsoleted by clang-analyzer?
It seems to me we can archive this repository. It should be rather easier to run clang-analyzer on the project with its core.NullDereference check enabled (https://clang-analyzer.llvm.org/available_checks.html).
I'm not sure if the tool was ever run on the Mana client, but it could still be worth comparing the tools.