朱莉亚 swMATH ID: 9720 软件作者： 福斯托·斯波托 说明： 朱莉娅的零度分析仪。本文描述了在julia工具中构建的单线程Java和Java字节码程序的静态零度分析器的实现和评估。Nullness分析在编译时确定那些可能取消引用null值的程序点，从而导致运行时异常。为了提高软件的质量，重要的是要证明这种情况不会发生。我们的分析器基于通过布尔逻辑公式对Java字节码的指称抽象解释，并通过一组针对本地非空字段、完整数组和集合的指称和基于约束的支持分析进行了增强。所有这些分析的完全集成会产生一个非常高精度的正确系统，其分析时间保持在几分钟左右，正如我们在大型软件分析的一些示例中所示。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-17511-4_23 相关软件： FunArray（趣味阵列）;Julia静态分析仪;ASTREE公司 引用于： 2文件 全部的 前5名被6位作者引用 2 福斯托·斯波托 1 迈克尔·D·恩斯特。 1 阿尔贝托·洛瓦托 1 马其顿，达米亚诺 1 尼古拉·德乌里卡 1 西普里安·斯皮里登 在1个序列中引用 1 理论计算机科学 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文