將約束插入程序中以解決程序受到攻擊的弱點。約束包括確定要求程序執(zhí)行在正常操作下不會發(fā)生的“邊界情況”的時間的代碼段。約束代碼可以訪問檢測器和補救器函數(shù)的庫，以檢測各種攻擊和對于攻擊進(jìn)行補救。可選地，可以不用補救器地將檢測器用于分析。如有...