帆船 swMATH ID: 34339 软件作者： Zanioli，M.，Ferrara，P.，Cortesi，A。 描述： SAILS：用样本对信息泄漏进行静态分析。在本文中，我们介绍了Sails，这是一种新的工具，它结合了Sample、通用静态分析器和复杂的泄漏分析领域。该工具不需要修改原始语言，因为它可以与Java等主流语言一起使用，并且不需要任何手动注释。Sails可以将信息泄漏分析与不同的堆抽象相结合，推断处理复杂数据结构的程序的信息泄漏。我们将Sails应用于SecuriBench-micro套件的分析。实验结果表明了该方法的有效性。 主页： https://dl.acm.org/doi/abs/10.1145/2245276.2231983 相关软件： 戴坦;TAJ公司;皮克斯;回流;MorphDroid公司;阿莱提亚;展开图;FlowDroid（流动机器人）;四层楼;Julia静态分析仪;TaintDroid公司;J流量 引用于： 1文件 3位作者引用 1 皮埃特罗·费拉拉 1 卢卡·奥利维埃里 1 福斯托·斯波托 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文