关键词: ARM微处理器，语义属性，嵌入式代码，编译特征，指令序列

Abstract: 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.

Key words: ARM microprocessor, Semantic property, Enbedded codes, Compilation characteristics, Instruction sequences