北京
分享至
国家知识产权局信息显示，北京久在航空科技有限公司申请一项名为“面向Java程序的空指针静态检测系统及方法”的专利，公开号CN122926426A，申请日期为2026年7月。
专利摘要显示，本申请公开了一种面向Java程序的空指针静态检测系统及方法，其通过提取路径守卫并将其映射为二进制决策图，将复杂的路径约束求解降维为高效的图遍历过程，使分析器能够直接沿着数据流动路径携带并运算变量在特定分支下的空值逻辑状态。通过这样的方式，显著增强了分析的路径敏感性，利用细粒度的逻辑滤窗与全局冲突消解技术，主动剥离与实际执行逻辑互斥的虚假状态，从根源上消除了因语义丢失导致的虚假致空路径，极大降低了误报率。
天眼查资料显示，北京久在航空科技有限公司，成立于2014年，位于北京市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本1000万人民币。通过天眼查大数据分析，北京久在航空科技有限公司共对外投资了1家企业，参与招投标项目32次，专利信息5条，此外企业还拥有行政许可5个。
声明：市场有风险，投资需谨慎。本文为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.
