金融界2025年6月10日消息,国家知识产权局信息显示,北京轩宇信息技术有限公司申请一项名为“一种针对大规模程序的数值类运行时缺陷检测方法”的专利,公开号CN120123224A,申请日期为2025年01月。

专利摘要显示,本发明公开了一种针对大规模程序的数值类运行时缺陷检测方法,包括以下步骤:步骤一:对被测项目使用编译前端工具clang生成相应的控制流图CFG;步骤二:遍历CFG,在CFG上插入phi辅助节点,phi节点是为了实现SSA形式,消除变量赋值的歧义,构造精确的程序依赖图;本发明一种针对大规模程序的数值类运行时缺陷检测方法,该方法针对现有方法对大规模程序进行数值类缺陷检测时效率低的问题,构建了一个高效的程序依赖图,避免了因为被测项目规模庞大导致缺陷检测耗时长的问题,研究此方法,可以在大规模程序中进行高效的缺陷检测,降低缺陷检测的时间,提升缺陷检测的效率和精度。

天眼查资料显示,北京轩宇信息技术有限公司,成立于2013年,位于北京市,是一家以从事软件和信息技术服务业为主的企业。企业注册资本5000万人民币。通过天眼查大数据分析,北京轩宇信息技术有限公司参与招投标项目1347次,财产线索方面有商标信息34条,专利信息115条,此外企业还拥有行政许可28个。

本文源自:金融界

作者:情报员