Dytan公司 swMATH ID: 31722 软件作者: Clause,J.、Li,W.、Orso,A。 描述: Dytan:一个通用的动态污染分析框架。动态污染分析正在发展。基于动态污染的技术已经成功地应用于应用程序安全的上下文中,现在也在不同的领域探索它们的使用,例如程序理解、软件测试和调试。不幸的是,大多数现有的动态污染方法都是以特定的方式定义的,这使得很难对其进行扩展、实验并使其适应新的环境。此外,大多数现有方法只关注基于数据流的污染,而不考虑由于控制流导致的污染,这限制了它们在安全领域之外的适用性。为了解决这些限制并促进动态污染技术的实验,我们定义并开发了一个通用的动态污染框架,该框架(1)具有高度的灵活性和可定制性,(2)允许保守地执行基于数据流和基于控制流的污染,(3)不依赖任何定制的运行时系统。我们还介绍了DYTAN,这是一个在x86可执行文件上运行的框架实现,以及一组初步研究,这些研究显示了如何使用DYTAN以有限的努力实现不同的基于污染的方法。在研究中,我们还表明,通过使用FIREFOX作为我们的主题之一,DYTAN可以在真实的软件上使用,并说明了所使用的污染方法的特定特性如何影响污染分析的效率和准确性,这进一步证明了使用我们的框架对不同变体的方法进行实验的合理性。 主页: https://dl.acm.org/doi/10.1145/1273463.1273490 相关软件: TAJ公司;TaintDroid公司;皮克斯;展开图;FlowDroid(流动机器人);四层楼;BitBlaze公司;CIL公司;回流;MorphDroid公司;阿莱提亚;帆船;Julia静态分析仪;JFlow(JF洛);DynOpVm公司;VOT4CS系统;pyftpdlib程序;VMHunt(VMHunt);NISLVMP公司;SEEAD公司 引用于: 6文件 全部的 前5名21位作者引用 1 乔伊·艾伦 1 奥利弗·布兰斯多夫 1 琳达·G·布什内尔。 1 程晓阳 1 伊西尔·迪利格 1 托马斯·迪利格 1 皮埃特罗·费拉拉 1 高德宾 1 霍尔,西尔万 1 朱利安·霍尔奇 1 贾春福 1 李文科 1 林,燕 1 沙娜,穆瑟德 1 卢卡·奥利维埃里 1 拉德哈·普文德兰 1 迪努卡萨哈班杜 1 斯特凡·塞辛豪斯 1 福斯托·斯波托 1 雨果·特伦布雷 1 朱海燕 0连载引用 在4个字段中引用 6 计算机科学(68-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文