嵌入式软件缺陷模式静态分析方法