×

法官

swMATH ID: 38002
软件作者: M.Reif、F.Kübler、M.Eichberg、D.Helm、M.Mezini
描述: 判断:识别、理解和评估调用图中不健全的来源。调用图被广泛使用;特别是用于高级控制和数据流分析。尽管提出了许多具有不同精度和可伸缩性的调用图算法,但对不健全的来源、它们的相关性以及现有调用图算法在这方面的能力缺乏全面的理解。为了解决这个问题,我们提出了Judge,这是一个工具链,有助于理解不健全的来源,并提高调用图的健全性。在几个实验中,我们使用Judge和一个与不健全源相关的广泛测试套件来(a)计算Soot、WALA、DOOP和OPAL调用图实现的能力配置文件,(b)确定影响现代Java字节码中健全性的语言特性和API的流行程度,(c)比较Soot、WALA、,DOOP和OPAL–强调其实现中的重要差异,以及(d)评估实现项目特定合理声音调用图所需的努力。我们表明,与声音相关的功能/API经常被使用,并且对它们的支持差异很大,以至于比较由相同的基本算法(例如RTA)计算的调用图,但不同的框架是虚假的。我们还表明,Judge可以支持用户以合理的努力建立调用图的稳健性。
主页: https://dl.acm.org/doi/10.1145/3293882.3330555
相关软件: ast公司;守门人;Synode(合成码);WALA公司;节点.js;烟尘;皮卡尔描记器;SAFEWAPI公司;帕拉米科;PyYAML公司;净现值法;取决于;JSAI公司;Callgrind公司;代码2图形;平安3;JavaScript脚本;蟒蛇;PyCG公司
引用于: 0个文档