慈白

Cibai:一个基于抽象解释的静态分析器,用于Java类的模块化分析和验证。介绍了一种基于抽象解释的通用静态分析器Cibai,用于Java类的模块化分析和验证。我们提出了抽象语义和底层抽象域,一个别名分析和八角形的组合。我们讨论了一些实现问题,并将Cibai与类似工具进行了比较,展示了Cibai如何在具有可比性能的同时实现更高的自动化和精度。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换