面向Java和Kotlin混用代码的空指针分析方法研究

空指针异常 是软件开发过程中一类常见的缺陷，是导致软件运行异常或者强制退出的一个重要原因。Kotlin作为近年来新兴的 门安卓开发官方语言，其自身对空问题有着严格的安全检查。然而，由于Kotlin出现时间较短以及项目的持续开发性， 很多项目实际由Kotlin和Java共同开发。 当两种语言代码混合时， Kotlin在与Java互操作时会放宽对Java部分所传递信息的空检查， 由此将会引发更多的空指针异常问题。 目前，空指针问题的研究工作主要集中在Java语言 开发的项目， 难以支持Java和Koltin两种语言混合开发项目中此类问题的有效检测。 因此， 本文提出了一个面向Java和Koltin混用代码的空指针分析方法，以程序静态分析为基础，通过解析混用代码中数据的流动路径，发现可能出现的潜 在空值，进而实现对空指针问题的准确定位。