基于文法简化和语句深度的静态结构模型嵌入式软件分析 (Analysis of Embedded Software Based on Static Model with Simplified Grammar and Sentence Depth)