空指针异常是软件开发过程中一类常见的缺陷,是导致软件运行异常或者强制退出的一个重要原因。Kotlin作为近年来新兴的一门安卓开发官方语言,其自身对空问题有着严格的安全检查。然而,由于Kotlin出现时间较短以及项目的持续开发性,很多项目实际由Kotlin和Java共同开发。当两种语言代码混合时,Kotlin在与Java互操作时会放宽对Java部分所传递信息的空检查,由此将会引发更多的空指针异常问题。目前,空指针问题的研究工作主要集中在Java语言开发的项目,难以支持Java和Koltin两种语言混合开发项目中此类问题的有效检测。因此,本文提出了一个面向Java和Koltin混用代码的空指针分析方法,以程序静态分析为基础,通过解析混用代码中数据的流动路径,发现可能出现的潜在空值,进而实现对空指针问题的准确定位。具体工作内容如下:（1）针对混合代码进行数据流分析。基于区间分析方法获取程序中方法内的控制流信息,同时,利用类层次方法确定函数调用关系,进而通过各个方法的控制流信息和函数调用关系整合得到程序整体的控制流信息。以此为基础,按照函数调用拓扑关系倒序分析函数并生成函数摘要,存储方法名、参数和返回值等关键信息,并对程序的控制流进行特征信息提取和定值信息生成,完成程序整体的数据流分析。（2）基于数据流信息进行空指针问题的定位。基于混合代码中的空指针故障进行详细分析,将混合代码中的空指针故障抽象成一种模式,建立故障模式状态机。在混合代码数据流信息的基础上迭代状态机,通过计算状态转换条件分析状态改变,探测可能存在的空指针故障。将探测到的空指针故障生成空指针故障报告,提交给开发人员,为项目的开发和测试提供参考信息。（3）通过对GitHub上的三个项目进行实验并对分析结果进行调查研究,验证方法的有效性和实验结果的有用性。结果表明,本文所提方法能够依据对代码的数据流分析检测潜在空指针异常,平均召回率为82.67%,平均准确率为77.04%,具有较高召回率和准确率。参与者对空指针故障结果的平均认可度为83.67%,可视化报告的平均认可度为82%,参与者具有较高认可度。上述结果证明本文方法能够为开发者在软件开发和测试中的空指针分析提供重要参考。