%0 Journal Article
%T Analysis Method of Embedded Code's Semantic Properties Based on ARM Microprocessor<br>一种基于ARM微处理器的嵌入式代码语义属性分析方法
%A LIU Tie-ming
%A JIANG Lie-hui
%A JING Jing
%A LI Ji-zhong
%A <br>刘铁铭
%A 蒋烈辉
%A 井靖
%A 李继中
%J 计算机科学
%D 2011
%I 
%X 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.
%K ARM microprocessor
%K Semantic property
%K Enbedded codes
%K Compilation characteristics
%K Instruction sequences<br>ARM微处理器，语义属性，嵌入式代码，编译特征，指令序列
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=17DDCED190714E79A023D63A248D0161&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=59906B3B2830C2C5&sid=03E56C113B4E5A88&eid=5C2C5F3E6FA0CEC2&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0