基于多核处理机的嵌入式车辆辅助驾驶系统的研究与实践

为了拓展嵌入式系统在车辆辅助驾驶方面的应用,提高嵌入式系统的处理能力,提出基于多核处理机的嵌入式车辆辅助驾驶系统的方案,对核间通信以及多核之间协同处理信息进行研究,搭建出虚拟多核与嵌入式系统相结合的图像信息处理系统,探讨对基于多传感器的数据采集和基于多核处理机的数据处理在车辆辅助驾驶方面的应用价值。     

基于值依赖分析的空指针解引用检测

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用守卫标注,即描述了相邻点之间的到达条件.为了降低误报率,本文同时提出了一种需求驱动的必然别名算法.由本文所述方法实现的工具展示了良好的实验效果,在10个SPEC2000项目中发现了70余个空指针解引用缺陷,误报率仅为6%左右.