厉害!北大软件2项科技成果荣获专利授权
近日,北京北大软件工程股份有限公司两项发明专利——“一种基于值依赖图的污染数据分析方法、系统与电子设备” “C/C++程序中不可达代码的静态检测方法及系统”获国家知识产权局授权。
一种基于值依赖图的污染数据分析方法、系统与电子设备
难点攻克:现有静态污染数据分析方法基于数据流分析或符号执行技术,精度较低或存在路径爆炸问题,难以用于大规模、全程序的高精度静态污点分析。本发明为污染数据相关分析提供了一种基于守卫值依赖图的模型,保证了污染数据按需传播分析的全面性、精确性。
应用价值:本发明为缺陷、漏洞的精确检测提供定义源和污染传播路径,使得对污染数据引起的漏洞,以及其它Source-Sink模式的漏洞检测更加准确。通过使用本发明提供的扩展接口软件发明专利,同时能够支持新型缺陷和漏洞检测的定制开发。
C/C++程序中不可达代码的静态检测方法及系统
难点攻克:现有的定理证明、抽象解释、符号执行、模式匹配等方法支持检测不可达代码,但往往速度较低,或者精度较低。本发明提出控制依赖图和值依赖图相结合的模型,将函数内的控制依赖关系传播至函数间的稀疏值依赖模型中并进行迭代,既实现了高效的计算,也实现了准确的守卫关系传播。
应用价值:本发明通过去除程序的不可达路径,在跨函数缺陷和漏洞的检测精度上超过了符号执行技术,具有较低的误报率和漏报率;支持千万行级别的不可达代码检测,每小时检测速度超过两百万行。
本次专利授权,增强了北大软件技术核心竞争力,为未来发展提供了强有力的科技支撑。这些成果来之不易软件发明专利,是对北大软件自主创新的肯定。
未来,北大软件将继续加大研发投入以及加强自身技术创新能力,继续利用自身技术优势,为科技赋能行业应用贡献自己一份力量。
往期推荐
以上内容由51税知网整理,希望对大家有所帮助!与智慧同行,开启你的创业之路!