龙芯中科申请一种程序检测方法等专利，提升检测精度

本文源自:金融界

金融界2025年5月14日消息，国家知识产权局信息显示，龙芯中科技术股份有限公司申请一项名为“一种程序检测方法、系统及电子设备”的专利，公开号CN119960764A，申请日期为2025年4月。

专利摘要显示，本发明实施例提供一种程序检测方法、系统及电子设备，该方法包括：基于包管理器对目标程序的源码进行解析，确定所述源码对应的中级中间表示；对所述中级中间表示进行分析，构建控制流图；基于所述控制流图对所述目标程序进行固定点迭代分析，确定所述目标程序中各个函数各自对应的状态数据，并将所述状态数据整合为全局数据；对所述全局数据进行内存安全检测、并发安全检测和数值安全检测中的至少一项，并生成检测结果。本发明实施例可以提升对Rust程序的检测效率，降低误报率，提升检测精度。

天眼查资料显示，龙芯中科技术股份有限公司，成立于2008年，位于北京市，是一家以从事计算机、通信和其他电子设备制造业为主的企业。企业注册资本40100万人民币。通过天眼查大数据分析，龙芯中科技术股份有限公司共对外投资了19家企业，参与招投标项目158次，财产线索方面有商标信息352条，专利信息1038条，此外企业还拥有行政许可6个。