基于QEMU的跨平台静态二进制翻译系统

为了实现快速映射间接分支目标地址,提出地址索引映射表法,使用地址数组按源地址顺序保存所有对应的目的地址,索引数组存储源地址在地址数组中的索引位置,只需要几条指令就可以完成源地址到目的地址的映射,提高了执行速度.为了加快函数的调用处理,提出将本地栈作为影子栈、与本地库函数封装相结合的方法.本地栈模拟参数传递和返回,加速函数调用.结合封装接口处理参数和返回值,实现间接调用本地库函数,提高了函数处理能力.基于上述方法和QEMU,设计并实现了静态二进制翻译系统SQEMU.基于SPEC2006和nbench测试集,从x86平台翻译到Alpha平台的实验表明,SQEMU相对QEMU平均加速比分别达2.09倍和6.39倍.

不同抗性水稻品种响应纹枯病菌侵染的代谢组差异分析

利用气相色谱-飞行时间串联质谱(GC/TOF-MS)检测抗纹枯病品种(YSBR1)YS和感纹枯病品种(Lemont)LE接种纹枯病菌(Rhizoctonia solani Kühn)后的代谢组差异,以探究水稻抗纹枯病机制。结果表明:R.solani侵染后,YS和LE分别有82和75个差异代谢物(DAM)的含量升高;相对于LE,YS中存在更多的氨基酸类差异代谢物,其中合成抗病因子(水杨酸、乙烯、木质素、叶绿素和γ-氨基丁酸)的氨基酸及其衍生物受诱导水平明显高于LE。结果提示YS对纹枯病的较强抗性可能与其自身特有的代谢产物尤其是抗病因子相关的氨基酸及其衍生物密切相关。

转型时期公共政策的适应性分析

社会转型伴随的是各方面的剧烈变化。如何使公共政策适应政策环境,最终达成政策目标已成为公共政策研究领域一个新的焦点。当前中国公共政策的适应性状况并不容乐观,应从合理认知政策与环境的关系、重视政策过程的连续性与完整性、加大制度供给力度以及完善公共政策实施机制等方面入手来提高公共政策的适应性。

基于优先级动态二进制翻译寄存器分配算法

针对动态二进制翻译系统QEMU寄存器分配不考虑基本块之间对寄存器需求的差异性,造成不必要寄存器溢出而导致重复访存开销的问题,提出高效的基于优先级线性扫描寄存器分配算法.该算法基于中间表示与源平台寄存器之间的映射关系,获取每一次生成基本块中间指令预分配寄存器次数并统计排序确定寄存器的优先级,寄存器分配时动态调整寄存器分配顺序,减少寄存器溢出次数,降低生成本地代码指令数量.QEMU动态翻译x86、mips及arm平台的nbench测试集实验结果表明,该算法基于中间代码改进具有很好的跨平台性,有效减少了生成本地代码指令数目,比QEMU优化前翻译性能分别提升了6.7%、6.8%、4.7%.

基于动态二进制翻译和插桩的函数调用跟踪

动态函数调用跟踪技术是调试Linux内核的重要手段.针对现有动态跟踪工具存在支持平台有限、运行效率低的问题,基于二进制翻译,设计并实现支持多种指令集的动态函数调用跟踪工具.首先,使用二进制翻译进行系统加载、分析内核镜像,识别基本块的分支指令类型.然后,根据不同平台指令集,设计桩代码并在函数调用与返回指令翻译时插入桩指令,进而在程序执行和内核启动时实时获取时间戳、进程标识、线程标识、函数地址等信息.最后,内核加载完毕后,处理获取的信息,生成过程函数调用图.只需要根据平台指令集特点设计对应的信息获取桩代码并插入到函数调用指令翻译代码中,实现简单,易于移植支持多种平台.该方法基于二进制翻译,直接对程序或内核镜像中的指令段、代码段、符号表进行分析,不依赖源码.拓展的中间代码和额外的目标码,不影响基本块连接、冗余代码消除、热路径分析等二进制翻译的优化方法,降低了开销.基于QEMU的实验结果表明:跟踪分析结果与源代码行为一致,桩代码执行信息记录产生了15.24%的时间开销,而信息处理并输出到磁盘文件产生了165.59%的时间开销,与现有工具相比,性能有较大提升.

二进制翻译中冗余指令优化算法

二进制翻译是实现软件移植的主要方法.动态二进制翻译受动态执行限制而不能深度优化导致效率较低而传统的静态二进制翻译难以处理间接分支,且现有的优化方法大部分集中在中间代码层,对目标码中存在的大量冗余指令较少关注.针对这一现状,提出一种静态二进制翻译框架SQEMU,基于该框架提出了一种对目标码冗余指令进行删除的优化算法.该算法通过分析目标码生成指令特定数据依赖图(instruction-specific data dependence graph,IDDG),再利用该图将活性分析和窥孔优化的2种理论相结合,有效删除目标码中的冗余指令.实验结果表明,利用该算法对目标码优化后,其执行效率得到显著提升,最大提升可达42%,整体性能测试表明,优化后nbench测试集翻译效率提高约20%,SPEC CINT2006测试集翻译效率提高约17%.

并行模糊测试综述

软件脆弱性已成为互联网安全的主要威胁来源,软件脆弱性分析技术的重要性日益突出。模糊测试是脆弱性分析的热点技术之一,通过持续生成测试用例、动态监控目标代码执行和反馈调节变异策略的方法尝试触发程序异常,具有部署便捷、适用性广和效果直观的优点。随着测试目标的复杂性增加,从业人员对模糊测试的效率提出了更高的要求。并行模糊测试通过并行执行、任务分解和共享信息等方法提高脆弱性分析的效率。首先,分析了基于覆盖反馈的模糊测试面临的主要挑战;之后,探讨了并行模糊测试的解决思路和方案,从系统结构、任务划分、语料库共享和崩溃去重等方面对并行模糊测试进行了综述;最后,总结了现有并行模糊测试的优缺点,并对未来发展方向进行了展望。

力戒形式主义、官僚主义——从怎么看到怎么干

形式主义、官僚主义同党的性质宗旨和优良作风格格不入,是党和人民的大敌。我们要以习近平新时代中国特色社会主义思想为指导,坚决打赢整治形式主义、官僚主义这场攻坚战。《习近平谈治国理政》第三卷节录了习近平总书记2017年12月至2019年1月期间关于力戒形式主义、官僚主义的重要论述,《习近平关于力戒形式主义官僚主义重要论述选编》一书也已经出版发行,这些重要著作思想深邃、内涵丰富、令人警醒,既是习近平总书记持之以恒正风肃纪坚定决心的充分彰显,也是对形式主义、官僚主义怎么看,力戒形式主义、官僚主义怎么干的深刻阐释。