基于抽象解释的代码迷惑有效性比较框架
高鹰[1] 陈意云[1,2]
[1]中国科技大学计算机科学与技术系,合肥230027 [2]中国科学院软件研究所计算机科学实验室,北京100080
摘 要:
代码迷惑是一种以增加理解难度为目的的程序变换技术，用来保护软件免遭逆向剖析．代码迷惑是否有效是代码迷惑研究中首要解决的问题．目前对有效性证明的研究大都是基于非语义的方式．文章将语义与有效性证明联系起来，建立了基于语义的代码迷惑有效性比较框架，该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明，而且也能严格比较迷惑算法之间的有效性，最后使用实例描述比较框架如何应用到证明代码迷惑的有效性． (共9页)
学科分类:
TP311[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com