数组边界检查相关论文
动态翻译技术是一种即时编译技术,它将针对源体系结构编译生成的源机器码动态翻译为可以在目的体系结构上运行的翻译码。动态优化技......
PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围,而造成拒绝执行一些安全的移动代码等问题.本文给出的一种数组......