该文通过分析缓冲区溢出攻击的原理,提出数组边界检查等方法来对缓冲区溢出攻击进行防御。
In this paper, by analyzing the principles of buffer overflow attacks, the array of border checkpoints and other methods to defend buffer overflow attacks.
PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围,而造成拒绝执行一些安全的移动代码等问题。
Some of the safe mobile codes may be rejected to execute, since there is no way to verify statically that the symbol range value of an array subscript expression in PCC.
静态声明的数组的边界检查。
应用推荐