天眼查App显示，2025年5月9日，「一种程序检测方法、系统及电子设备」正式进入专利的公布阶段。申请人为龙芯中科技术股份有限公司，该项计算领域专利涉及程序安全检测技术。据专利信息显示，本发明实施例可以显著优化对Rust程序的检测效率，降低误报率，提升检测精度。发明人为翟鹏飞、李亚伟。

该专利摘要指出，本发明提供了一种基于包管理器解析目标程序源码的方法，通过构建控制流图并进行固定点迭代分析，确定目标程序中各个函数的状态数据，并整合为全局数据。随后对全局数据进行内存安全检测、并发安全检测和数值安全检测中的至少一项，最终生成检测结果。此方法能够有效提升程序检测的效率与准确性。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。