面向Java程序的空指针静态检测系统及方法

本申请公开了一种面向Java程序的空指针静态检测系统及方法，其通过提取路径守卫并将其映射为二进制决策图，将复杂的路径约束求解降维为高效的图遍历过程，使分析器能够直接沿着数据流动路径携带并运算变量在特定分支下的空值逻辑状态。通过这样的方式，显著增强了分析的路径敏感性，利用细粒度的逻辑滤窗与全局冲突消解技术，主动剥离与实际执行逻辑互斥的虚假状态，从根源上消除了因语义丢失导致的虚假致空路径，极大降低了误报率。