一种基于ARM微处理器的嵌入式代码语义属性分析方法

刘铁铭，蒋烈辉，井靖，李继中

Analysis Method of Embedded Code's Semantic Properties Based on ARM Microprocessor

计算机科学 . 2011, (12): 284 -287 .