北京
分享至
国家知识产权局信息显示，云智能资产控股（新加坡）私人股份有限公司申请一项名为“程序代码的验证方法、电子设备和计算机可读存储介质”的专利，公开号CN121542148A，申请日期为2024年8月。
专利摘要显示，本申请公开了一种程序代码的验证方法、电子设备和计算机可读存储介质。其中，该方法包括：获取待验证的程序代码，以及程序代码的关联程序代码，其中，程序代码用于在执行过程中调用关联程序代码的执行结果；对关联程序代码进行分析，得到第一初始逻辑描述信息，其中，第一初始逻辑描述信息为用于描述关联程序代码的执行逻辑的信息，关联程序代码用于按照执行逻辑执行，得到执行结果；向第一初始逻辑描述信息中添加第一内存标识，得到第一目标逻辑描述信息；基于第一目标逻辑描述信息，对程序代码进行验证，得到验证结果，其中，验证结果用于表示程序代码的正确性。本申请解决了对程序代码进行验证的局限性大的技术问题。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
