将约束插入程序中以解决程序受到攻击的弱点。约束包括确定要求程序执行在正常操作下不会发生的“边界情况”的时间的代码段。约束代码可以访问检测器和补救器函数的库，以检测各种攻击和对于攻击进行补救。可选地，可以不用补救器地将检测器用于分析。如有...