语言安全策略系统相关硕士博士期刊学术论文 - 搜论网

语言安全策略系统相关论文

PCC中数组边界检查的优化和生成

PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围,而造成拒绝执行一些安全的移动代码等问题.本文给出的一种数组......

期刊

PCC 数组边界检查认证编译器控制流图注解移动代码语言安全策略系统 certifying compiler control flow graph pr

看过本文同时还关注