查找逻辑存在缺陷，会导致错查

[Jlaix]

假设有类A，存在方法a；
有基类B，存在属性a1，是类A的实例，但基类中未使用a1的方法a；
类C继承自类B，并调用了父类属性a1的方法a。
则方法a会被判定为无用方法。