×

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.1X)。此外,在使用NullAay构建的广泛使用的Android应用程序的生产崩溃数据集上,剩余的NPE是由于未经检查的第三方库(64
主页: https://arxiv.org/abs/1907.02127
源代码: https://github.com/uber/NullAway网站
依赖项: Java语言
关键词: 软件工程;arXiv_cs.SE公司;Java语言;空指针异常;壬基酚聚氧乙烯醚;零位安全检查器;基于类型的空安全
相关软件: RxJava手机;科特林
引用于: 0出版物

标准条款

1出版物描述软件 年份
NullAway:Java实用的基于类型的Null安全
Subarno Banerjee、Lazaro Clapp、Manu Sridharan
2019