【摘 要】
：
软件程序是按一定顺序排列的指令序列,指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化,通过分析相邻指令序列的相对独立性,可以在不影
【基金项目】
：
国家重点研发计划(2016YFB08011601).
论文部分内容阅读
软件程序是按一定顺序排列的指令序列,指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化,通过分析相邻指令序列的相对独立性,可以在不影响程序语义的前提下交换相邻指令序列,增大指令距离,改变程序特征,在一定程度上增加逆向分析代价.通过改进程序的形式化定义论证相邻指令交换的充分条件,采用模拟退火算法实现随机化的指令乱序混淆方法,并将指令乱序方法与虚拟机代码保护技术融合,实现基于指令乱序的虚拟机代码保护系统IS-VMP,使用加密算法实例进行系统测试,验证了指令乱序混淆算法的可行性与
其他文献
目的探讨腹腔镜辅助肛门成形术与传统肛门成形术治疗中高位肛门闭锁患儿的远期疗效。方法采用回顾性队列研究方法。病例纳入标准：（1）中高位肛门闭锁患儿；（2）合并直肠尿道瘘或直肠膀胱瘘；（3）随访资料完整。排除标准：（1）合并21-三体者；（2）脑瘫等智力障碍者；（3）Currarino综合征者；（4）FG综合征者。2009年1月至2014年6月期间，在郑州大学第一附属医院小儿外科行肛门成形术的88例合
给出了求自然数幂和的差分算子解法,即先用待定系数法表出自然数幂和的有限项形式,即幂和多项式,然后建立以待定系数为未知量的线性方程组,通过应用矩阵初等变换以及差分算子
本文对增施有机肥可以改善果品品质进行了评述,并对提高绿色食品品质提出了生产技术措施.
本文结合作者在教授Visual Basic语言和实际软件开发中的一些体验体会,就Visual Easic中的ADO的一些使用技巧这个专题,从连接、建立以及如何使用等几个方面对ADO做了比较详细
交替投影时序逻辑（alternating projection temporal logic,简称APTL）公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描述的性质,而且可以描述与区间相关的顺序和循
针对当前军校本科数学教学中存在的共性问题,从数学课程的教学目标入手,着眼强化数学基础,完善教学内容,构建先修课、大纲课和拓展课三层递进的本科数学课程体系;强化学习过
人工智能的迅猛发展离不开概率统计的支持,在概率统计的日常教学中,融入人工智能案例的介绍,能够促进学生的学习兴趣,提高教学质量.以举例的方式说明了概率统计的理论知识和