嵌入式智能电表中的反汇编关键问题分析

电力企业在将反汇编技术应用于嵌入式智能电表软件一致性检测模型时出现了因不同硬件而产生差异的字节序问题和程序运行时的嵌入式设备内存受限问题,从而影响了模型整体的性能。针对这两个关键问题进行分析,结合嵌入式智能电表内部特征和硬件体系架构理论的深层探讨,依次提出了目标代码双逆置预处理算法(CDIPA)和分段反汇编算法(SDA)。对原代码使用目标代码双逆置预处理算法得到调整字节顺序的代码,分别将原代码和调整代码反汇编获得两种待测结果,结合硬件信息分析结果并以匹配度高的指令作为最终结果从而解决了字节序问题;分段反汇编算法通过调整反汇编输入规模并分次运行的方法解决设备内存受限问题。实验结果表明将这两种算法用于给定的电表设备,可以有效解决上述关键问题,同时算法也表现出良好的健壮性和可移植性。

基于TCG技术的二进制翻译条件转移指令优化研究

在二进制翻译中引入TCG中间表示技术可以实现多目标平台之间的程序移植,同时可以更加方便地引入新型平台,解决新平台对主流平台的兼容性问题。然而由于原有的中间表示在翻译过程中影响了代码的关联度,生成的后端代码中存在较多冗余指令,影响翻译程序的执行效率。分析了指令优化可行性,针对条件跳转指令进行优化,通过指令预处理对中间表示进行改进,实现中间表示到后端代码生成由一对多翻译模式到多对多翻译模式的转变,采用指令归约技术,针对条件跳转指令的2种模式CMP-JX型与TEST-JX型,分别设计相应的优化翻译算法,并在开源二进制平台QEMU上实现。基于NPB-3.3和SPECCPU2006测试集进行了测试,与以前的翻译模式进行对比,优化后的代码膨胀率平均减少了14.62%,翻译程序运行速度提升了17.23%,验证了该优化方法的有效性。

VB.NET程序设计题动态评阅技术研究

程序设计题的自动评阅能有效地辅助教师灵活开展实验教学,进而提升教学质量。针对传统动态评阅方法在处理人机交互和获取控件句柄方面存在的不足,设计和实现了一种基于代码预处理和代码嵌入式的新型动态评阅方法。该方法包含代码预处理、代码嵌入、编译运行和结果评阅等4个环节,首先在代码预处理环节对学生程序进行功能替换,然后通过植入辅助代码和功能测试代码驱动程序运行并产生结果数据,最后根据保存在临时文件中的结果数据进行评定。实施结果表明,该方法很好地实现了程序的功能检测,能准确识别和处理编译失败以及运行出错或超时等问题,体现出良好的健壮性和正确性。