×

迪坦

swMATH标识: 31722
软件作者: 条款J.,Li,W.,Orso,A。
说明: Dytan:一个通用的动态污染分析框架。动态污染分析的势头越来越大。基于动态污染的技术已经成功地应用于应用程序的安全性,现在它们在不同领域的应用也在探索,例如程序理解、软件测试和调试。不幸的是,大多数现有的动态污染方法都是以一种特别的方式定义的,这使得它们很难扩展、试验和适应新的环境。此外,现有的方法大多只关注基于数据流的污染,没有考虑控制流的污染,这限制了它们在安全领域之外的适用性。为了解决这些局限性并培养对动态污染技术的实验,我们定义并开发了一个通用的动态污染框架:(1)高度灵活和可定制;(2)允许保守地执行基于数据流和控制流的污染;(3)不依赖任何定制的运行时系统。我们还介绍了DYTAN,一个在x86可执行文件上工作的框架的实现,以及一组初步研究,这些研究显示了DYTAN如何在有限的努力下实现不同的基于污染的方法。在研究中,我们还展示了DYTAN可以用在真正的软件上,通过使用FIREFOX作为我们的主题之一,并说明了所使用的污染方法的具体特性如何影响污点分析的效率和准确性,这进一步证明了使用我们的框架对方法的不同变体进行实验的合理性。
主页: https://dl.acm.org/doi/10.1145/1273463.1273490
相关软件: 泰姬陵;污点机器人;流动机器人;F4F型;虔诚的;展开图;火焰;阿帕奇·弗林克;变形机器人;回流;;食糜;朱莉娅静态分析仪;JFlow公司;VMHunt公司;NISLVMP公司;西亚德;顶石;宾西姆;vm攻击
参考文献: 5种出版物

在0序列中引用

按年份引用出版物