即使这样一个工具不能检测出复杂的案例,它仍然有助于消除简单的案例。
不知道这些工具的存在,但是 here are 关于这个问题的好想法:
就是要有一个非循环的对象所有权图。 然后你在下山的时候用共享指针, 侧身时的弱点, 以及弱指针(有时是普通指针)。