证券之星 22小时前
龙芯中科获得发明专利授权:“一种程序检测方法、系统及电子设备”
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_keji1.html

 

证券之星消息,根据天眼查 APP 数据显示龙芯中科(688047)新获得一项发明专利授权,专利名为 " 一种程序检测方法、系统及电子设备 ",专利申请号为 CN202510443161.6,授权日为 2025 年 7 月 25 日。

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

今年以来龙芯中科新获得专利授权 32 个,较去年同期增加了 33.33%。结合公司 2024 年年报财务数据,2024 年公司在研发方面投入了 4.3 亿元,同比增 1.33%。

通过天眼查大数据分析,龙芯中科技术股份有限公司共对外投资了 19 家企业,参与招投标项目 168 次;财产线索方面有商标信息 426 条,专利信息 1051 条,著作权信息 85 条;此外企业还拥有行政许可 6 个。

数据来源:天眼查 APP

以上内容为证券之星据公开信息整理,由 AI 算法生成(网信算备 310104345710301240019 号),不构成投资建议。

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

龙芯中科 电子设备 专利 证券之星
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论