《表1 地址访问迁移操作:面向顺序存储结构的数据流分析》
本文根据上述常见的地址访问操作对指针的赋值总结如下的迁移操作,见表1,其中,newSExp表示产生的新符号表达式,nR为区域r偏移某个长度后的区域,out of Bounds表示索引越界警告.
图表编号 | XD00168928100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.01 |
作者 | 王淑栋、尹文静、董玉坤、张莉、刘浩 |
绘制单位 | 中国石油大学(华东)计算机科学与技术学院、中国石油大学(华东)计算机科学与技术学院、中国石油大学(华东)计算机科学与技术学院、中国石油大学(华东)计算机科学与技术学院、中国石油大学(华东)计算机科学与技术学院 |
更多格式 | 高清、无水印(增值服务) |