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

计算机应用 ›› 2014, Vol. 34 ›› Issue (12): 3507-3510.

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

刘金硕¹,王谢兵¹,郑稳²,邓娟³,陈鑫¹

1. 武汉大学计算机学院,武汉 430072;
2. 武汉大学城市设计学院,武汉 430072;
3. 武汉大学国际软件学院,武汉 430072

收稿日期:2014-06-30 修回日期:2014-08-01 出版日期:2014-12-01 发布日期:2014-12-31
通讯作者: 王谢兵
作者简介:刘金硕(1974-),女,吉林辽源人,副教授,博士,主要研究方向:模式识别、图像处理、高性能计算；王谢兵(1992-),男,安徽无为人,硕士研究生,主要研究方向:信息安全、嵌入式系统设计、大数据；郑稳(1989－),男,安徽六安人,硕士研究生,主要研究方向:计算机图形设计、虚拟现实；邓娟(1976-),女,湖北武汉人,副教授,博士,主要研究方向:数字图像处理、高性能计算;陈鑫(1989－),男,河南信阳人,硕士研究生,主要研究方向:图像处理、大数据。

Analysis of key disassembly problems based on embedded smart meter

LIU Jinshuo¹,WANG Xiebing¹,ZHEN Wen²,DENG Juan³,CHEN Xin¹

1. School of Computer, Wuhan University, Wuhan Hubei 430072, China;
2. School of Urban Design, Wuhan University, Wuhan Hubei 430072, China;
3. International School of Software, Wuhan University, Wuhan Hubei 430072, China

Received:2014-06-30 Revised:2014-08-01 Online:2014-12-01 Published:2014-12-31
Contact: WANG Xiebing

摘要/Abstract

摘要：

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

Abstract:

Two key problems, endianness and memory capacity limit appear to be obstacles when electric enterprises implement a function consistency model for embedded smart meter software via disassembly technique, thus affecting the overall performance of the model. To solve these problems, a in-depth analysis was conducted combined with internal features of embedded smart meter and hardware architecture theory. Two algorithms named Code Double Inverse Preprocessing Algorithm (CDIPA) and Segmented Disassembling Algorithm (SDA) were proposed. CIDPA was used to generate adjusted binary code, together with raw binary as two inputs of disassembly. Thus endianness problem was solved by choosing the result more adaptable to hardware environment. SDA was adopted to decrease size of input binary so as to disassemble more times in limited memory. The experimental results show that CDIPA and SDA can effectively resolve the problems mentioned above and show up favorable robustness and portability.

中图分类号:

TP311.5

刘金硕王谢兵郑稳邓娟陈鑫. 嵌入式智能电表中的反汇编关键问题分析[J]. 计算机应用, 2014, 34(12): 3507-3510.

LIU Jinshuo WANG Xiebing ZHEN Wen DENG Juan CHEN Xin. Analysis of key disassembly problems based on embedded smart meter[J]. Journal of Computer Applications, 2014, 34(12): 3507-3510.

参考文献

