SPA-Freestyle-Guidance icon indicating copy to clipboard operation
SPA-Freestyle-Guidance copied to clipboard

带你畅游《软件分析》

Results 3 SPA-Freestyle-Guidance issues
Sort by recently updated
recently updated
newest added

assignments/Assignment 1.md 中提到copy并不会生成真正的深拷贝 但是就A1A2中的源码 显然确实生成了一个深拷贝 ``` /** * Creates and returns a copy of this fact. */ public SetFact copy() { return new SetFact(this.set); } ```

在`for each x.f=y in S`中,我利用了`((VarPtr)n).getVar().getStoreFields().forEach()`可以得到`filed`,但当我要得到`y`的时候,好像并没有方法可以让我得到一个是`Pointer`子类的`y`,我尝试使用`getRValue`来得到,但似乎不行,可以问一下有什么好的解决方法吗