Fornux C++ Superset is a very powerful static code analysis tool that injects a deterministic or predictable memory manager implicitly into existing C/C++ code and is also capable of fixing cyclic references (blocks of memory pointing to each other which never get deallocated).