基于嵌入式软件代码审查的研究