RunBoth

RunBoth 从 Git 历史取新旧代码，在隔离进程中为改动函数生成具体输入，并比较返回值、异常、警告、标准流、参数变异和对象状态七类行为。它区分 changed、预算内未发现差异和 abstained 三种 verdict；对八个陌生仓库 2,548 个函数的红队测试零误报，但采样不能证明不存在差异，且函数级检查限于 Python。