北京
国家知识产权局信息显示，上海云燧科技有限公司申请一项名为“一种代码自动检查方法、装置和设备”的专利，公开号CN121434044A，申请日期为2025年11月。
专利摘要显示，本发明公开了一种代码自动检查方法、装置和设备，包括：获取原始代码的抽象语法树，基于抽象语法树生成抽象断言表达式集合；识别抽象断言表达式集合中可静态评估的第一类断言表达式，编译阶段对第一类断言表达式对应的程序代码进行静态检查；识别抽象断言表达式集合中不可静态评估的第二类断言表达式，根据第二类断言表达式所涉及的符号类型确定代码生成位置，根据第二类断言表达式和对应的代码生成位置构建断言生成位置列表；遍历抽象语法树各节点生成目标代码，基于断言生成位置列表确定在目标代码中生成条件检查代码，在程序运行阶段通过条件检查代码进行动态检查，通过静态检查和动态检查实现对程序代码的全面检查，以提高代码检查的准确性。
天眼查资料显示，上海云燧科技有限公司，成立于2020年，位于上海市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本20000万人民币。通过天眼查大数据分析，上海云燧科技有限公司共对外投资了1家企业，专利信息31条，此外企业还拥有行政许可2个。
声明：市场有风险，投资需谨慎。本文为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.
