Control Flow Error Detection Method Based on Multi-layer Segmented Labels

doi:10.3969/j.issn.1006-2475.2020.08.007

Abstract

Abstract: A control flow error detection method based on Multi-layer Segmented Labels (CFMSL) is proposed, which detects the control flow errors of the program online by updating and checking the multi-layer segmented labels. CFMSL can automatically embed label update and inspection instructions into the program during compile time, so as to realize dynamic inspection effect during program execution. The label design and calculation methods proposed in this paper are creative, which reduces the time and space complexity greatly, and has the abilities to handle complex programs and detect subtle control flow errors. CFMSL has the ability of batch and automation processing program through LLVM pass files. Finally, the fault injection tool designed in this paper is used to simulate the impact of control flow errors on software. At the same time, the error detection capabilities and overhead of CFMSL are evaluated. The experimental results show that compared with other methods, CFMSL has a lower overhead on the time and space and has higher error detection capabilities, which shows the superiority of the proposed method.

Key words: multi-layer segment labels, control flow errors, error detection, fault injection, overhead

CLC Number:

TP311

ZHENG Wei-ning, Zhuang Yi, GU Hao-wei. Control Flow Error Detection Method Based on Multi-layer Segmented Labels[J]. Computer and Modernization, 2020, 0(08): 41-50.

References

［1］ NICOLAIDIS M. Soft Errors in Modern Electronic Systems［M］. Springer Science & Business Media, 2010.
［2］ MUKHERJEE S S, EMER J, REINHARDT S K, et al. The soft error problem: An architectural perspective［C］// The 11th IEEE International Symposium on High-Performance Computer Architecture. IEEE, 2005:243-247.
［3］ ZHU D K, AYDIN H. Reliability effects of process and thread redundancy on chip multiprocessors［C］// IEEE/IFIP International Conference on Dependable Systems and Networks. 2006.
［4］ OHLSSON J, RIMEN M, GUNNEFLO U. A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdog［C］// Proceedings of the 22nd International Symposium on Fault-Tolerant Computing. 1992:316-325.
［5］ BAFFREAU S, BENDHIA S, RAMDANI M, et al. Characterisation of microcontroller susceptibility to radio frequency interference［C］// Proceedings of the 4th IEEE International Caracas Conference on Devices, Circuits and Systems. 2002，doi:10.1109/ICCDCS.2002.1004088.
［6］ CHOI K, PARK D, CHO J. SSCFM: Separate signature-based control flow error monitoring for multi-threaded and multi-core environments［J］. Electronics, 2019,8(2),doi:10.3390/electronics8020166.
［7］ RHISHEEKESAN A, JEYAPAUL R, SHRIVASTAVA A. Control flow checking or not? (for soft errors)［J］. ACM Transactions on Embedded Computing Systems (TECS), 2019,18(1):1-25.
［8］ YAU S S, CHEN F C. An approach to concurrent control flow checking［J］. IEEE Transactions on Software Engineering, 1980,6(2):126-137.
［9］ ALKHALIFA Z, NAIR V S S, KRISHNAMURHY N. Design and evaluation of system-level checks for on-line control flow error detection［J］. IEEE Transactions on Parallel and Distributed Systems, 1999,10(6):627-641.
［10］OH N, SHIRVANI P P, MCCLUSKEY E J. Control-flow checking by software signatures［J］. IEEE Transactions on Reliability, 2002,51(1):111-122.
［11］VEMU R, ABRAHAM J. CEDA:Control-flow error detection using assertions［J］. IEEE Transactions on Computers, 2011,60(9):1233-1245.
［12］AZAMBUJA J R, ALTIERI M, BECKER J. HETA: Hybrid error-detection technique using assertions［J］. IEEE Transactions on Nuclear Science, 2013,60(4):2805-2812.
［13］CHIELLE E, RODRIGUES G S. S-SETA: Selective software-only error-detection technique using assertions［J］. IEEE Transactions on Nuclear Science, 2015,62(6):3088-3095.
［14］ZHU Z Q, CALLENES-SLOAN J. Towards low overhead control flow checking using regular structured control［C］// Europe Conference & Exhibitionon on Design, Automation & Test(DATE). 2016:826-829.
［15］张鹏,朱利,杜小智,等. 基于结构化标签的控制流错误检测算法［J］. 计算机工程, 2016,42(6):37-42.
［16］李爱国,洪炳熔,王司. 一种软件实现的程序控制流错误检测方法［J］. 宇航学报, 2006,27(6):1424-1430.
［17］张倩雯. 恶劣环境下嵌入式系统软件错误检测技术的研究［D］. 南京:南京航空航天大学, 2018.
［18］帕尔哈提江·斯迪克,马建峰,孙聪. 一种面向二进制的细粒度控制流完整性方法［J］. 计算机科学, 2019,46(11A):417-420.
［19］姬秀娟,孙晓卉,许静. 基于复杂控制流的源代码内存泄漏静态检测［J］. 计算机科学, 2019,46(11A):517-523.
［20］HAMMES J. System and Method for Converting Control Flow Graph Representations to Control-Dataflow Graph Representations, US 7299458［P］. 2007-11-20.
［21］SHIGENOBU K, OOTSU K, OHKAWA T, et al. A translation method of ARM machine code to LLVM-IR for binary code parallelization and optimization［C］// 2017 5th International Symposium on Computing and Networking. 2017:575-579.
［22］徐建军,谭庆平,李建立,等. 一种基于格式化标签的可扩展控制流检测方法［J］. 计算机研究与发展, 2011,48(4):638-646.
［23］STALLMAN R. The GNU Project［EB/OL］. (2009-05-29)［2019-12-01］. https://blog.csdn.net/hitlion2008/article/details/4223251.

[1]	WEI Jin-yi, XU Luo, DAI Wen-bo. Fault Injection Technique Based on Vulnerability Analysis [J]. Computer and Modernization, 2019, 0(12): 39-.
[2]	HU Lei， JIANG Guo-hua. A Control Method of Runtime Verification Overhead Based on Prediction [J]. Computer and Modernization, 2016, 0(4): 94-99.
[3]	LI Jiang;ZUO Wei. Analysis of Adaptive Optimal Frame Length Based on COBS Serial Communication Protocol [J]. Computer and Modernization, 2013, 1(3): 116-120.