NullAway（空） swMATH ID: 30931 软件作者： Subarno Banerjee、Lazaro Clapp、Manu Sridharan 描述： NullAway:Java实用的基于类型的Null安全。NullPointerExceptions（NPE）是现代Java程序崩溃的主要原因。以前的工作已经展示了如何通过代码注释和可插入类型检查在编译时防止此类错误。然而，由于大量的构建时间开销和/或高的注释负担，这种系统很难部署在大型软件项目上。本文介绍了一种新的基于类型的Java空安全检查器NullAway，它克服了这些问题。NullAway经过精心设计，开销低，因此可以作为每个构建的一部分运行。此外，NullAway通过有针对性的不合理假设减少了注释负担，目的是在实际检查代码中不出现错误否定。我们的评估表明，NullAway的构建时间开销（1.15倍）明显低于同类工具（2.8-5.1倍）。此外，在使用NullAway构建的广泛使用的Android应用程序的生产崩溃数据集中，剩余的NPE是由于未经检查的第三方库（64 主页： https://arxiv.org/abs/1907.02127 源代码： https://github.com/uber/NullAway 依赖项： Java语言 关键词： 软件工程；arXiv_cs。东南方；Java语言；空指针异常；壬基酚聚氧乙烯醚；零位安全检查器；基于类型的空安全 相关软件： RxJava手机；科特林 引用于： 0个文档 标准条款 1出版物描述软件 年份 NullAway:Java实用的基于类型的Null安全arXiv公司Subarno Banerjee、Lazaro Clapp、Manu Sridharan 2019