龙芯中科申请一种程序检测方法等专利,提升检测精度
本文源自:金融界
金融界2025年5月14日消息,国家知识产权局信息显示,龙芯中科技术股份有限公司申请一项名为“一种程序检测方法、系统及电子设备”的专利,公开号CN119960764A,申请日期为2025年4月。
专利摘要显示,本发明实施例提供一种程序检测方法、系统及电子设备,该方法包括:基于包管理器对目标程序的源码进行解析,确定所述源码对应的中级中间表示;对所述中级中间表示进行分析,构建控制流图;基于所述控制流图对所述目标程序进行固定点迭代分析,确定所述目标程序中各个函数各自对应的状态数据,并将所述状态数据整合为全局数据;对所述全局数据进行内存安全检测、并发安全检测和数值安全检测中的至少一项,并生成检测结果。本发明实施例可以提升对Rust程序的检测效率,降低误报率,提升检测精度。
天眼查资料显示,龙芯中科技术股份有限公司,成立于2008年,位于北京市,是一家以从事计算机、通信和其他电子设备制造业为主的企业。企业注册资本40100万人民币。通过天眼查大数据分析,龙芯中科技术股份有限公司共对外投资了19家企业,参与招投标项目158次,财产线索方面有商标信息352条,专利信息1038条,此外企业还拥有行政许可6个。