运行时刻环境相关硕士博士期刊学术论文 - 搜论网

运行时刻环境相关论文

基于抽象解释的可执行代码值范围分析

阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进......

期刊

抽象解释值范围分析数据流分析运行时刻环境 abstract interpretation value range analysis data flow a

看过本文同时还关注