Analysis Method of Embedded Code's Semantic Properties Based on ARM Microprocessor
一种基于ARM微处理器的嵌入式代码语义属性分析方法

By taking deep research on the characteristic of the ARM instruction system and its compiled codes,we built a binary embedded code analytical model based on ARM microprocessor and discussed the method of embedded code's semantic analysis based on the ARM architecture. We discussed the method of extracting the code semantic properties in terms of the instruction and its sequences respectively, and analysed its instances based on the analytical model. The result shows that this method greatly improves the accuracy and readability of the code analysis.