［1］TU G, YANG F, HU G. Embedded operating system review［J］. Application Research of Computers, 2000,17(11): 4-5.(涂刚,阳富民,胡贯荣. 嵌入式操作系统综述［J］. 计算机应用研究,2000,17(11): 4-5.)
［2］Wikipedia. Reverse engineering［EB/OL］. ［2014-04-20］. http://zh.wikipedia.org/wiki/%E9%80%86%E5%90%91%E5%B7%A5%E7%A8%8B.
［3］HE J. The influence of big-end and little-end storage pattern on programming and its countermeasures［J］. Journal of Yangzhou Polytechnic College, 2009, 13(2): 39-42.(何剑. 大小端存储模式对编程的影响及对策［J］. 扬州职业大学学报,2009, 13(2): 39-42.)
［4］CHEN H, ZHOU Z. Study on the method of transforming between big-endian and little-endian based on the experiment of embed system［J］. Research and Exploration in Laboratory, 2008, 27(5): 66-68.(陈辉,周自立. 嵌入式系统实验关于大小端转换方法的探讨［J］. 实验室研究与探索,2008, 27(5): 66-68.)
［5］JIANG Z. Endianness processing in network programming［J］. Network Technique, 2004(2): 74-75.(蒋振宇. 网络编程中的字节序处理［J］. 网络技术,2004(2): 74-75.)
［6］GUAN H. A method of endianness adjustment in binary translation［J］. Technology and Market, 2011, 18(7): 569.(管海兵. 二进制翻译中的字节序调整方法［J］. 技术与市场,2011,18(7):569.)
［7］GUO J, YAN P, HE Y, et al. Software design for a high capacity storage system in embedded devices［J］. Computer Engineering and Applications, 2004, 40(14): 102-105.(郭建兴,鄢萍,何勇,等. 嵌入式设备中一种大容量存储系统的软件设计［J］. 计算机工程与应用,2004, 40(14): 102-105.)
［8］XU R. Memory compression technology of the embedded system［J］. Microcontroller and Embedded Systems, 2004,5(2): 17-20.(徐蓉. 嵌入式系统中的内存压缩技术［J］. 单片机与嵌入式系统应用,2004,5(2): 17-20.)
［9］FU X, NI H, ZHU M. Memory compress mechanism for embedded system［J］. Computer Engineering, 2007, 33(24): 83-85.(付湘,倪宏,朱明. 嵌入式设备中的内存压缩机制［J］.计算机工程,2007, 33(24): 83-85.)
［10］LU C. A memory allocation scheme of the embedded system［J］. Microcontroller and Embedded Systems, 2002,3(12): 12-16.(卢春鹏. 一种嵌入式系统的内存分配方案［J］. 单片机与嵌入式系统应用,2002,3(12): 12-16.)
［11］Wikipedia. Endianness ［EB/OL］.［2014-04-20］. http://zh.wikipedia.org/wiki/%E5%AD%97%E8%8A%82%E5%BA%8F.
［12］MA Y, LIU Y, ZHANG X. The situation and developing prospects of embedded systems［J］. Information Technology, 2001(12): 57-59.(马义德,刘映杰,张新国. 嵌入式系统的现状及发展前景［J］. 信息技术,2001(12): 57-59.)

[1]	武鹏, 吴尽昭. 基于线性误差断言的推理方法[J]. 计算机应用, 2021, 41(8): 2199-2204.
[2]	张杨, 董士程. 面向并发程序中锁机制的智能化推荐方法[J]. 计算机应用, 2021, 41(6): 1597-1603.
[3]	刘宏宇, 梁秀波, 吴俊涵. 基于Kubernetes的Fabric链码管理及高可用技术[J]. 计算机应用, 2021, 41(4): 956-962.
[4]	张舒瑶, 李勇华, 范家佳. 基于博弈论的散货港口堆场堆位分配算法[J]. 计算机应用, 2021, 41(3): 867-874.
[5]	邵建伟, 刘其群, 王焕强, 陈耀旺, 俞东进, SALAMAT Boranbaev. 资源约束下的基于类依赖关系的微服务识别方法[J]. 计算机应用, 2020, 40(12): 3604-3611.
[6]	潘春霞, 杨秋辉, 谭武坤, 邓惠心, 伍佳. 软件缺陷预测中的数据预处理方法[J]. 计算机应用, 2020, 40(11): 3273-3279.
[7]	秦楠, 马亮, 黄锐. 基于系统理论过程分析的软件安全性需求分析与验证方法[J]. 计算机应用, 2020, 40(11): 3261-3266.
[8]	张家奇, 牟永敏, 张志华. 基于控制流的软件设计与实现一致性分析方法[J]. 计算机应用, 2020, 40(10): 3025-3033.
[9]	张凌浩, 王胜, 周辉, 陈一凡, 桂盛霖. 基于MAVLink协议的无人机系统安全通信方案[J]. 计算机应用, 2020, 40(8): 2286-2292.
[10]	朱小杰, 赵子豪, 杜一. 模型驱动的大数据流水线框架PiFlow[J]. 计算机应用, 2020, 40(6): 1638-1647.
[11]	张文烨. 基于图像识别的移动端应用控件检测方[J]. 计算机应用, 0, (): 0-0.
[12]	廖浩宏韦宇炜刘强. 工业仿真系统动态导入OBJ模型的研究与实现[J]. 计算机应用, 0, (): 0-0.
[13]	王曙燕, 郑佳妮, 孙家泽. 基于页面对象的Web应用测试用例生成方法[J]. 计算机应用, 2020, 40(1): 212-217.
[14]	范家佳, 刘洪星, 李勇华, 杨丽金. 基于博弈论的内河港口作业车辆协同选路方法[J]. 计算机应用, 2020, 40(1): 50-55.
[15]	岳川, 张健. 基于群决策和投影测度的软件质量评价模型[J]. 计算机应用, 2020, 40(1): 218-226.